位置:成果数据库 > 期刊 > 期刊详情页
一种新的基于输入域边界分析的测试数据自动生成方法
  • ISSN号:0469-5097
  • 期刊名称:《南京大学学报:自然科学版》
  • 时间:0
  • 分类:TP311.52[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术] TP.302
  • 作者机构:[1]北京化工大学计算机科学系,北京,100029 北京化工大学计算机科学系,北京,100029
  • 相关基金:国家自然科学基金(60473032),教育部科学技术重点项目(105018),北京华工大学青年科研基金(QN0312)
中文摘要:

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

同期刊论文项目
同项目期刊论文
期刊信息
  • 《南京大学学报:自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:南京大学
  • 主编:龚昌德
  • 地址:南京汉口路22号南京大学(自然科学版)编辑部
  • 邮编:210093
  • 邮箱:xbnse@netra.nju.edu.cn
  • 电话:025-83592704
  • 国际标准刊号:ISSN:0469-5097
  • 国内统一刊号:ISSN:32-1169/N
  • 邮发代号:28-25
  • 获奖情况:
  • 中国自然科学核心期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘(网络版),美国数学评论(网络版),德国数学文摘,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:9316