一种基于关键路径变量与条件筛选的测试路径约简方法

一种基于关键路径变量与条件筛选的测试路径约简方法，包括：确定要进行测试路径约简的系统状态图并进行分析，记录影响状态转换的变量及条件；对状态图进行遍历得到完整的路径条件集，逻辑判断后进行条件剪枝与节点剪枝；构造前缀路径集，并提取出前缀路径集对应的所有完整路径上的路径条件，构造前缀路径条件集；判断前缀路径条件集中是否存在不可达前缀路径，删除包含该不可达前缀路径的完整路径，得到路径约简后的状态图；确定路径关键变量；找出路径约简后的状态图中的最优的关键变量组合；构建关键变量图，据此删除路径约简后的状态图中与关键变量无关的状态和转移路径，得到约简后的最终状态图；本发明能够提高测试效率，减少测试人员负担。