No abstract

Matlab Simulink is one of the major modeling and simulation tools applied in different embedded systems domain. Quality assurance is an essential, but often highly effort-consuming part of software development. A lot of different quality assurance techniques exist to ensure high quality, but these analysis and testing techniques are often applied in isolation. Therefore, we are interested in synergy effects when applying them in combination. Consequently, we performed a systematic mapping study to identify the current state of the art regarding such quality assurance techniques and existing combinations. Our main result is a classification of existing quality assurance techniques applied on Matlab Simulink models, and an overview of existing tool support and the validity of the approaches.

Abstract. Today's software quality assurance techniques are often applied in isolation. Consequently, synergies resulting from systematically integrating different quality assurance activities are often not exploited. Such combinations promise benefits, such as a reduction in quality assurance effort or higher defect detection rates. The integration of inspection and testing, for instance, can be used to guide testing activities. For example, testing activities can be focused on defect-prone parts based upon inspection results. Existing approaches for predicting defect-prone parts do not make systematic use of the results from inspections. This article gives an overview of an integrated inspection and testing approach, and presents a preliminary case study aiming at verifying a study design for evaluating the approach. First results from this preliminary case study indicate that synergies resulting from the integration of inspection and testing might exist, and show a trend that testing activities could be guided based on inspection results.

No abstract