基于时序逻辑的编译优化测试用例生成方法
Data(s) |
2007
|
---|---|
Resumo |
提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率 |
Identificador | |
Idioma(s) |
中文 |
Fonte |
夏勇; 薛云志; 赵琛.基于时序逻辑的编译优化测试用例生成方法,计算机应用研究,2007,24(7):46-48 |
Palavras-Chave | #编译优化 #测试用例 #时序逻辑 #基本块 #关键节点控制图 |
Tipo |
期刊论文 |