中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 基础软件国家工程研究中心  > 期刊论文
学科主题: Computer Science
题名:
基于pCTL的循环优化测试用例自动生成方法
其他题名: automatic generation of test cases for loop optimizations based on pctl
作者: 余侠 ; 薛云志 ; 陶秋铭
关键词: pCTL ; 循环优化 ; 测试用例生成 ; 覆盖率pCTL ; loop optimization ; test case generation ; coverage test
刊名: 小型微型计算机系统
发表日期: 2010
卷: 31, 期:3, 页:436-440
部门归属: 中国科学院软件研究所基础软件国家工程研究中心;中国科学院研究生院;中国科学院软件研究所互联网软件技术实验室;
摘要: 循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的测试用例对GCC-4.1.1进行覆盖率测试,结果表明该方法可以生成具有很高针对性的循环优化测试用例,并且很少的测试用例即可达到较高的覆盖程度.
语种: 中文
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/9868
Appears in Collections:基础软件国家工程研究中心_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
余侠,薛云志,陶秋铭. 基于pCTL的循环优化测试用例自动生成方法[J]. 小型微型计算机系统,2010-01-01,31(3):436-440.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[余侠]'s Articles
[薛云志]'s Articles
[陶秋铭]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[余侠]‘s Articles
[薛云志]‘s Articles
[陶秋铭]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace