A Framework for Model-based Testing
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
- حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران میشود.
- پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانههای چاپی و دیجیتال را به کاربر نمیدهد.