10.3969/j.issn.1006-2475.2013.03.036
一种协议互操作测试系统开发框架
鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性.
协议测试、自动测试、互操作能力、有限状态机、系统开发框架
TP311.5(计算技术、计算机技术)
2013-05-10(万方平台首次上网日期,不代表论文的发表时间)
共6页
139-143,147