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

• 作者: 尚称平 赵利民
• 来源期刊: 自动化与仪器仪表
• 学科: 工学
• 关键词: 一致性测试 抽象状态机语言 接口自动机 协议测试模型
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 控制理论研究
• 页码范围: 12-14
• 分类号: TP206
• 字数: 2544字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-9227.2011.01.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵利民	天水师范学院物信学院	12	14	3.0	3.0
2	尚称平		1	3	1.0	1.0