A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems.
Ahmad A. Saifan, Jürgen Dingel · 2008
This paper provides a detailed survey of how Model- Based Testing (MBT) has been used for testing different quality attributes of distributed systems such as security, performance, reliability, and correctness. For this purpose, three additional criteria are added to the classification. These criteria are: the purpose of testing, the test case paradigm, and the type of conformance checking. A comparison between different MBT tools based on the classification is also given.