Institutional Repository
| 基于时序逻辑的编译优化测试用例生成方法 | |
| Alternative Title | test case generation for compiler optimization based on temporal logic |
| 夏勇; 薛云志; 赵琛 | |
| 2007 | |
| Source | 计算机应用研究
 |
| ISSN | 1001-3695 |
| Volume | 24Issue:7Pages:46-48 |
| English Abstract | 提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率 |
| Indexed Type | wanfang,cscd,cnki |
| Keyword | 编译优化 测试用例 时序逻辑 基本块 关键节点控制图 |
| Department | 基础软件国家工程研究中心 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4672 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 夏勇,薛云志,赵琛. 基于时序逻辑的编译优化测试用例生成方法[J]. 计算机应用研究,2007,24(7):46-48. |
| APA | 夏勇,薛云志,&赵琛.(2007).基于时序逻辑的编译优化测试用例生成方法.计算机应用研究,24(7),46-48. |
| MLA | 夏勇,et al."基于时序逻辑的编译优化测试用例生成方法".计算机应用研究 24.7(2007):46-48. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 8.pdf（182KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment