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

摘要：

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

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

所属期刊栏目：25

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

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

页数：共3页

页码：1890-1892