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

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

Abstract: An approach to speeding up state-space exploration of object-oriented programs is proposed in this paper. State-space exploration is the essence of software test. A key issue in exploration is handling the program state. The fact is exploited that many execution paths in state-space exploration partially overlap. The advanced execution simultaneously operates on several states and shares the common parts across the executions, separately executing where the executions differ. The advanced execution is implemented in Java Path Finder(JPF), an explicit-state model checker for Java programs. Results show that the advanced execution significantly reduces the time for state-space exploration.

Key words: object-oriented programming, software test, model test, state-space search, Java Path Finder(JPF) tool

中图分类号: 

• TP311