运用抽象技术和JPF生成类测试用例方法  

Generating class test case using abstraction technique and Java pathfinder

作　　者：闫铁[1] 钟诚[1] 赵艳[1] 

机构地区：[1]广西大学计算机与电子信息学院,南宁530004

出　　处：《计算机工程与应用》2009年第23期78-81,共4页Computer Engineering and Applications

基　　金：广西科学基金(No.桂科自0728033);广西研究生教育创新计划

摘　　要：从类的源代码中抽象出类的所有状态来减少系统状态及其行为,根据抽象后的类状态,设置JPF搜索环境,裁剪类方法测试序列生成时的搜索分支,提出了一种类测试用例生成方法。实验结果表明,该方法能够有效地减少类测试用例生成时间。All the states of class are abstracted from the class source code to reduce the system states and behaviors.According to the abstracted states,a search environment of Java path finder is set and the search branches of generating test sequences about methods in class are cut out, and a method of generating test case for class is designed and implemented.The experimental results show that the method can reduce remarkably the required time of generating class test case.

关 键 词：抽象技术 模型检测 类测试 测试用例生成 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]