一个并行数据库驱动的协议验证系统原型

摘要

协议验证系统是测试通讯协议的规格说明，本文所述协议验证系统的原型是基于超立方体多计算机系统的并行数据库原语的，使用该原型能验证两个常规协议。为了评价验证系统的性能，我们采用一直被当作基准的合成协议，描述了此合成协议的特性和扩展方向，并使用该协议，评估了所开发的验证系统的性能。