基于模型检测的类测试自动生成技术研究-计算机软件与理论专业论文.docxVIP

法的执行时间也减少了28％，有效减少了测试生成的代价。 法的执行时间也减少了28％，有效减少了测试生成的代价。 此外，基于变异测试的思想，采用类复制的方法，应用JPF来保证软件 执行过程中产生的错误在输出结果中可见，自动生成满足变异覆盖准则的 测试用例，适用于类之间方法调用的测试，从而实现了Java类之间的测试 用例自动生成。算法分析与实验结果表明，针对TreeMap类的测试用例生 成实验，本文提出的方法覆盖了其中主要的面向对象特性，且生成的变异 数多达211个，而反例数仅26个就覆盖了100％的有效变异，显著减少了 测试生成的代价；与Visser提出的模型检测器JPF上的符号执行方法相比， 在对TreeMap类中的deleteEntry、fixAfierDeletion和fixAflerInsertion三个 方法进行测试用例生成的实验中，本文提出的方法有效覆盖率达到了 100％，覆盖率提高了约15％，且本文提出的方法不依赖于程序结构的设计， 并能保证程序执行过程中出现的错误在输出结果中表现出来，以发现隐藏 的错误。 关键词：面向对象软件测试，模型检测，类内测试，类间测试，数据流方 法，变异方法 STUDY STUDY ON THE AUTOM噙TIC CLASS TEST GENERATIoN TECHNIQUES WITH MODEL CHECK ABSTRACT Th