Model-Based Testing of Distributed Systems
Ahmad A. Saifan, Juergen Dingel · QSpace (Queen's University Library) · 2008
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