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

摘要

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