首页 | 本学科首页   官方微博 | 高级检索  
     

程序不变量到断言的自动转换方法研究及其应用
作者姓名:邓超强  曾凡平  武飞  熊能  董齐兴
作者单位:1. 中国科学技术大学计算机科学与技术学院 安徽 合肥230026
2. 中国科学院软件研究所计算机科学国家重点实验室 北京100190
3. 安徽省计算与通讯软件重点实验室 安徽 合肥230026
摘    要:程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简.然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大.提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销.将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误.实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强.

关 键 词:程序不变量  断言  回归测试  错误识别  测试用例集合约简
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号