| 摘要: |
| 软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8 定律,将测为两个阶段,以解决该问题.第1 阶段采用最小代价发现软件中的错误,第2 阶段针对第1 阶段中发现的错误补计测试用例,探测软件中潜在的错误.重点是第1 阶段的实现.依据确定性有限状态机和集合划分的理论,提出了性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误. |
| 关键词: 最小测试成本迁移覆盖准则 成本/效率的平衡 确定性有限状态机 迁移覆盖 |
| DOI：10.3724/SP.J.1001.2011.03872 |
| 分类号: |
| 基金项目:国家自然科学基金(60970007, 61073050); 国家重点基础研究发展计划(973)(2007CB310800); 上海市自然科学基
金(09ZR1412100); 上海市科学技术委员会资助项目(10510704900); 上海市重点学科建设项目(J50103) |
|
| DFSM-Based Minimum Test Cost Transition Coverage Criterion |
|
LIU Pan1,2, MIAO Huai-Kou1,2, ZENG Hong-Wei1,2, MEI Jia1
|
|
1.School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China;2.Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 201112, China
|
| 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. |
| Key words: minimum test cost transition coverage criterion cost/benefit tradeoff DFSM (deterministic finite
state machine) transition coverage |
