基于时序逻辑的编译优化测试用例生成方法
文献类型：期刊论文
| 作者 | 夏勇 ; 薛云志 ; 赵琛 |
| 刊名 | 计算机应用研究
 |
| 出版日期 | 2007 |
| 卷号 | 24期号:7页码:46-48 |
| 关键词 | 编译优化 测试用例 时序逻辑 基本块 关键节点控制图 |
| ISSN号 | 1001-3695 |
| 其他题名 | test case generation for compiler optimization based on temporal logic |
| 中文摘要 | 提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率 |
| 收录类别 | wanfang,cscd,cnki |
| 语种 | 中文 |
| 公开日期 | 2010-08-25 |
| 源URL | [http://124.16.136.157/handle/311060/4672]  |
| 专题 | 软件研究所_基础软件国家工程研究中心_期刊论文 |
| 推荐引用方式 GB/T 7714 | 夏勇,薛云志,赵琛. 基于时序逻辑的编译优化测试用例生成方法[J]. 计算机应用研究,2007,24(7):46-48. |
| APA | 夏勇,薛云志,&赵琛.(2007).基于时序逻辑的编译优化测试用例生成方法.计算机应用研究,24(7),46-48. |
| MLA | 夏勇,et al."基于时序逻辑的编译优化测试用例生成方法".计算机应用研究 24.7(2007):46-48. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。