Year: 2008
Type: report
Abstract: This paper provides an overview of Model-Based Testing (MBT) and its activities.A classification of MBT based on different criteria is also presented.Furthermore, several difficulties of MBT are highlighted in this paper.A survey that provides a detailed description of how MBT is effective in testing different quality attributes of distributed systems such as security, performance, reliability, and correctness is given.A comparison between different MBT tools based on the classification is also given at the end of this paper. I would like to express my gratitude
Authors: Ahmad A. Saifan, Juergen Dingel
Institutions: Queen's University, Queens University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W39437227