Automatische Überprüfung von Anforderungen
Motivation Die Überprüfung von Anforderungen („Validierung“) gehört zu den vier Hauptaktivitäten des Requirements Engineerings. Das Ziel dieser Überprüfung ist einerseits die frühzeitige Sicherstellung, dass die (dokumentierten) Anforderungen die tatsächlichen Wünsche und Bedürfnisse der Stakeholder erfüllen. Andererseits soll damit überprüft werden, ob die Anforderungen die notwendige Qualität aufweisen, um damit weitere Entwicklungsaktivitäten wie Entwurf, Realisierung und