基于蕴含关系的场景测试法路径优化方法研究

基于蕴含关系的场景测试法路径优化方法研究 摘 要： 针对场景测试法中多场景切换代价优化问题，在复合状态分析、逻辑蕴含概念基础上，从测试场景结构分解的角度，给出状态蕴含和场景蕴含关系的定义及推论，