计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (23): 78-81.DOI: 10.3778/j.issn.1002-8331.2009.23.022

• 研发、设计、测试 • 上一篇    下一篇

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

闫 铁,钟 诚,赵 艳   

  1. 广西大学 计算机与电子信息学院,南宁 530004
  • 收稿日期:2008-07-03 修回日期:2008-10-10 出版日期:2009-08-11 发布日期:2009-08-11
  • 通讯作者: 闫 铁

Generating class test case using abstraction technique and Java pathfinder

YAN Tie,ZHONG Cheng,ZHAO Yan
  

  1. School of Computer and Electronics and Information,Guangxi University,Nanning 530004,China
  • Received:2008-07-03 Revised:2008-10-10 Online:2009-08-11 Published:2009-08-11
  • Contact: YAN Tie

摘要: 从类的源代码中抽象出类的所有状态来减少系统状态及其行为,根据抽象后的类状态,设置JPF搜索环境,裁剪类方法测试序列生成时的搜索分支,提出了一种类测试用例生成方法。实验结果表明,该方法能够有效地减少类测试用例生成时间。

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

Abstract: 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.

Key words: abstraction technique, model check, class test, test case generation

中图分类号: