论文部分内容阅读
程序不变量可以揭示程序的内部属性和动态执行情况，已经成功应用于软件测试用例的生成与约简。然而，每新增一个用例都要在整个测试用例集合上重新提取程序不变量，时间开销较大。本文提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法，并利用断言判断新用例是否冗余，仅当新用例非冗余时才提取程序不变量，从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试，可以有效约简测试用例集合，识别程序改动所影响的元素，进而发现潜在的程序错误。实验结果表明，与其它测试用例选择方法相比，本文方法时间消耗小、测试用例集合约简率高、揭错能力强。