一种基于邻接矩阵的有限状态机路径产生方法

• 作 者: 刘晓明 赖祥 黄松
• 机 构: 中国人民解放军理工大学指挥自动化学院,江苏南京 210007
• 出 处: 全国第19届计算机技术与应用学术会议(CACIS·2008)
• 发表日期: 2008年期
• 关键词: 邻接矩阵 有限状态机 路径 系统原型 规格说明 测试序列 Strassen算法 状态机模型 研究内容 系统建模 子系统 行为 描述 基础 方法

有限状态机可以精确刻画系统以及子系统的行为，因而广泛应用于系统建模中．基于有限状态机的系统原型描述为测试提供了依据。在基于状态机的测试中，测试序列的产生、选取、以及序列的评价等工作依赖于状态机规格说明。如何从规格说明中获取测试序列是本文的研究内容，我们提出了一种用邻接矩阵来表示状态机模型，并在此基础上利用Strassen算法产生状态机的路径的方法。