有限自动机（FA）在测控程序自动生成中的应用研究

摘要

该文对将有限自动机理论用于测控软件自动生成的技术进行了研究,旨在开发能够生成测控程序的软件自动生成系统.在对软件自动生成技术和工业控制领域的测控程序实例进行深入分析的基础上,改进有限自动机理论中有限自动机的形式化定义及其化简算法,通过研究,设计实现了一个自动生成测控程序的系统平台.在对自动生成系统需求分析的基础上,建立了该系统的总体软件结构,形成了自动生成系统的整体框架.该课题提出为测控程序建立有限自动机模型,将有限自动机的状态转换图作为测控程序的规格说明工具,以状态矩阵作为自动生成程序代码的规则,最后采用软件自动化的过程实现途径,设计算法,并编程实现了测控软件自动生成系统.