一种基于邻接矩阵的有限状态机路径产生方法
有限状态机可以精确刻画系统以及子系统的行为，因而广泛应用于系统建模中．基于有限状态机的系统原型描述为测试提供了依据。在基于状态机的测试中，测试序列的产生、选取、以及序列的评价等工作依赖于状态机规格说明。如何从规格说明中获取测试序列是本文的研究内容，我们提出了一种用邻接矩阵来表示状态机模型，并在此基础上利用Strassen算法产生状态机的路径的方法。
有限状态机 邻接矩阵 系统建模 测试序列
刘晓明 赖祥 黄松
中国人民解放军理工大学指挥自动化学院,江苏南京 210007
国内会议
全国第19届计算机技术与应用学术会议(CACIS·2008)
合肥
中文
1033-1038
2008-07-15（万方平台首次上网日期，不代表论文的发表时间）