基于时序逻辑的编译优化测试用例生成方法

• 作者: 夏勇 薛云志 赵琛
• 来源期刊: 计算机应用研究
• 关键词: 编译优化 测试用例 时序逻辑 基本块 关键节点控制图
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 研究探讨
• 页码范围: 46-48
• 页数: 3页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.07.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵琛		9	88	4.0	9.0