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