【摘 要】
：
基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏
【机 构】
：
装甲兵工程学院信息工程系,北京邮电大学网络与交换技术国家重点实验室
【基金项目】
：
国家“863”计划(2006AA01Z184)
论文部分内容阅读
基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。
其他文献
我国各大城市在改革开放的30年来所进行的大规模建设的成就,己经被近年来快速增长的交通需求所消化,日益拥挤的交通使地下隧道等的开发和利用成为城市发展的必然。土压平衡盾
音乐是人的创造物,情感是人的内在生命力最直接的表现,情感也必定以人的存在为本原。情感论音乐美学自有音乐美学思想产生伊始就占据了重要的历史地位。在西方音乐美学史上,
中小企业在推动国民经济和社会发展等方面发挥着越来越重要的作用。缓解中小企业融资难是实施中小企业成长工程,促进中小企业发展的关键环节。本文通过探讨我国中小企业融资
传统离心机系统一般采用高速高精度单轴转台系统,进行单方向宽范围的离心加速度精确仿真.为实现现今的航空器件对其三轴通道的大法向过载仿真,提出新型三通道离心机系统.其构
为有效地调节与稳定配电网动态连续无功发生器(D-STATCOM)装置的直流母线电压,提出一种新颖的暂态模糊预测控制和稳态先进比例积分微分(proportional integral derivative,PI
房地产价格过高、上涨过快给居民带来了住房困难,国家从各个方面出台政策加以规范管理,然而由于种种原因,政策调节的效果未能完全达到预期。本文从房地产市场发展及政府的调
针对巡航导弹初始设计阶段需要频繁进行人机对话的特点,引入拦截弹拦截性能修正因子的概念,综合运用导弹分析方法中的估计方法与检验方法,以突防效率为评价指标采用新思路建
南京栖霞山铅锌矿床开采已有50多年,是华东地区最大的铅锌矿床之一。随着其开采的深入,环境问题也日渐突出。因此,本论文以南京栖霞山铅锌矿附近的农田土壤为研究对象,在对该
兰科植物在世界各地分布极广,我国拥有极其丰富的兰花种质资源。兰属（Cymbidium）隶属于兰科（Orchidaceae）,兰属中春兰、蕙兰、建兰、墨兰等传统的国兰品种中蕴藏有极为丰富的优良
冲突话语是个很笼统的概念,狭义上可指一种言语行为,如:不赞同(disagreeing),反对(opposing)和争执(arguing),广义上可指一种言语事件,如:冲突性话语(adversative episode),