Institutional Repository
| 程序不变量到断言的自动转换方法研究及其应用 | |
| 邓超强; 曾凡平; 武飞; 熊能; 董齐兴 | |
| 2012 | |
| Source | 计算机应用与软件
 |
| ISSN | 1000-386X |
| Issue | 11Pages:177-180,189 |
| English Abstract | 程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误。实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强。 |
| Indexed Type | CNKI ; WANFANG |
| Keyword | 程序不变量 断言 回归测试 错误识别 测试用例集合约简 |
| Department | 中国科学技术大学计算机科学与技术学院;中国科学院软件研究所计算机科学国家重点实验室;安徽省计算与通讯软件重点实验室; |
| Sponsorship | 安徽省自然科学基金项目(11040606M131) |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15303 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 邓超强,曾凡平,武飞,等. 程序不变量到断言的自动转换方法研究及其应用[J]. 计算机应用与软件,2012(11):177-180,189. |
| APA | 邓超强,曾凡平,武飞,熊能,&董齐兴.(2012).程序不变量到断言的自动转换方法研究及其应用.计算机应用与软件(11),177-180,189. |
| MLA | 邓超强,et al."程序不变量到断言的自动转换方法研究及其应用".计算机应用与软件 .11(2012):177-180,189. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment