扩展有限状态机(EFSM)相关论文
针对含过程调用EFSM模型测试数据生成中过程调用的不可执行问题,提出了一种能对过程调用进行处理以实现模型的测试数据自动生成方......
提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到......
随着扩展有限状态机（EFSM）模型在计算机科学和工程领域的广泛应用，EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于......
UML状态图能有效的表现系统的并发控制和类的嵌套，但用其实现的类测试用例复杂。研究了UML状态图和扩展有限状态机这两种方法在软件......
扩展有限状态机(EFSM)相比于有限状态机(FSM)能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。......
