Benutzer-Werkzeuge

Webseiten-Werkzeuge


Sidebar

paper:formal_templates:start

Formalisierung von Requirements durch Nutzung von Templates

Christian Kühl
Verfasser:Christian Kühl
Erstgutachter:Prof. Dr. Lutz Prechelt
Zweitgutachter: Prof. Dr. Elfriede Fehr
Freie Universität Berlin

Formalisierung von Requirements durch Nutzung von Templates

Zusammenfassung

Diese Arbeit stellt einen neuen Ansatz zur Erstellung von qualitativ besseren Anforderungen vor.

Die Idee ist das Verwenden von variablen Templates. Man benutzt Templates, die vorher in verschiedene Klassen eingeteilt wurden, um daraus Anforderungen zu erstellen. Jedes Template besitzt dabei optionale Teile, sowie Variablen. Dadurch entsteht eine Variabilität eines Templates.

Die einzelnen Variablen in einem Template werden mit Hilfe von Formalen Regeln durch die entsprechenden Elemente ersetzt. Somit ermöglicht man dem Requirements Engineer mit Hilfe einer kontrolliert-natürlichen Sprache Anforderungen zu entwickeln, die gemäß den Qualitätskriterien eine bessere Qualität aufweisen. Das Resultat der Methodik wurde durch eine wissenschaftliche Evaluation anhand des zusätzlich entwickelten Prototypen getestet.

Inhaltsverzeichnis

    1. Motivation
    2. Aufgabenstellung und Lösungsansatz
    3. Aufbau der Arbeit
    1. Einführung in den Anforderungsbegriff
      1. Definition
      2. Arten
      3. Qualitätskriterien
    2. Grundlagen des Requirements Engineering
      1. Definition
      2. Voraussetzungen
      3. Ermittlungstechniken
    3. System
    4. Informatische Grundlagen
      1. Backus-Naur-Form
      2. Unified Modeling Language (UML) Diagramme
        1. Aktivitätsdiagramm
        2. Use case und use case Diagramme
      3. XML (Extensible Markup Language)
    1. Wissenschaftliche Ansätze
      1. Templates nach Christine Rupp
      2. Templates nach Toro et al
      3. Formale Methoden
    2. Stand der Technik
      1. DESIRe
      2. weitere Techniken
    3. Diskussion und Bewertung
    4. Offene Probleme
    1. Vorstellung der Methodik
      1. Ziel der MEthodik
      2. Einführung
      3. Entwickeln der Templates
      4. Klassifizierung von Requirements
      5. Validierung der Templates
      6. Formale Regeln
        1. Bedingungen
        2. Werttyp (Value)
        3. Komponente (Component)
        4. Listen in Anforderungen
        5. Andere
      7. Entscheidungen
      8. Anmerkungen
      9. Die Listen
    1. Use case Gruppen
      1. Requirements Engineer
      2. Globaler Administrator
      3. Projektadministrator
    1. Anforderungen an den Prototypen
      1. Generelle Softwareanforderungen
      2. Anforderungsliste
      3. Templateeditor
      4. Listeneditor
      5. Anforderungseditor
    2. Umsetzung der use cases
      1. Requirement Engineer
        1. Anforderungsliste erstellen
        2. Anforderungsliste bearbeiten
        3. Struktur ändern
        4. Anforderung hinzufügen
      2. Globaler Administrator
        1. Template hinzufügen
        2. Template entfernen
        3. Globale Listen
      3. Projektadministrator
        1. Liste erstellen
        2. Liste bearbeiten
    3. Speicherlösungen und Datenstrukturen
    4. Anmerkungen
      1. Der Bauplan der Anforderungen und JavaCC
      2. Einschränkungen
    1. Vorgaben vor dem Test
    2. Vorbereitung
    3. Auswertung der Reviews
    4. Bewertung des Prototypen
    5. Zusammenfassung der Evaluation
    1. Fazit
    2. Ausblick

Literaturverzeichnis

  • [Ebert 10] Christof Ebert, Requirements Engineering: Advanced Topics, Zugriff: 18.10.2010 , Quelle
  • [Sant] Dr.Santen,Prof. Hußmann, Softwaretechnologie 2, Technische Universität Dresden, Zugriff: 29.10.2010, Quelle
  • [Rupp10] Christine Rupp, Requirements Templates – The Blueprint of your Requirements, Zugriff: 07.11.2010 Quelle
  • [ITWissen] ITWissen, BNF(Backus-Naur-Form), Zugriff: 22.10.2010, Quelle
  • [Rupp et al 07] Chris Rupp & die SOPHISTen, Requirements- Engineering und Management, Hanser Verlag, 4. Auflage, Deutschland, 2007, Seite 227 f.
  • [Broso et al 06] Sebastian Brosowski et. al., Der Systembegriff; Zugriff: 23.10.2010 Vom: xx.xx.2006, Quelle
  • [Prech et East 10] Lutz Prechelt, Steve Easterbrook, Requirements Elicitation, Zugriff: 07.11.2010, Quelle
  • [Rupp 2006] C. Rupp, Requirements-Engineering und -Management. Professionelle, iterative Anforderungsanalyse für die Praxis, 4th ed. Hanser Fachbuchverlag, 10 2006.
  • [Prech,Brueg,Dut] Lutz Prechelt, Bernd Bruegge, Allen H. Dutoit, Modeling with UML, Course Softwartechnik Chapter 2, Zugriff: 27.10.20010, Quelle
  • [Prech] Lutz Prechelt, Anwendungsfälle(use cases) , Course Softwaretechnik Chapter 4, Zugriff: 05.11.2010, Quelle
  • [Holt10] Jörg Holtmann, Mit Satzmustern zu textuellen Anforderungen, 2010, Zugriff: 10.12.2010, Quelle
  • [Toro et al 99] A. Durán Toro et. al. A Requirements Elicitation Approach Based in Templates and Patterns WER´99 Proceedings , 1999
  • [ISO26262] ISO26262 Baseline 17, Part 8, Chapter 6
  • [Coll99] Michael Collins, Formal Methods, erstellt: Frühling 1999, Zugriff: 15.12.2010 Quelle
paper/formal_templates/start.txt · Zuletzt geändert: 2012/10/01 19:02 von ben