A Framework for Model-based Testing

Future Generation of Communication and Internet of Things

دوره 1، شماره 1، فروردین 2022، صفحه 28-38   

نوع مقاله: Original Paper

نویسنده

Arash Sabbaghi

Department of Computer Engineering, Semnan Branch, Islamic Azad University, Semnan, Iran.

چکیده

Model-based testing (MBT) has attracted a lot of attention and has been extensively applied in different areas such as probabilistic systems, mobile systems, concurrent systems, real-time systems, software product lines, etc. However, MBT approaches have some limitations and challenges that are mostly related to the incompleteness, high level of abstraction, complexity, and also the informal nature of input models. In the literature, there are different studies addressing these problems. In this paper, we represent a framework for model-based test case generation approaches according to the aforementioned challenges. In this regard, firstly, we categorize different coverage criteria used in MBT, and then show that MBT approaches have three main steps: preprocessing, test scenario generation, and concrete test case generation. Finally, for each step, we represent its necessity and classify the proposed methods

کلیدواژه‌ها

Software testing؛ Model-based testing؛ Automatic test case generation؛ Test models