扩展的有限状态机相关论文
在一个以扩展的有限状态机 (EFSM)为模型描述的协议测试系统中 ,测试序列的可执行性是一个重要的问题。同时 ,还要考虑到测试序列......
工作流引擎是工作流管理系统的核心部件,以扩展的有限状态机为模型,参考WfMC标准,将工作流引擎的功能划分成五个模块,并采用EJB、J......
UML作为面向对象软件开发的事实上的标准建模语言,近年来得到了广泛的应用,基于UML的测试也成为面向对象软件测试的研究热点.该文......
介绍了一种基于半可控接口的图转换算法,并应用于某通信产品的H.245协议一致性测试中,不仅增加了可测试转换的数目,还使得变换后的......
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded syste......
文章论述了可视化的硬件描述语言 (Visual HDL)中经常应用的各种状态机算法,分析了这些算法对电路工作性能的影响,使利用状态机设计......