软件测试语句覆盖相关硕士博士期刊学术论文

基于占优关系的可测试性转化，是将目标语句覆盖问题转化为位于该语句之前的占优语句（集）覆盖问题，能够对含有标志变量的程序进行测试．但......