An integrated analysis and testing methodology to support model-based quality assurance

Abstract

Model-based development of software is an increasing trend. As quality assurance is one major activity during software development, we aim at improving this task by combining analysis and testing more strongly during model-based development. We first give an overview of the state of the art of combined quality assurance and optimization of quality assurance based on the use of metrics, which reveals a lack of knowledge and methodology regarding this process. We then introduce our initial concepts of a combined quality assurance methodology, and present a proof of concept via an example that applies the approach. The approach is widely applicable and presents a basis for gathering knowledge between different static and dynamic quality assurance techniques in order to improve quality assurance. However, identifying concrete knowledge will remain a major challenge in the future. Finally, we present further lessons learned and give an outlook on future work. © Springer International Publishing Switzerland 2014.