程序不变量到断言的自动转换方法研究及其应用
文献类型：期刊论文
| 作者 | 邓超强 ; 曾凡平 ; 武飞 ; 熊能 ; 董齐兴 |
| 刊名 | 计算机应用与软件
 |
| 出版日期 | 2012 |
| 期号 | 11页码:177-180,189 |
| 关键词 | 程序不变量 断言 回归测试 错误识别 测试用例集合约简 |
| ISSN号 | 1000-386X |
| 中文摘要 | 程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误。实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强。 |
| 收录类别 | CNKI ; WANFANG |
| 资助信息 | 安徽省自然科学基金项目(11040606M131) |
| 语种 | 中文 |
| 公开日期 | 2013-09-17 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。