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

【文件属性】：
文件名称：论文研究-基于时序逻辑的编译优化测试用例生成方法.pdf
文件大小：158KB
文件格式：PDF
更新时间：2022-08-11 16:57:44
编译优化,测试用例,时序逻辑,基本块,关键节点控制图 提出一种基于时序逻辑公式的关键节点控制图生成方法，生成的测试用例针对性强，容易扩展；并以该方法改进了一种编译优化自动化测试工具，在很大程度上消除了其测试冗余，提高了测试效率。