该文针对协议数据流的测试进行了研究,选择了构造类别代数来对协议的数据流部分进行形式化描述,提出了相应的测试方法.在此基础上,将其与有限状态机模型结合起来,对协议的控制流和数据流进行完整的测试.该文的主要内容包含以下几个部分:1.提出了基于构造类别代数的变异分析方法构造类别代数是一种特别适合于描述协议数据流的形式化方法.该文对构造类别代数的基本定义进行了扩展:使用前/后条件来定义公理,以扩充构造类别代数的描述能力;使用公理选择优先级来简化公理前条件的定义.在协议一致性测试中,有两种基本的测试策略:一是定义错误模型,然后根据该错误模型设计测试用例,以检测出所有可能出现的错误;二是根据协议行为的描述,针对所有可能出现的行为情况进行检查,以确定协议实体的行为是否正确.2.提出了基于构造类别代数的满足分支覆盖标准的测试方法采用上述第二种策略,并考虑到公理是使用前/后条件来定义的这一特点,该文提出了满足分支覆盖标准的测试用例集合生成方法.首先,介绍了判定覆盖、条件覆盖、条件/判定覆盖、多重条件覆盖和改进的条件/判定覆盖五种标准的定义;然后,选择改进的条件/判定覆盖标准为例,给出了针对单条公理的满足该覆盖标准的测试集合;最后,提出了将单条公理的测试集合结合得到完整测试集合的算法.3.提出了结合构造类别代数与有限状态机的描述和测试方法在协议一致性测试中,有限状态机是描述协议控制流的最常用的形式化模型.该文提出使用状态-公理关联函数来将构造类别代数与有限状态机模型结合起来,使得协议控制流和数据流部分的描述相对独立,便于在获得新的协议信息时,对已有的形式化模型进行修改和细化.在此基础上,提出了两种测试用例生成方法.