%0 Journal Article %A 陈祎,桑楠,雷航 %T 一种用于类测试的改进型EFSM模型 %D 2005 %R 10.3724/SP.J.1087.2005.01890 %J 计算机应用 %P 1890-1892 %V 25 %N 08 %X 扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。 %U http://www.joca.cn/CN/10.3724/SP.J.1087.2005.01890