基于约束条件的组合测试用例集构建方法分析
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。在该过程中,此翻译方法和调用工具的方式是较为可行的研究,值得深入学习。
组合测试用例、约束条件、布尔表达式、合取范式
TP311(计算技术、计算机技术)
2015-06-10(万方平台首次上网日期,不代表论文的发表时间)
共2页
1-2