Software-Verifikation

Transkript

1 Hochschule Wismar Fakultät für Wirtschaftswissenschaften Semesterarbeit (Arbeitsplan und Grobkonzeption) Software-Verifikation Fernstudiengang Master Wirtschaftsinformatik Modul: Formale Methoden Semester: WS 2011/2012 Dozent: Prof. Dr. Jürgen Cleve Eingereicht von: Robert Richter Matrikelnummer Steffen Weber Matrikelnummer Tim Strauss Matrikelnummer Leipzig / Stuttgart / Hermaringen, den 19. September 2011

2 Software-Verifikation (Arbeitsplan und Grobkonzeption) I Inhaltsverzeichnis 1 Einleitung Arbeitsplan Grobkonzept... 4

3 Software-Verifikation (Arbeitsplan und Grobkonzeption) 1 1 Einleitung Im Rahmen des dritten Semesters im Fernstudiengang Master Wirtschaftsinformatik an der Hochschule Wismar wird im Modul Formale Methoden das Themengebiet der Software-Qualität behandelt. Die zur Verfügung gestellte Literatur Software Qualität von Dirk W. Hoffmann [Springer Verlag, Berlin, Heidelberg, 2008] bildet die Ausgangslage für das Studium. Unter Berücksichtigung weiterführender Quellen werden die diversen Teilaspekte der Thematik von elf Projektgruppen analysiert, in Form einer Semesterarbeit schriftlich ausgearbeitet und während der Präsenzveranstaltung vorgestellt. In den folgenden Kapiteln werden der Arbeitsplan sowie das Grobkonzept zum Themenschwerpunkt Software-Verifikation (Thema 7) vorgestellt. Inhaltliche Basis ist das sechste Kapitel der zuvor genannten Literatur.

4 Software-Verifikation (Arbeitsplan und Grobkonzeption) 2 2 Arbeitsplan Das geplante Vorgehen zur Bearbeitung der Aufgabenstellung ist im Folgenden dargestellt. Die identifizierten Arbeitspakete sind in Form von Aktivitäten in zeitlicher Abfolge gelistet. Durch die Modulbeschreibung festgelegt und das Projektmanagement definierte Termine sind in Form von Meilensteinen farblich gekennzeichnet. Aktivität Beschreibung Termin Gruppenbildung Themenauswahl Arbeitsaufteilung Erstellung der Formatvorlagen Erstellung Arbeitsplan und Grobkonzept Abgabe Arbeitsplan und Grobkonzept Quellenrecherche Einarbeitung in die Themenschwerpunkte Abstimmung unter den Kommilitonen Sichtung der verfügbaren Themen und entsprechenden Buchkapitel Telefonkonferenz zur Abstimmung des weitere Vorgehens Prüfung der verfügbaren Vorlagen (CD HS Wismar) Erstellung spezifischer Vorlagen (Präsentation, Grobkonzept, Ausarbeitung) Identifizierung der notwendigen Aktivitäten und zeitliche Planung Erarbeitung des strukturellen Aufbaus der Semesterarbeit in Anlehnung an die zur Verfügung gestellte Literatur Bereitstellung des Konzeptes in StudIP Recherche nach zusätzlichen Quellen: Literaturrecherche (Deutsche Nationalbibliothek Leipzig, Fachhochschule Neu-Ulm, Springer Link) Internetrecherche Paralleles Einarbeiten in die drei Themenschwerpunkte anhand der vorgegebenen Literatur und zusätzlicher Quellen

5 Software-Verifikation (Arbeitsplan und Grobkonzeption) 3 Verabschiedung Feinkonzept Ausarbeitung der Themenschwerpunkte Harmonisierung der Ausarbeitungen Wissenschaftliche Aufarbeitung Korrektur der Vorabversion Abgabe Vorabversion der Semesterarbeit Präsentationserstellung Korrektur der Semesterarbeit Abgabe der Semesterarbeit und Präsentation Präsentation der Ergebnisse Telefonkonferenz zur Abstimmung des Feinkonzepts: Definition der Zielsetzung Themenabgrenzung / Definition des Inhaltes Strukturelles Aufbau des dreigeteilten Hauptteils Zusammenführung der einzelnen Teile Sprachliche, formale und grafische Harmonisierung Erstellung von Abkürzungsverzeichnis Abbildungsverzeichnis Tabellenverzeichnis Quellenverzeichnis und Prüfung der korrekten Einbindung im Fließtext. Prüfung der Formalitäten Inhaltsprüfung (Argumentation, Roter Faden) Bereitstellung der Vorabversion in StudIP Definition der Präsentationsinhalte Aufteilung und Planung der Sprechzeiten Erstellung der Folien Korrekturlesen Prüfung und Einarbeitung der Änderungsvorschläge Bereitstellung der finalen Dokumente in StudIP Vorstellung der Semesterarbeit anhand der erstellten Präsentation während der Präsenzveranstaltung in Hannover Paralleles Ausformulieren der Hauptteile anhand des definierten Feinkonzepts

6 Software-Verifikation (Arbeitsplan und Grobkonzeption) 4 3 Grobkonzept Die folgende Gliederung enthält den nach aktuellem Kenntnisstand geplanten Aufbau der Semesterarbeit. Änderungen bleiben dem Projektteam vorbehalten. I. ABKÜRZUNGSVERZEICHNIS II. III. ABBILDUNGSVERZEICHNIS TABELLENVERZEICHNIS 1. EINLEITUNG 1.1. MOTIVATION 1.2. ABGRENZUNG 1.3. ZIELSETZUNG 2. GRUNDLAGEN Definition grundlegender Begriffe; Einführung gemeinsamer Faktoren für die Bewertung der verschiedenen Verifikationstechniken. 3. VERIFIKATIONSTECHNIKEN Hauptteil der Arbeit: In den folgenden Unterkapiteln werden die spezifischen Eigenschaften der unterschiedlichen Verifikationstechniken ausgearbeitet DEDUKTION (Bedingungen; Hoare-Kalkül; WP-Kalkül) 3.2. MODELLPRÜFUNG (Temporallogik; Verifikation temporaler Eigenschaften) 3.3. ABSTRAKTE INTERPRETATION (Fixpunktiteration; Datenabstraktion) 4. SCHLUSSBETRACHTUNG 4.1. ZUSAMMENFASSUNG Zusammenfassende Gegenüberstellung der betrachteten Verifikationstechniken; Beurteilung der Verifikationstechniken FAZIT 5. QUELLENVERZEICHNIS 6. GLOSSAR A. ANHANG Prüfung der Praxisrelevanz; Ausblick über zukünftige Entwicklungen.