可测试性转化相关论文
标记变量问题是基于搜索的软件测试数据生成的关键问题之一。本文提出一种基于目标语句占优关系的软件可测试性转化理论与方法，思想......
基于占优关系的可测试性转化，是将目标语句覆盖问题转化为位于该语句之前的占优语句（集）覆盖问题，能够对含有标志变量的程序进行测试．但......
