基于模型检验和符号演算的Java测试用例自动生成方法的研究和实现.pdfVIP

基于模型检验和符号演算的Java测试用例 自动生成方法的研究与实现 邓小琴1，刘超1 (1． 北京航空航天大学大学计算机学院，北京1000191) 摘要：测试用例的自动生成可以极大地节省人力，提高程序质量可信度。由于测试用例输入窄问的无界性和程序逻辑的复 杂性，基于结构覆盖的测试用例自动生成问题一直没有很好的解决。本文介绍了一种单元测试用例自动生成方法，简称作 MCSE。它将模型检验和符号演算相结合，将程序中的变最符号化，探测程序可能的执行路径，并收集每条路径执行必须满足 的条件，再通过求解路径条件集从而得出每条路径的测试用例。本方法以函数为单元测试粒度，针对Java语言实现了基于 Java虚拟机的用例生成框架。以二叉查找树为例，生成了188个无重复路径的测试用例，对该方法的有效性进行了验证。 关键词：单元测试；用例生成；符号演算；模型检测 中图分类号：TP311．5 文献标识码：A 文章编号：0372．2112 (91) ResearchandI l ementati onoftheJavaTestCaseAuto—Generati onBased mp onModeI Checki and I i cExecuti on ng Symbo DENG LIUCha01 Xiao．qinl 11．DepartmentofComputerScience．BeiHangUniversity,Belting100191．China) Abstract：Softwaretest testcasesis oftestcasesisone to bymanually way writing time—consuming．Automaticgeneration this the the reducetaskand the of code．Asunboundtest andthe significantly improvereliability input complexprogramlogic， automatic oftestcasesfor structural hasnotbeensolvedwell．Thisintroducesa generation achievinghigh coverage very paper meansofunittestcasesautomatic isnamedas it combinestheModel and generation，whichMCSE，since CheckingSymbolic therealvariableswith inthe Execution,it replaces symbols，systematicallyexploresexecution-possiblepaths program，collectspath testcases constrainsforeach method takes functionasunittest conditions，thengains bysolving path．This proposedsingle frameworkofJava bas