控制问题论文

协议分布式测试理论及系统可靠性研究
论文摘要协议工程是一体化、形式化的协议开发过程。协议测试是协议工程的一个重要组成部分，包括一致性测试、互操作性测试、性能测试和坚固性测试。协议测试就是在协议形式化模型的基础上生...