基于约束条件的组合测试用例集构建方法分析

该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。在该过程中,此翻译方法和调用工具的方式是较为可行的研究,值得深入学习。

可持续性运行软件组合测试用例的自动生成

为了提高软件组合测试和兼容控制能力,提出可持续性运行软件组合测试用例自动生成方法。根据可持续性运行软件的正确性、兼容性、运行效率进行软件输出稳定性分析,结合产品的通用性特征进行软件组合测试用例自动生成过程中的模块分割,构建约束参量指标分布模型与嵌入式多任务调度模型,实现软件可靠性特征提取。采用智能分析与多层次的模糊控制方法进行可持续性运行软件组合测试用例自动生成。仿真结果表明,采用该方法进行软件组合测试用例自动生成的稳定性较好,可靠性较高,降低了时间和内存消耗。