Safe.Spec
Quality Assurance of Behavioral Requirements (2017-2019)
The goal of the project Safe.Spec is the tool-based quality assurance of behavioral requirements. Safe.Spec supports users in specifying scenarios with dedicated patterns and in formalizing verification properties with natural language (structured grammars). Besides analyzing individual scenarios, we investigate the composition of scenarios to an overall specification of the requirements, which can be checked against the verification properties. Imprecise and incorrect specifications of requirements often cause faults in the software and result in increasing costs for developing and maintaining the software. The goal of the project Safe.Spec is the tool-based quality assurance of behavioral requirements. Users describe the behavior of the system under development by examples, that is, by formalizing each scenario as a sequence diagram. Safe.Spec will support this formalization by providing a dedicated catalog of patterns that will be developed for the target domain. Using these patterns, we can identify imprecise and incorrect specifications of individual scenarios.
We will further develop algorithms to compose the individual scenarios to an overall specification of the requirements and to identify inconsistent requirements when considering the interplay of multiple scenarios. Furthermore, we will check the overall specification against verification properties. For this purpose, Safe.Spec will support (1) the formalization of verification properties based on natural language (structured grammars) and (2) the translation of the specification to formalisms that are used by existing verification tools. This eventually supports checking the verification properties.
Overall, Safe.Spec enables analyzing individual scenarios, the interplay of such scenarios, and the correctness with respect to the verification properties. Consequently, Safe.Spec contributes to the quality assurance of requirements and to the formalization of high-quality requirement specifications.
Persons:
In cooperation with:
Safe.Spec is sponsored by the German Federal Ministry of Education and Research under Grant No. 01IS16027.