通信扩展有限状态机相关论文
在协议一致性测试中,选择恰当的测试例至关重要.文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点......
介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为......
