对自动机模型学习问题的分析与研究

• 作者: 张圣迪
• 来源期刊: 电脑知识与技术:学术版
• 学科: 工学
• 关键词: 模型学习 形式化方法 时间自动机 寄存器自动机
• 年，卷（期）: 2019,（4）
• 页码范围: 171-173
• 页数: 3页
• 分类号: TP311

摘要

形式化方法在模型为导向的软件工程中起到非常重要的作用,其中模型检验已经成为软件验证和纠错的一种重要方法,而模型学习是对于模型检验的一种有效补充技术。本文将对模型学习的概念和研究意义进行介绍,汇总了几种常见的对于寄存器自动机和时间自动机的模型学习的方法,并提出了一种对于时间自动机进行学习模仿的算法思想,最后对于模型学习的主要研究方向进行了阐述。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张圣迪	同济大学软件学院	2	0	0.0	0.0