文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
应用推荐