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