期刊名称：Journal of Software Engineering and Applications
印刷版ISSN：1945-3116
电子版ISSN：1945-3124
出版年度：2015
卷号：08
期号：09
页码：499-519
DOI：10.4236/jsea.2015.89048
语种：English
出版社：Scientific Research Publishing
摘要：As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.
关键词：Model-Based Testing;Automated Production Systems;Conformance Testing;Regression Testing;Fault Injection;Survey
