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

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