基本框架:协议一致性测试的理论已经相对成熟,主要代表是ISO制定的国际标准ISO/IEC-9646,即协议一致性测试的方法和框架。在这一框架中,IUT(Implementation Under Test,被测实现)是根据规范的具体实现,是一个内部不可见的实体;规范(Specification)以某种形式化语言或者自然语言描述,但不管怎样描述,其根本都是一个扩展自动机模型;测试仪(Tester)根据规范为IUT产生一组测试序列(Test Sequence),然后观察IUT的外部行为是否符合规范的描述。
测试过程:测试仪根据PICS(Protocol Implementation Conformance Statement,协议实现一致性声明)/PIXIT(Protocol Implementation eXtension Information Table,协议实现扩展信息表)文件和ATS(Abstract Test Suite,抽象测试集)生成ETS(Executable Test Suite,可执行测试集),然后执行ETS对IUT进行激励/响应测试。