中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
程序不变量到断言的自动转换方法研究及其应用
Author: 邓超强 ; 曾凡平 ; 武飞 ; 熊能 ; 董齐兴
Keyword: 程序不变量 ; 断言 ; 回归测试 ; 错误识别 ; 测试用例集合约简
Source: 计算机应用与软件
Issued Date: 2012
Issue: 11, Pages:177-180,189
Indexed Type: CNKI ; WANFANG
Department: 中国科学技术大学计算机科学与技术学院;中国科学院软件研究所计算机科学国家重点实验室;安徽省计算与通讯软件重点实验室;
Sponsorship: 安徽省自然科学基金项目(11040606M131)
Abstract: 程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误。实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强。
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15303
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
邓超强,曾凡平,武飞,等. 程序不变量到断言的自动转换方法研究及其应用[J]. 计算机应用与软件,2012-01-01(11):177-180,189.
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-2020  中国科学院软件研究所 - Feedback
Powered by CSpace