计算机应用 ›› 2005, Vol. 25 ›› Issue (08): 1890-1892.DOI: 10.3724/SP.J.1087.2005.01890

• 软件开发与方法 • 上一篇    下一篇

一种用于类测试的改进型EFSM模型

陈祎,桑楠,雷航   

  1. 电子科技大学计算机科学与工程学院
  • 出版日期:2005-08-01 发布日期:2011-04-07

An improved EFSM model for class test

CHEN Yi, SANG Nan, LEI Hang   

  1. College of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu Sichuan 610054,China
  • Online:2005-08-01 Published:2011-04-07

摘要: 扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。

关键词: 扩展有限状态机, UML状态图, 软件测试, 类, 不可达路径

Abstract: Due to the variable interdependencies among the operations and preconditions, certain paths of an extended finite state machine (EFSM) may not be feasible. These infeasible paths complicate the class test generation process from EFSMs. By transforming UML state diagrams into extended finite state machines (EFSMs), an algorithm is presented to eliminate the infeasible paths in these EFSMs. Thus a class test model for object-oriented software can be constructed.The model is suitable for class testing by using control and data flow analysis techniques.

Key words: extended finite state machine, UML state diagrams, software test, class, infeasible paths

中图分类号: