Affiliation:
1. Cracow University of Technology
Abstract
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.
Publisher
Trans Tech Publications, Ltd.
Subject
Mechanical Engineering,Mechanics of Materials,General Materials Science
Reference5 articles.
1. J. -C. Fernandez, L. Mounier, and C. Pachon: A model-based approach for robustness testing. Testing of Communication Systems, LNCS, vol. 3502 (2005) pp.333-348.
2. G. Fraser, F. Wotawa: Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. In International Conference on Software Engineering Advances (2006) p.16.
3. Y. Jia, M. Harman: An Analysis and Survey of the Development of Mutation Testing. IEEE Trans. Software Eng. Vol. 35 (2011) pp.649-678.
4. K. Bolazar, J.W. Fawcett: Measuring Component Specification-Implementation Concordance with Semantic Mutation Testing. In 26th International Conference on Computers and Their Applications (2011).
5. M. Gogolla, F. Buttner, M. Richters: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming Vol. 69 (2007) pp.27-34.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Applying Mutation Testing for Assessing Test Suites Quality at Model Level;Annals of Computer Science and Information Systems;2016-10-02
2. Mutation Testing in Model Accuracy Assessment;Advances in Intelligent Systems and Computing;2016-09-24
3. Mutation Testing Approach to Negative Testing;Journal of Engineering;2016
4. Mutation Operators for UML Class Diagrams;Advanced Information Systems Engineering;2016
5. Classifying Mutants with Decomposition Kernel;Artificial Intelligence and Soft Computing;2016