This paper provides a detailed survey of how ModelBased 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. © Springer Science+Business Media B.V. 2010.
CITATION STYLE
Saifan, A., & Dingel, J. (2010). A survey of using model-based testing to improve quality attributes in distributed systems. In Advanced Techniques in Computing Sciences and Software Engineering (pp. 283–288). Springer Publishing Company. https://doi.org/10.1007/978-90-481-3660-5_48
Mendeley helps you to discover research relevant for your work.