论文部分内容阅读
原有的时间限制协议一致性测试模型TCFSM不适合实时协议的一致性测试。在TCFSM的基础上，引入新变量重新定义时间限制而得到新模型TCFSM—N，通过把进程中的消息处理时间与消息在信道中的传送时间分离开采，并使进程改变状态的时间可由进程明确测量，以及使时钟与定时器达到完全同步等一系列改进措施，使得新模型TCFSM—N完全适合于实时协议的一致性测试。