计算机工程 ›› 2011, Vol. 37 ›› Issue (7): 41-43.doi: 10.3969/j.issn.1000-3428.2011.07.014

• 软件技术与数据库 • 上一篇    下一篇

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

刘文婷,高建华   

  1. (上海师范大学计算机科学与工程系,上海 200234)
  • 出版日期:2011-04-05 发布日期:2011-03-31
  • 作者简介:刘文婷(1982-),女,硕士研究生,主研方向:软件可靠性设计;高建华,教授、博士
  • 基金项目:
    上海市教委科研创新基金资助重点项目(0922135);上海市科委基金资助项目(09220503000)

Execution Method for Promoting State-space Search Efficiency

LIU Wen-ting, GAO Jian-hua   

  1. (Department of Computer Science and Engineering, Shanghai Normal University, Shanghai 200234, China)
  • Online:2011-04-05 Published:2011-03-31

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

关键词: 面向对象程序设计, 软件测试, 模型测试, 状态空间搜索, 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

中图分类号: