Formale Konsistenzsicherung in informellen Software-Spezifikationen |
| |
| Authors: | Jan Scheffczyk Christiane Stutz Uwe M Borghoff und Johannes Siedersleben |
| |
| Institution: | (1) Institut für Softwaretechnologie, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, 85577 Neubiberg;(2) sd&m AG, software design & management, Carl-Wery-Str. 42, 81739 München |
| |
| Abstract: | Zusammenfassung. Die Spezifikation ist die Grundlage für den Erfolg eines Software-Projekts. Der Praktiker konzentriert sich hier i.d.R. auf die größte Herausforderung: die vollständige und inhaltlich korrekte Erfassung aller Anforderungen an das zu erstellende Software-System. Dass Spezifikationen für große Systeme aus vielen Dokumenten verschiedener Ausprägung in Form und Inhalt bestehen, tritt dabei meist in den Hintergrund. Ihre Konsistenz wird meist mit hohem manuellem Aufwand sichergestellt. Der Erstellung formal korrekter und konsistenter Software-Spezifikationen widmen sich zahlreiche theoretische Arbeiten. In der Praxis sind sie jedoch meist nicht mit der gewohnten Arbeitsweise vereinbar. In diesem Artikel stellen wir einen Mittelweg vor: Wir nutzen die Spezifikationsbausteine von sd&m für die Spezifikation, die als Ergebnisse Dokumente in natürlicher Sprache sowie semi-formale Darstellungen umfasst. Für Spezifikationen, die nach diesen Bausteinen erstellt wurden, definieren wir Konsistenz durch formale zeitbehaftete Konsistenzregeln. Ein von uns entwickeltes Auswertungswerkzeug ermittelt Inkonsistenzen präzise. Unterstützt von einem solchen Werkzeug kann sich der Software-Ingenieur wieder ganz auf das Hauptanliegen der Spezifikation konzentrieren: ihre inhaltliche Korrektheit und Vollständigkeit.Eingegangen am 19. August 2003, Angenommen am 10. März 2004, CR Subject Classification:
D.2.1, D.3.1, H.3.1, I.7.1 |
| |
| Keywords: | Software-Spezifikation Spezifikationsbausteine Konsistenz Temporale Logik Heterogene Repositories |
| 本文献已被 SpringerLink 等数据库收录！ |
|
