|国家科技期刊平台
| 注册
首页|期刊导航|计算机应用研究|基于时序逻辑的编译优化测试用例生成方法

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

夏勇 薛云志 赵琛

计算机应用研究2007，Vol.24Issue(7)：46-48,3.
✕
计算机应用研究2007，Vol.24Issue(7)：46-48,3.

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

Test Case Generation for Compiler Optimization Based on Temporal Logic

夏勇 1薛云志 2赵琛1

作者信息

  • 1. 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
  • 2. 中国科学院,研究生院,北京,100049
  • 折叠

摘要

关键词

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

分类

信息技术与安全科学

引用本文复制引用

夏勇,薛云志,赵琛..基于时序逻辑的编译优化测试用例生成方法[J].计算机应用研究,2007,24(7):46-48,3.

基金项目

国家科技攻关计划资助项目(2005BA113A01,2005BA113A02) （2005BA113A01,2005BA113A02）

计算机应用研究

OA北大核心CSCDCSTPCD

1001-3695

访问量0
|
下载量0
段落导航相关论文