论文部分内容阅读
以太网工厂自动化协议状态机的一致性测试方法,是将标准以太网工厂自动化服务原语序列作为激励输入被测协议实现,并检验其输出与预期输出是否一致,从而对以太网工厂自动化协议状态机实现与协议之间的一致性程度作出评判.针对以太网工厂自动化协议状态机状态变迁的约定,通过改变状态、获取状态和验证状态3个步骤,评判该协议状态机在状态变迁的条件、状态变迁的事件和具体状态所支持的操作3个方面与协议约定之间的一致性,从而使通过状态机一致性测试的不同协议实现之间的可靠互联概率得到提高.