Mutation Testing Approach to Evaluation of Design Models

A well-formed design model, reflecting accurately all needs of stakeholders, contributes to a development and manufacturing of a high quality system. It is therefore of primary importance to evaluate a model to determine the degree to which the model is an accurate representation of these needs. A mutation testing based approach to evaluation and measuring of a design model with regard to its accuracy is presented in this paper. The approach focused mainly on detecting weaknesses of a model that could cause the future system to process incorrect data or crash when some unexpected situation occurs.