Interaktive Aufbereitung von Anforderungen für den modellbasierten Test

Größe: px

Ab Seite anzeigen:

Download "Interaktive Aufbereitung von Anforderungen für den modellbasierten Test"

Nicole Müller
vor 7 Jahren
Abrufe

1 Interaktive Aufbereitung von Anforderungen für den modellbasierten Test Mario Friske Fraunhofer FIRST Treffen der GI-FG Requirements Engineering Hannover, 24. November 2005

2 Inhalt Aufbereitung von Anwendungsfallbeschreibungen Werkzeugunterstützung Metamodelle Zusammenfassung und Ausblick Seite 2/3

3 Werkzeugkette für den spezifikationsbasierten Softwaretest Requirements Management Testfallerzeugung Testmanagement Defect Tracking z.b. Rational RequisitePro Use Case Validator Fraunhofer FIRST z.b. Rational TestManager z.b. Rational ClearQuest Testausführung z.b. Rational Robot Seite 3/3

4 Testfallerzeugung durch mehrstufige Transformation textuelle Anford. formal. Anford. PIT PST Testskript Interaktive Aufbereitung Automatisierte regelbasierte Transformation PIT = platform-independent test case PST = platform-specific test case Seite 4/3

5 Beispiel einer Anwendungsfallbeschreibung Basic Path. The use case starts when the customer selects Place Order. 2. The system displays the Place Order screen. 3. The customer enters his or her name and address. 4. The customer enters product codes for products to be ordered. 5. For each product code entered a) Include Get Product Information b) The System adds the price of each item to the total. end loop nach [Schneider und Winters, 200] Seite 5/3

6 . Teilproblem: Formalisieren des Kontrollflusses Basic Path. The use case starts when the customer selects Place Order. 2. The system displays the Place Order screen. 3. The customer enters his or her name and address. 4. The customer enters product codes for products to be ordered. 5. For each product code entered a) Include Get Product Information b) The System adds the price of each item to the total. end loop Sequenzen Teilschritte Schleifen Iteratoren Includes Seite 6/3

7 2. Teilproblem: Formalisieren der einzelnen Schritte Basic Path. The use case starts when the customer selects Place Order. 2. The system displays the Place Order screen. 3. The customer enters his or her name and address. 4. The customer enters product codes for products to be ordered.... Step = (Akteur + Systemfunktion) oder Systemreaktion Die Anzahl der Systemfunktionen und reaktionen ist begrenzt. Seite 7/3

8 Mehrstufige Modelltransformation als zentrales Konzept Anwendungsfallbeschreibung im Originalzustand + Entwurfsinformation UCDescription + DesignInfo TextLine 0..n 0..n..n SystemFunction SystemReaction Interaktive Aufbereitung formalisierte Anwendungsfallbeschreibung UC..n SystemFunction Step 0..successor SystemReaction Automatisierte regelbasierte Transformation logischer Testfall, konkreter Testfall, (ausführbares Testskript) LTC..n TestStep 0.. ActionStep successor ExpectedResult Seite 8/3

9 Grafische Oberfläche des Use Case Validator Entwurfsinformation (Systemfunktionen, Systemreaktionen) importierte Anwendungsfallbeschreibung Interaktive Verknüpfung Seite 9/3

10 Metamodelle des Use Case Validator UCModel..n UCDescription originalfilename : String..n {ordered} TextLine content : String linenumber : Integer type : TextLineType <<enumeration>> TextLineType undefined basicpath alternativepath briefdescription name actors preconditions postconditions 0..* SystemFunction name : String UserAction DesignInfo Interaction 0..*..n Actor name : String SystemReaction name : String Metamodell der nicht-formalisierten Anwendungsfallbeschreibung Metamodell der Entwurfsinformation Seite 0/3

11 Metamodelle des Use Case Validator UCModel FUCModel..n FUCDescription name : String..n DesignInfo Block name : String Step..n..n {ordered} Sequence Loop condition : Condition loopblock : Block Switch condition : Condition ifblock : Block elseblock : Block..n Interaction TextLine content : String linenumber : Integer type : TextLineType Condition description : String evaluate() Metamodell der formalisierten Anwendungsfallbeschreibung Seite /3

12 Einordnung in die vier Modellebenen der OMG Modellebene Transformationsquelle Transformationsziel M3 (Meta-Metamodell) MOF MOF M2 (Metamodell) M (Modell) Metamodell der Anwendungsfallbeschreibung formalisierte Anwendungsfallbeschreibung Metamodell eines Testfalles Modell eines Testfalls M0 (Instanz) Szenario konkreter Testfall Seite 2/3

13 Zusammenfassung und Ausblick Methode zur interaktiven Aufbereitung von textuellen Anwendungsfallbeschreibungen für den Systemtest Berücksichtigung von Informationen aus dem Entwurf bei der Formalisierung EMF-basierte prototypische Umsetzung der Formalisierung Metamodelle für textuelle Anwendungsfallbeschreibung, Entwurfsinformation und formalisierte Anwendungsfallbeschreibung Formalisierte Anwendungsfallbeschreibungen als Grundlage für Transformation in plattformunabhängige, plattformspezifische und ausführbare Testfälle Seite 3/3

Ähnliche Dokumente

Testfallerzeugung aus Use-Case-Beschreibungen

Testfallerzeugung aus Use-Case-Beschreibungen Testfallerzeugung aus Use-Case-Beschreibungen Mario Friske FhG FIRST Synthese, Validierung und Test (SVT) mario.friske@first.fhg.de 17./18. Juni 2004 Testfallerzeugung