%0 Journal Article %T 测试含有标志变量程序的占优语句(集)选择 %A 巩敦卫? %A 钟超群? %A 姚香娟? %J 软件学报 %P 1925-1936 %D 2015 %R 10.13328/j.cnki.jos.004671 %X 基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容易覆盖的作为新的目标语句(集),至今没有有效的方法,从而限制了可测试性转化的应用范围.研究了占优语句(集)选择问题,提出了基于覆盖难度的占优语句(集)选择方法.首先,提出评价语句覆盖难度的4个指标,并给出这些指标的计算方法;然后,基于上述指标,利用topsis方法排序,选择最容易覆盖的占优语句(集);最后,将所提出的方法应用于多个基准与工业程序测试,实验结果表明,覆盖基于该方法选择的占优语句(集)能够显著提高测试数据生成的效率. %K 软件测试 %K 语句覆盖 %K 标志变量 %K 可测试性转化 %K 占优语句 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4671&flag=1