温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种扩展Peach平台中基于模型测试的方法，该方法：描述协议状态机的图形用户界面以及建模过程；图形格式的协议状态机到SCXML格式的状态机之间的转换；SCXML格式的状态机到Peach内部PitFile状态机之间的转换。本发明分...
该专利属于北京邮电大学所有，仅供学习研究参考，未经过北京邮电大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。