| 摘要: |
| 基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容易覆盖的作为新的目标语句(集),至今没有有效的方法,从而限制了可测试性转化的应用范围.研究了占优语句(集)选择问题,提出了基于覆盖难度的占优语句(集)选择方法.首先,提出评价语句覆盖难度的4个指标,并给出这些指标的计算方法;然后,基于上述指标,利用Topsis方法排序,选择最容易覆盖的占优语句(集);最后,将所提出的方法应用于多个基准与工业程序测试,实验结果表明,覆盖基于该方法选择的占优语句(集)能够显著提高测试数据生成的效率. |
| 关键词: 软件测试 语句覆盖 标志变量 可测试性转化 占优语句 |
| DOI：10.13328/j.cnki.jos.004671 |
| 分类号: |
| 基金项目:国家自然科学基金(61375067, 61203304); 江苏省自然科学基金(BK2012566) |
|
| Dominant Statement(s) Selection in Testing Programs with Flag Variables |
|
GONG Dun-Wei1, ZHONG Chao-Qun1, YAO Xiang-Juan2
|
|
1.School of Information and Electrical Engineering, China University of Mining and Technology, Xuzhou 221116, China;2.College of Science, China University of Mining and Technology, Xuzhou 221116, China
|
| Abstract: |
| Testability transformation based on dominant relationship, which transforms the problem of covering the target statement into the problem of covering the dominant statement(s) preceding the target statement, can test programs with flag variables. When more than one dominant statement exist, however, there have been no effective methods for selecting a statement subset with best coverage as the new target(s), which limits the scope of applying the testability transformation method. The problem of selecting dominant statement(s) is investigated in this paper, and a method of choosing dominant statement(s) is presented based on the coverage difficulty. First, four indicators for evaluating the coverage difficulty of a statement are presented, and the approaches to calculating them are provided. Then, the dominant statement(s) with best coverage is (are) chosen using Topsis sorting based on the above indicators. Finally, the proposed method is applied to test several benchmarks and industrial programs, and the experimental results show that coverage from the dominant statement(s) selected by the proposed method can greatly improve the efficiency of generating test data. |
| Key words: software testing statement coverage flag variable testability transformation dominant statement |
