论文部分内容阅读
目前有许多基于有限状态机生成一致性测试序列的方法 ,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充 ,使之适用于含自发事件的有限状态机 ,并已将该方法应用于OSPF协议的一致性测试。
含自发事件的协议一致性测试例的生成
【摘 要】
：
目前有许多基于有限状态机生成一致性测试序列的方法 ,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充 ,使之适用于含自发事件的有限状态机 ,并已将该方法应用于OSPF协议的一致性测试。
【机 构】
：
中国科学技术大学
【出 处】
：
计算机应用
【发表日期】
：
2001年08期
其他文献
目前 ,从HTML文档中有效的抽取数据是一个值得研究的问题。文中提出了一种基于预定义模式的方法来构造HTML包装器 ,并将它运用到XWIS(基于XML的Web信息查询系统 )中。这种方法下 ,由用户定义模式并给出模式与HTML页面的映射关系 ,接着系统推导出规则同时生成包装器
本文针对传统的过程式软件设计存在的问题 ,根据DCS(集散控制系统 )训练仿真器的特点 ,结合面向对象系统设计技术 ,详细介绍了工业过程DCS训练仿真器中控制站的面向对象 (OO)设计与实现。