测试含有标志变量程序的占优语句(集)选择

来源：软件学报杂志2015年第8期北京时间：

作者：巩敦卫,钟超群,姚香娟

单位：巩敦卫，中国矿业大学 信息与电气工程学院, 江苏 徐州 22111611,钟超群，中国矿业大学 信息与电气工程学院, 江苏 徐州 22111602,姚香娟，中国矿业大学 理学院, 江苏 徐州 22111603

摘要：基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容易覆盖的作为新的目标语句(集),至今没有有效的方法,从而限制了可测试性转化的应用范围.研究了占优语句(集)选择问题,提出了基于覆盖难度的占优语句(集)选择方法.首先,提出评价语句覆盖难度的4个指标,并给出这些指标的计算方法;然后,基于上述指标,利用Topsis方法排序,选择最容易覆盖的占优语句(集);最后,将所提出的方法应用于多个基准与工业程序测试,实验结果表明,覆盖基于该方法选择的占优语句(集)能够显著提高测试数据生成的效率.

关键词：软件测试;语句覆盖;标志变量;可测试性转化;占优语句

基金资助：国家自然科学基金(61375067, 61203304); 江苏省自然科学基金(BK2012566)