| 程序不变量到断言的自动转换方法研究及其应用 |
| 邓超强; 曾凡平; 武飞; 熊能; 董齐兴
|
| 2012
|
| 发表期刊 | 计算机应用与软件
 |
| ISSN | 1000-386X
|
| 期号 | 11页码:177-180,189 |
| 摘要 | 程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误。实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强。 |
| 收录类别 | CNKI
; WANFANG
|
| 关键词 | 程序不变量
断言
回归测试
错误识别
测试用例集合约简
|
| 部门归属 | 中国科学技术大学计算机科学与技术学院;中国科学院软件研究所计算机科学国家重点实验室;安徽省计算与通讯软件重点实验室;
|
| 资助者 | 安徽省自然科学基金项目(11040606M131)
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/15303
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
邓超强,曾凡平,武飞,等. 程序不变量到断言的自动转换方法研究及其应用[J]. 计算机应用与软件,2012(11):177-180,189.
|
| APA |
邓超强,曾凡平,武飞,熊能,&董齐兴.(2012).程序不变量到断言的自动转换方法研究及其应用.计算机应用与软件(11),177-180,189.
|
| MLA |
邓超强,et al."程序不变量到断言的自动转换方法研究及其应用".计算机应用与软件 .11(2012):177-180,189.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论