一种提高状态空间搜索效率的执行方法

摘要：

在面向对象程序设计中,软件测试的关键是设计程序运行状态及其使用方法.然而,状态图中的路径往往是部分重叠的.为此,研究一种改进的状态空间搜索的执行方法,该方法具有共享相同路径的特点.采用路径覆盖程序测试器模型测试提升执行方法的效率.实验结果显示,该执行方法可有效降低状态空间搜索的执行时间,提高搜索效率.

关键词：面向对象程序设计、软件测试、模型测试、状态空间搜索、JPF工具

所属期刊栏目：37

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

资助基金：上海市教委科研创新基金资助重点项目0922135;上海市科委基金资助项目09220503000

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

页数：共3页

页码：41-43