基于JPF的类数据流测试生成技术

摘要：

通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JPF上实现.算法分析和实验结果表明,该算法能生成高效的方法调用序列并明显减少测试生成代价.

关键词：程序模型检测、数据流测试、类测试序列生成、Java

所属期刊栏目：33

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

资助基金：广西自然科学基金桂科自0339008;广西科技信息网络中心课题

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

页数：共3页

页码：78-80