程序不变量到断言的自动转换方法研究及其应用.pdfVIP

第２９卷第１１期　　　 计算机应用与软件 Ｖｏｌ２９Ｎｏ．１１ ２０１２年１１月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｎｏｖ．２０１２ 程序不变量到断言的自动转换方法研究及其应用 １，２ １，２，３ １，２ １，２ １，２ 邓超强 　曾凡平 　武　飞 　熊　能 　董齐兴 １（中国科学技术大学计算机科学与技术学院　安徽合肥２３００２６） ２（中国科学院软件研究所计算机科学国家重点实验室　北京 １００１９０） ３（安徽省计算与通讯软件重点实验室　安徽合肥２３００２６） 摘　要　　程序不变量可以揭示程序的内部属性和动态执行情况，已经成功应用于软件测试用例的生成与约简。然而，每新增一个 用例都要在整个测试用例集合上重新提取程序不变量，时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应 断言的方法，并利用断言判断新用例是否冗余，仅当新用例非冗余时才提取程序不变量，从而大幅度减小时间开销。将这种基于断 言的测试方法应用于回归测试，可以有效约简测试用例集合，识别程序改动所影响的元素，进而发现潜在的程序错误。实验结果表 明，与其它测试用例选择方法相比，该方法时间消耗小、测试用例集合约简率高、揭错能力强。 关键词　　程序不变量　断言　回归测试　错误识别　测试用例集合约简 中图分类号　ＴＰ３１１　　　　文献标识码　Ａ ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１２．１１．０４５ ＯＮＡＵＴＯＭＡＴＩＣＡＬＬＹＣＯＮＶＥＲＴＩＮＧＰＲＯＧＲＡＭＩＮＶＡＲＩＡＮＴＴＯ ＡＳＳＥＲＴＩＯＮＡＮＤＩＴＳＡＰＰＬＩＣＡＴＩＯＮ １，２ １，２，３ １，２ １，２ １，２ ＤｅｎｇＣｈａｏｑｉａｎｇ 　ＺｅｎｇＦａｎｐｉｎｇ 　ＷｕＦｅｉ 　ＸｉｏｎｇＮｅｎｇ 　ＤｏｎｇＱｉｘｉｎｇ １（ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙｏｆＣｈｉｎａ，Ｈｅｆｅｉ２３００２６，Ａｎｈｕｉ，Ｃｈｉｎａ） ２（ＳｔａｔｅＫｅｙＬａｂｏｒａｔｏｒｙｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＩｎｓｔｉｔｕｔｅｏｆＳｏｆｔｗａｒｅ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１００１９０，Ｃｈｉｎａ） ３（ＡｎｈｕｉＰｒｏｖｉｎｃｅＫｅｙＬａｂｏｆＳｏｆｔｗａｒｅｉｎＣｏｍｐｕｔｉｎｇａｎｄＣｏｍｍｕｎｉｃａｔｉｏｎ，Ｈｅｆｅｉ２３００２６，Ａｎｈｕｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｐｒｏｇｒａｍｉｎｖａｒｉａｎｔｓ，ｗｈｉｃｈｃａｎｒｅｖｅａｌｉｎｔｅｒｎａｌｐｒｏｐｅｒｔｉｅｓａｎｄｄｙｎａｍｉｃｅｘｅｃｕｔｉｏｎｓｉｔｕａｔｉｏｎｓｏｆｔｈｅｐｒｏｇｒａｍ，ｈａｖｅｂｅｅｎ ｓｕｃｃｅｓｓｆｕｌｌｙａｐｐｌｉｅｄｔｏｇｅｎｅｒａｔｉｏｎａｎｄｒｅｄｕｃｔｉｏｎｏｆｓｏｆｔｗａｒｅｔｅｓｔｃａｓｅ．Ｈｏｗｅｖｅｒ，ｔｈｅｐｒｏｇｒａｍｉｎｖａｒｉａｎｔｓｈａｖｅｔｏｂｅｒｅｅｘｔｒａｃｔｅｄｆｒｏｍｅｎｔｉｒｅｔｅｓｔ ｓｕｉｔｅｆｏｒｅｖｅｒｙｎｅｗｔｅｓｔｃａｓｅａｄｄｅｄ，ｔｈｉｓｃａｕｓｅｓａｈｅａｖｙｔｉｍｅｃｏｓｔ．Ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓａｎｏｖｅｌｍｅｔｈｏｄｔｏａｕｔｏｍａｔｉｃａｌｌｙｃｏｎｖｅｒｔｐｒｏｇｒａｍ ｉｎｖａｒｉａｎｔｓｉｎｔｏｃｏｒｒｅｓｐｏｎｄｉｎｇａｓｓｅｒｔｉｏｎｓ，ｗｈｉｃｈｉｓｂａｓｅｄｏｎｒｅｇｕｌａｒｅｘｐｒｅｓｓｉｏｎ．Ａｓｓｅｒｔｉｏｎｓａｒｅｕｓｅｄｔｏｊｕｄｇｅｗｈｅｔｈｅｒａｎｅｗｔｅｓ