非确定时间有限状态机的构造算法

摘要：

为了能够利用Wp方法在时间自动机上产生测试用例必须根据格子自动机构造非确定时间有限状态机.本文给出一种构造方法,证明了该方法能够保证非确定时间有限状态机的行为等价于格子自动机的行为.最后给出具体的构造算法.

关键词： 格子自动机 非确定时间有限状态机 离散事件系统 测试 构造算法

作者: 廖伟志 古天龙 蔡国永

作者单位: 桂林电子工业学院计算机系(桂林)

会议类型: 国内会议

会议名称: 中国自动化学会第十六届青年学术年会

会议地点: 桂林

会议语种:中文

页码: 505-508

在线出版日期: 2001-07-01（万方平台首次上网日期，不代表论文的发表时间）