作者：赵利民 尚称平一致性测试抽象状态机语言接口自动机协议测试模型
摘要：针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《自动化与仪器仪表》（CN：50-1066/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《自动化与仪器仪表》技术刊物。旨在加强学术交流，促进中国自动化与仪器仪表的发展，为自动化和仪器仪表工作者服务。
省级期刊
人气 80394 评论 69
北大期刊、CSCD期刊、统计源期刊
人气 52206 评论 52
人气 44615 评论 51
人气 41001 评论 63
