基于ASM模型的协议一致性测试研究

针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。

ASM-model-based protocol conformance testing research

To deal with the problem of independence of state machine,testing tools and implement under testing,This paper proposed a way to combine abstract state machine（asm） model with stub function in the visual programming environment.Based on the analysis of asm＇s underlying theoretical foundations in conformance testing,the model of protocol distributing testing based on the asm and remoting call methods was realized.Adopting the second testing model,with a example of TFTP protocol written in ASML,the remote conformance testing was implemented.