Model learning:a survey of foundations,tools and applications  

作　　者：Shahbaz ALI Hailong SUN Yongwang ZHAO 

机构地区：[1]Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University,Beijing 100191,China [2]SKLSDE,School of Computer Science and Engineering,Beihang University,Beijing 100191,China [3]School of Software,Beihang University,Beijing 100191,China [4]School of Cyber Science and Technology,College of Computer Science,Zhejiang University,Hangzhou 310058,China

出　　处：《Frontiers of Computer Science》2021年第5期71-92,共22页中国计算机科学前沿（英文版）

基　　金：the National Natural Science Foundation of China(NSFC)(Grant Nos.61872016,61932007 and 61972013).

摘　　要：Software systems are present all around us and playing their vital roles in our daily life.The correct functioning of these systems is of prime concern.In addition to classical testing techniques,formal techniques like model checking are used to reinforce the quality and reliability of software systems.However,obtaining of behavior model,which is essential for model-based techniques,of unknown software systems is a challenging task.To mitigate this problem,an emerging black-box analysis technique,called Model Learning,can be applied.It complements existing model-based testing and verification approaches by providing behavior models of blackbox systems fully automatically.This paper surveys the model learning technique,which recently has attracted much attention from researchers,especially from the domains of testing and verification.First,we review the background and foundations of model learning,which form the basis of subsequent sections.Second,we present some well-known model learning tools and provide their merits and shortcomings in the form of a comparison table.Third,we describe the successful applications of model learning in multidisciplinary fields,current challenges along with possible future works,and concluding remarks.

关 键 词：model learning active automata learning automata learning libraries/tools inferring behavior models testing and formal verification 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]