-
公开(公告)号：CN101388807A
公开(公告)日：2009-03-18
申请号：CN200810112273.X
申请日：2008-05-22
Applicant: 清华大学
Abstract: 基于报文变异的协议鲁棒性测试生成方法属于网络协议测试技术领域，其特征在于所述方法依次含有以下步骤：把协议规范描述为一个不确定性参数化扩展有限状态机，建立鲁棒性要求并构造正常验证序列，利用多种变异策略生成单域异常报文，如果单域异常报文注入后导致确定性变迁，则生成单域变异复合异常测试例－1，如果单域异常报文注入后导致非确定性变迁，则生成单域变异复合异常测试例－2，然后使用“pairwise(两两组合)”方法对多域异常进行两两组合，如果多域异常报文注入后导致确定性变迁，则生成多域复合异常测试例－1，如果多域异常报文注入后导致非确定性变迁，则生成多域变异复合异常测试例－2。本发明适用于各种不同的网络协议，具有很好的通用性。
-
公开(公告)号：CN101388807B
公开(公告)日：2011-03-30
申请号：CN200810112273.X
申请日：2008-05-22
Applicant: 清华大学
Abstract: 基于报文变异的协议鲁棒性测试生成方法属于网络协议测试技术领域，其特征在于所述方法依次含有以下步骤：把协议规范描述为一个不确定性参数化扩展有限状态机，建立鲁棒性要求并构造正常验证序列，利用多种变异策略生成单域异常报文，如果单域异常报文注入后导致确定性变迁，则生成单域变异复合异常测试例-1，如果单域异常报文注入后导致非确定性变迁，则生成单域变异复合异常测试例-2，然后使用“pairwise(两两组合)”方法对多域异常进行两两组合，如果多域异常报文注入后导致确定性变迁，则生成多域复合异常测试例-1，如果多域异常报文注入后导致非确定性变迁，则生成多域变异复合异常测试例-2。本发明适用于各种不同的网络协议，具有很好的通用性。
-
Search Results
2
records
(took 0.013 seconds)
