pax

This work presents an approach for the modeling and validation of requirements based on the semi-formal specification language ADORA. Semi-formal languages – especially when supporting a variable degree of formality – have following advantages in contrast to formal languages: the created models are better understandable above all for the involved customers, iterative development is better supported, and the modeling effort may be specifically adapted to budget and risks. In contrast to informal specifications, semi-formal models provide better possibilities for their verification. In this work it is shown, how the semi-formal language ADORA is constructed and why it is well suited for iterative modeling and validation of requirements. In contrast to reviews or prototyping, the simulation of specified behavior in requirements models is a well suited validation means for iteratively developed models as it requires hardly additional effort. However, today’s simulation approaches are restricted to formal models. In this work, an interactive simulation technique is presented being able to execute also semi-formal and partial models. This allows the validation of requirements models in an early development stage. Furthermore, results of simulation runs flow back into the model pushing the modeling process further. An adapted simulation technique is presented for the revalidation of models. Revalidation becomes necessary for iteratively developed models. The adapted simulation technique is able to rerun recorded simulation traces completely automated without the need for interaction. This reduces the necessary effort for the model revalidation. Furthermore, a method for defect localization of failed revalidation runs is presented. This method restricts the defect space by combining the analysis of the model evolution and the comparison of the failed revalidation run with the recorded reference trace.

Simulation teilformaler Anforderungsmodelle [Simulation of ...

Simulation teilformaler Anforderungsmodelle [Simulation of semi-formal requirements models (in German)]

actions