中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 基础软件国家工程研究中心  > 学位论文
学科主题: 计算机软件
题名:
基于pCTL的循环优化测试用例自动生成方法的研究与实现
作者: 余侠
答辩日期: 2009-06-03
导师: 李明树
授予单位: 中国科学院研究生院
授予地点: 中国科学院研究生院
学位: 硕士
关键词: pCTL
其他题名: Research and Implementation of Automated Method of Test Case Generation for Loop Optimizations Based on pCTL
摘要: 编译优化是现代编译器的重要功能,编译优化测试对保障现代编译器质量有着重要作用。编译优化测试需要编写大量的测试用例程序作为输入,手工完成十分费时费力,因此,有必要研究编译优化测试用例的自动生成方法。 针对编译优化测试,有研究者提出并实现了一种基于分支时序逻辑的测试用例自动生成方法COT。该方法可以有效地生成标量优化测试用例程序,但该方法没有考虑程序中的数组和指针,对优化特征的描述也不能区分循环迭代中的语句实例,更不能刻画语句实例间的数据依赖关系,然而这些是刻画循环优化所必需的,因此,COT不适用于循环优化测试用例的自动生成。 本文针对COT方法的缺陷,首先提出了基于参数化分支时序逻辑pCTL (parameterized computation temporal logic)的循环优化描述方法,通过参数化COT的优化描述体系中的语句谓词、变量引用谓词和变量定义谓词实现了对循环迭代中的语句实例及语句实例间的数据依赖关系的描述。在此基础上,本文提出了基于pCTL 描述的循环优化测试用例自动生成方法COT2。该方法根据pCTL公式构造初始的关键节点控制图,再按照公式语义执行公式处理和虚边替换,得到完整的控制流图,最后计算数组引用下标,生成循环优化测试用例程序。 本文实现了COT2的系统原型,并用循环优化模块的覆盖率指标评价生成的测试用例的质量,实验结果表明该方法对循环优化具有针对性,是一种行之有效的方法。本文还用生成的测试用例程序对GCC各版本的循环优化模块进行了测试,并分析了错误发现数与各版本稳定性之间的关系,进一步验证了本文方法的有效性。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/191
Appears in Collections:基础软件国家工程研究中心_学位论文

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200628015029046余侠_1.pdf(824KB)----限制开放 联系获取全文

Recommended Citation:
余侠. 基于pCTL的循环优化测试用例自动生成方法的研究与实现[D]. 中国科学院研究生院. 中国科学院研究生院. 2009-06-03.
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
CSDL cross search
Similar articles in CSDL Cross Search
[余侠]‘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