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