利用MC/DC减少测试集大小的方法的研究

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:frankxigua
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件的发展,测试技术也在发展。MC/DC即修改条件/判定覆盖,是一种较新的结构覆盖准则,它是在C/DC(条件/判定覆盖)的基础上发展起来的。与其它结构覆盖准则相比,它只是线性地增加了测试用例的数量,使得软件测试更加具有可操作性。而对于测试来说,测试用例的选择和优化是至关重要的。在探讨MC/DC的基础上,利用MC/DC的特点,初步提出了利用MC/DC进行测试集减少的方法,使得减少后的测试集与原测试集对测试需求有着相同或相似的覆盖率,并对此方法的利弊做了一定的分析。
其他文献
虚拟终端(virtual termination)是路由器提供给用户的一个操作平台,通过这个平台,用户可以很方便地对路由器进行参数配置和信息查询,同时也能对路由器进行有效的管理和维护.从
电路仿真培训系统能够弥补实物培训设备的诸多缺陷,在电器设备操作及维修人员的岗位培训中发挥着重要作用。电路推理模型作为电路仿真系统的核心,目前多采用电路拓扑公式抽取方
随着控制系统复杂性的日益扩大,控制系统的网络化是控制系统发展的必然.从网络化发展的角度来研究控制系统的发展,将更有利于自动控制、计算机网络和通讯技术的融合,为实现控
凌力尔特公司(Linear Technology Corporation)推出高输入电压隔离型反激式DC/DC控制器LT3748H,在结温高达150°C工作时有保证。该器件极大地简化了隔离式DC/DC转换器的设计,因
在总结"十五"电力工业发展的基础上,提出了2006-2020年电力发展规划设想.共分5个部分:简要分析了"十五"电力工业发展中的10个主要问题;预测了2006-2020年发电量,2010年为3400
临床资料患者,男,25岁,体重72kg,因咳嗽、咳痰、乏力2个月,于2004年9月12日入院。入院时查体:T36.5℃,P72次/分,R18次/分,BP110/70mmHg;发育正常,营养一般,口唇无紫绀,颈软,胸廓无畸形,双肺呼吸
经过对冯·诺依曼原理的深入研究,设计了一个冯·诺依曼计算机模型,详细描述了该模型机的核心部件功能和指令系统,并结合一个具体的例子给出了冯·诺依曼机进行
提起扬州,恐怕许多人都想到“历史名城”“烟花三月”“春江花月夜”“瘦西湖”这样具有代表性的人文历史元素,再不济也少不了“淮扬菜”“三头宴”之类极具扬州特色的地方吃
在健康人中,肠降血糖素胰高血糖素样肽-1(GLP-1)是在进食后分泌,并通过增加胰岛素分泌和抑制胰高血糖素释放而降低葡萄糖浓度。天然GLP-1在体内降解时间约为2~3 min,因此需要
总结了B/S(浏览器/服务器)模式和分布交互式的一些特点,阐述了ASP与ActiveX控件技术在火电厂仿真中的应用。针对目前火电机组的仿真运行模式,基于B/S模式和分布交互式,提出了一种新的