论文部分内容阅读
基于占优关系的可测试性转化，是将目标语句覆盖问题转化为位于该语句之前的占优语句（集）覆盖问题，能够对含有标志变量的程序进行测试．但是当占优语句（集）不止一个时，如何从这些语句（集）中选择最容易覆盖的作为新的目标语句（集），至今没有有效的方法，从而限制了可测试性转化的应用范围．研究了占优语句（集）选择问题，提出了基于覆盖难度的占优语句（集）选择方法．首先，提出评价语句覆盖难度的4个指标，并给出这些指标的计算方法；然后，基于上述指标，利用Topsis方法排序，选择最容易覆盖的占优语句（集）；最后，将所提出的方