基于模型检验和符号演算的Java测试用例自动生成方法的研究与实现
测试用例的自动生成可以极大地节省人力，提高程序质量可信度。 由于测试用例输入空间的无界性和程序逻辑的复杂性，基于结构覆盖的测试用例自动生成问题一直没有很好的解决。本文介绍了一种单元测试用例自动生成方法，简称作MCSE。它将模型检验和符号演算相结合，将程序中的变量符号化，探测程序可能的执行路径，并收集每条路径执行必须满足的条件，再通过求解路径条件集从而得出每条路径的测试用例。本方法以函数为单元测试粒度，针对Java语言实现了基于Java虚拟机的用例生成框架。以二叉查找树为例，生成了188个无重复路径的测试用例，对该方法的有效性进行了验证。
单元测试 用例生成 符号演算 模型检测 可信度 二叉查找树
邓小琴 刘超
北京航空航天大学大学计算机学院，北京 1000191
国内会议
沈阳
中文
138-144
2009-09-22（万方平台首次上网日期，不代表论文的发表时间）