基于通讯多端口有限状态机的协议互操作性测试生成方法技术

基于通讯多端口有限状态机的协议互操作性测试生成方法属于网络协议测试技术领域，其特征在于所述方法依次含有以下步骤：把协议系统规范描述为一个通讯多端口有限状态机模型，并用基于单激励原则的互操作性测试生成技术生成抽象测试集１；计算测试集１的错误覆盖度，必要时用所述增强测试生成方法生成错误覆盖度更高的抽象测试集２；根据实际测试场景确定分布式测试架构；把测试集２分布到各测试部件上时，通过在测试序列中添加测试部件间的协调消息的方法以解决控制观察问题，得到抽象测试集３；进一步可将其转化为实际的测试脚本。本发明专利技术适用于各种不同的分布式测试架构，具有一定的通用性。

【技术实现步骤摘要】

【技术保护点】
基于通讯多端口有限状态机的协议互操作性测试生成方法，其特征在于，所述方法是在网络操作环境中对一个由不同的网络设备构成的互操作性被测系统依次按以下步骤实现的：步骤１：在计算机中，把互操作性被测试系统规范描述为一个通讯多端口有限状态机模 型Ｍｓ：设：在所述的一个互操作性被测试系统中包含两个或多个协议实体，而各协议实体的规范是已知的；则：所述互操作性被测试系统用一个通讯多端口有限状态机来描述，该通讯多端口有限状态机是ｍ个组件状态机的集合，用Ｍｓ表示，Ｍｓ＝｛Ｍ↓［１］ ，Ｍ↓［２］，…，Ｍ↓［ｍ］｝；各组件状态机用于描述各协议实体的规范，同时定义了各组件状态机间的端口映射关系用于描述所述被测试系统的网络拓扑；组件状态机用Ｍ↓［ｉ］表示，ｉ＝１，２，…，ｍ，Ｍ↓［ｉ］是一个包含ｎ个端口的多端口有限状 态机，其端口分别编号为１～ｎ，Ｍ↓［ｉ］是一个八元组，Ｍ↓［ｉ］＝（Ｓ，Ｉ，Ｏ，δ，λ，ｓ↓［０］，Ｑ，Ｒ）：.Ｓ是Ｍ↓［ｉ］的有限状态集合，ｓ↓［０］∈Ｓ是Ｍ↓［ｉ］的初始状态；.Ｉ＝（Ｉ↓［１］，Ｉ↓［２］，…Ｉ↓［ｋ］ ，…，Ｉ↓［ｎ］），其中Ｉ↓［ｋ］是端口ｋ上的输入符号的集合，ｋ＝１，２，…，ｎ；α∈Ｉ↓［ｋ］可记作ｋ∶α；＊＝Ｉ↓［１］∪Ｉ↓［２］∪…∪Ｉ↓［ｋ］∪…∪Ｉ↓［ｎ］是Ｍ↓［ｉ］所有输入符号的集合；.Ｏ＝（Ｏ↓［１］，Ｏ↓［２］， …，Ｏ↓［ｋ］，…，Ｏ↓［ｎ］），其中Ｏ↓［ｋ］是端口ｋ上的输出符号的集合，ｋ＝１，２，…，ｎ；ｂ∈Ｏ↓［ｋ］可记作ｋ∶ｂ；＊＝Ｏ↓［１］∪Ｏ↓［２］∪…∪Ｏ↓［ｋ］∪…∪Ｏ↓［ｎ］是Ｍ↓［ｉ］的所有输出符号的集合；.δ是状态变迁函 数：δ：Ｓ×＊→Ｓ，其中→表示映射关系；λ是输出函数：λ：Ｓ×＊→＊，其中→表示映射关系；一条变迁ｔ可表示为（ｓ↓［１］，ｉｎ／ｏｕｔ，ｓ↓［２］）或＊＊＊，其中ｓ↓［１］，ｓ↓［２］∈Ｓ，ｉｎ∈＊，ｏｕｔ∈＊并且δ（ｓ↓［１］，ｉｎ）＝ｓ↓［２］，λ（ｓ↓［１］，ｉｎ）＝ｏｕｔ；所有变迁集合记为Ｔ；.Ｑ＝（Ｑ↓［１］，Ｑ↓［２］，…Ｑ↓［ｋ］，…，Ｑ↓［ｎ］），其中Ｑ↓［ｋ］是端口ｋ的输入队列，ｋ＝１，２，…，ｎ；这些队列都是先进先出（ＦＩＦＯ）队列；.Ｒ＝ （Ｒ↓［１］，Ｒ↓［２］，…，Ｒ↓［ｎ］）表示端口映射关系，其中Ｒ↓［ｋ］是端口ｋ的端口映射关系，ｋ＝１，２，…，ｎ，其形式为１）Ｍ...

【技术特征摘要】

【专利技术属性】
技术研发人员：吴建平，王之梁，尹霞，
申请(专利权)人：清华大学，
类型：发明
国别省市：11[中国|北京]