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

摘要：

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

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

所属期刊栏目：45

分类号：TP301(计算技术、计算机技术)

资助基金：广西科学基金桂科自0728033;广西研究生教育创新计划

在线出版日期：2009-09-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：78-81