随机测试用例的自动化生成和约简  

Automatic Generation and Reduction of Random Test Case

作　　者：潘能刚[1] 曾凡平[1,2] 曹青[1] 

机构地区：[1]中国科学技术大学计算机科学与技术学院,合肥230026 [2]安徽省计算与通讯软件重点实验室,合肥230026

出　　处：《小型微型计算机系统》2011年第10期2035-2040,共6页Journal of Chinese Computer Systems

摘　　要：自动化生成高质量测试用例是软件测试的核心问题.随机测试能快速生成大量测试用例.程序不变量作为程序中保真的属性,能反映程序执行测试用例时的真实情况.本文针对Java语言设计实现了带预设值的随机测试用例自动生成器,并利用不变量提取技术进行约简,实现了高质量测试用例的全自动化生成和约简.实验证明,本文实现的技术有效提高了随机测试的代码覆盖率;测试用例约简效果明显;并能有效揭示程序中的错误.Generating fine test cases is the key of software testing.Random testing can generate numerous test cases quickly with low cost.A program invariant is a property that is true at a particular program point or points,which reflects the program′s execution over the test suite.Based on this point,we implement a random test case generator（JRT-Java Random Tester） with preset-value for Java code.And reduce testsuite with the invariant extraction technique in order to get quality test cases automatically.Our experimental results indicate that JRT could make up the low coverage defect of random testing.and achieves better line coverage and branch coverage.Test cases are reduced obviously and the failed test cases could find errors in program.

关 键 词：软件测试 预设值 随机测试 测试用例 程序不变量 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]