摘要： 本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法。这种方法从协议的形式化描述出发，用形式化的语言定义测试目的和测试组，通过本文提出的算法自动生成一致性测试套。

关键词: 一致性测试 SDL 生成方法 形式化描述 自动生成 协议 算法 MSC