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