本文讨论了一种协议测试的新方法

它使用构造类别代数描述通信协议规范

然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较

得出两种方法在一些方面是等效的

但在处理状态较多的协议时

这种方法有一定的优点。