In order to ensure that the functional design of a software meets the requirements, it is usually checked by the stakeholders before implementation. However, the presentation of a software design is difficult for many stakeholders to understand. The SSE working group has therefore examined whether stakeholders can cope better with specially generated review models.
Dr. Marian Daun presented the results of the study at this year's International Conference on Software and Systems Process (ICSSP) 2019. The paper "On the benefits of using dedicated models in validation processes for behavioral specifications" was published by Marian Daun, Jennifer Brings, Lisa Krajinski and Thorsten Weyer.
On the benefits of using dedicated models in validation processes for behavioral specifications
Marian Daun, Jennifer Brings, Lisa Krajinski, Thorsten Weyer
In model-based engineering models need to be regularly validated by manual assessment. Therefore, review processes have established. This commonly means that a visual inspection of the respective models is conducted. [Aims] In this paper, we report a study that aims at investigating whether automatically generated review models can aid the manual review of model-based specifications. We investigate this for the case of embedded systems’ functional design. [Method] For that purpose, we compared the manual review of the functional design with the review of an automatically generated review model. In this paper, we report on a controlled experiment to compare effectiveness, efficiency, user confidence, and subjective supportiveness of both review artifacts. [Results] The experiment results show that the use of the review model as review artifact for the functional design is significantly more effective, leads to a significantly higher user confidence in decision making and is valued as significantly more supportive than the review of the original functional design. [Conclusions] Our experiment provides evidences that reviewing a generated review model instead of the original model-based specification of the functional design increases the quality of the reviews. Our findings also indicate that the use of generated review models have the potential to improve the review of model-based specifications in general.