一种新的基于输入域边界分析的测试数据自动生成方法

来源 :南京大学学报：自然科学版 | 被引量 : 0次 | 上传用户：ken112233

【摘要】

：

软件测试和软件容错是两种提高软件系统可靠性的主要技术手段.基于文献[1]提出一种新的基于输入域边界分析的测试数据自动生成方法,开发出52个测试用例,对34个版本的RSDIMU容

【作者】

：

董红霞赵瑞莲

【机构】

：

北京化工大学计算机科学系

【出处】

：

南京大学学报：自然科学版

【发表日期】

：

2005年z1期

【关键词】

：

软件测试软件容错测试数据生成 RSDIMU 变异体

【基金项目】

：

国家自然科学基金(60473032),教育部科学技术重点项目(105018),北京华工大学青年科研基金(QN0312)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

软件测试和软件容错是两种提高软件系统可靠性的主要技术手段.基于文献[1]提出一种新的基于输入域边界分析的测试数据自动生成方法,开发出52个测试用例,对34个版本的RSDIMU容错软件和429个变异体进行测试.实验表明:该方法是一种非常有效的方法,不仅可以克服测试的盲目性,降低测试成本,而且可以明显提高故障覆盖率.

其他文献

当代英语媒体儒学传播话语分析

以英语为主的儒学境外传播长期以来是中国文化海外传播研究关注的焦点。但该领域研究多基于零星史实，无法充分反映传播的真实状况。当今，儒学海外传播渠道多样，基于网络的社交媒

期刊

儒学文化境外传播话语情感态度

汽油发动机的异常燃烧

汽车发动机的燃烧过程有正常燃烧和异常燃烧,最常见的异常燃烧有爆震燃烧和表面点火两大类,本文对此两种燃烧过程做简要分析。

期刊

发动机爆震燃烧表面点火

放松训练手法在推拿治疗脑卒中痉挛性瘫痪中的应用体会

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

期刊

脑卒偏瘫康复训练单纯推拿治疗放松训练手法

中老年失眠的中医辨证施护

会议

中老年失眠辨证施护

深层链接、预防侵权成本与信息网络传播权的类推适用

深层链接受信息网络传播权调整这项命题的证成,需要两个步骤:首先,证明设置深层链接的行为可以受到信息网络传播权的辖制;其次,证明相较于用禁止规避技术措施条款、反不正当

期刊

深层链接作品提供行为网络服务提供行为预防侵权成本类比

着力打造技能人才培养的“新乡模式”

技能人才是我国工人队伍的主力军,在加快产业化升级,提高企业核心竞争力,推动技术创新和科技成果转化等方面具有不可替代的作用。近年来,新乡市紧紧围绕＂中原经济区强市＂战略,

期刊

技能人才队伍技能人才培养中原经济区工程示范创新培训模式人力资源素质工人队伍培训质量高技能人才技能人才培训

磷酸奥司他韦联合小儿豉翘清热颗粒治疗儿童流行性感冒的疗效分析

目的分析磷酸奥司他韦+小儿豉翘清热颗粒治疗儿童流行性感冒的疗效。方法104例流行性感冒患儿,以双盲随机抽样法分为参照组和实验组,每组52例。参照组给予磷酸奥司他韦治疗,

期刊

磷酸奥司他韦小儿豉翘清热颗粒流行性感冒儿童炎症因子

中国对外承包工程商会党委扎实开展“不忘初心、牢记使命”联学联建主题党日活动

期刊

牢记使命主题党日活动中国对外承包工程商会

城市化与城镇居民人均可支配收入关系的实证分析——以呼和浩特市为例

对1991年- 2013年呼和浩特市城市化水平和城镇居民人均可支配收入的关系进行研究，指出准确认识城市化与居民人均可支配收入间的内在关系，可以作为评价城市化政策的一个重要指标

期刊

城市化人均可支配收入双对数线性回归

一种新的基于输入域边界分析的测试数据自动生成方法

其他学术论文