论文研究-基于时序逻辑的编译优化测试用例生成方法.pdf

【文件属性】：

文件名称：论文研究-基于时序逻辑的编译优化测试用例生成方法.pdf

文件大小：158KB

文件格式：PDF

更新时间：2022-08-11 16:57:44

编译优化,测试用例,时序逻辑,基本块,关键节点控制图

提出一种基于时序逻辑公式的关键节点控制图生成方法，生成的测试用例针对性强，容易扩展；并以该方法改进了一种编译优化自动化测试工具，在很大程度上消除了其测试冗余，提高了测试效率。