确定性有限状态机的最小测试成本迁移覆盖准则
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金(60970007, 61073050); 国家重点基础研究发展计划(973)(2007CB310800); 上海市自然科学基 金(09ZR1412100); 上海市科学技术委员会资助项目(10510704900); 上海市重点学科建设项目(J50103)


DFSM-Based Minimum Test Cost Transition Coverage Criterion
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8 定律,将测为两个阶段,以解决该问题.第1 阶段采用最小代价发现软件中的错误,第2 阶段针对第1 阶段中发现的错误补计测试用例,探测软件中潜在的错误.重点是第1 阶段的实现.依据确定性有限状态机和集合划分的理论,提出了性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.

    Abstract:

    A key problem in software testing is having the right cost/benefit tradeoffs for the software that is being tested. Based on the 2-8 law of fault distribution in programs, the paper divides the test process in two stages for solving this problem. The first stage is to find the faults in software at minimum cost, and the second stage is to add some additional test cases for those faults found in the first stage to detect more potential faults in software. The paper lays emphasis on the realization of the first stage. According to the theories of both the deterministic finite state machine (DFSM) and set partition, a DFSM-based minimum test cost transition coverage criterion is presented in this paper, and the criterion’s sufficiency and necessary conditions are given. Moreover, two algorithms that realize the optimal transition coverage and the minimum test cost transition coverage are designed, and the effectiveness of the test set is also discussed. In the experiments, the method not only obtains a set of test cases with the minimal size and the shortest total length of all test cases, but also finds all faults in transitions of the DFSM.

    参考文献
    相似文献
    引证文献
引用本文

刘攀,缪淮扣,曾红卫,梅佳.确定性有限状态机的最小测试成本迁移覆盖准则.软件学报,2011,22(7):1457-1474

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2009-12-28
  • 最后修改日期:2010-03-29
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号