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

Test Case Generation for Compiler Optimization Based on Temporal Logic

作　　者：夏勇[1] 薛云志[1] 赵琛[1] 

机构地区：[1]中国科学院软件研究所互联网软件技术实验室

出　　处：《计算机应用研究》2007年第7期46-48,共3页Application Research of Computers

基　　金：国家科技攻关计划资助项目(2005BA113A01;2005BA113A02)

摘　　要：提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率。Traditional approaches try to generated test cases based on grammar, and lack of accuracy for optimization, Based on an approach that emploied rewrite rule with temporal logic to describe compiler optimization, a fresh method to generate critical node CFG was proposed. The generated cases were accuracy and the approach could be easily extended, Then experimented this algorithm in an automated testing tool for optimization and proved its efficiency.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]