BibSonomy :: user  :: ist_spl ::

bookmarks

publications

(7)   

• A UML-Based Approach to System Testing
  Lionel C. Briand and Yvan Labiche Software and System Modeling1(1):10--42(2002)
  to systemtest OCL sequence specification-based contracts Use-Cases UML oracle diagrams activity testdata by ist_spl and 1 other person on Sep 8, 2008, 7:55 AM
  URL | BibTeX 
• Model-Based Testing of Object-Oriented Systems
  Bernhard Rumpe FMCO, page380-402. (2002) MR: einige Ideen ohne dass diese validiert (durch ein Tool oder Beispiel) werden .
  to OCL contracts UML MBT by ist_spl and 1 other person on Sep 3, 2008, 9:07 AM
  BibTeX 
• Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential
  Stephen H. Edwards Software Testing, Verification and Reliability10(4):249--262January2001. MR: Aus dem Text: Testing 'to contract' is at the heart of specification based testing. Es wird gezeigt wie ein Anzatz von [Zweben1992] (der leider nicht a...MR: Aus dem Text: Testing 'to contract' is at the heart of specification based testing. Es wird gezeigt wie ein Anzatz von [Zweben1992] (der leider nicht auffindbar ist) sich praktisch umsetzen lässt. Dabei spielen die Contracts für die Generierung der Test(ein/aus)gabedaten grundlegende Rolle. Die getesteten Komponenten werden als Flowgraphs dargestellt, womit sie große Analogie zu Aktivitätsdiagrammen besitzen. Obwohl noch Probleme bei der Auswahl der Testdaten (infeasable paths) existieren, wurde gezeigt, dass dieser Ansatz großen Potential besitzt. Für das Experiment wurde Fehlerinjektionsmethoden angewendet (Mutation). .
  to automated fault-injection sensitization specification-based path flowgraph testing contracts oracle testdata black-box by ist_spl on Sep 3, 2008, 9:01 AM
  URL | BibTeX 
• Requirements by Contracts allow Automated System Testing
  Cl'ementine Nebut and Franck Fleurey and Yves Le Traon and Jean-Marc J'ez'equel ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, page85. Washington, DC, USA, IEEE Computer Society, (2003)
  to automated systemtest coverage contracts Use-Cases UML LTS Criteria requirements diagrams activity by ist_spl on Jul 30, 2008, 4:21 PM
  URL | BibTeX 
• A relation-based method combining functional and structural testing for test case generation
  Shaoying Liu and Yuting Chen Journal of Systems and Software81(2):234-248(2008)
  to gray-box test SOFL functional specification-based testing structural contracts case oracle generation testdata by ist_spl and 1 other person on Jul 30, 2008, 3:21 PM
  BibTeX 
• Component-Based Software Testing with UML
  Hans-Gerhard Gross Springer, 1 edition, (2004) MR: am meisten interessant ist der Kapitel: Model-Based Testing with UML und dadrin der Abschnitt über das Testen mit Aktivitätsdiagrammen (in Be...MR: am meisten interessant ist der Kapitel: Model-Based Testing with UML und dadrin der Abschnitt über das Testen mit Aktivitätsdiagrammen (in Bezug auf ScenTED) .
  to assertions testing contracts UML MBT diagrams activity by ist_spl on Jul 1, 2008, 8:24 AM
  URL | BibTeX 
• Testresultatsvergleich mit UML-Analysemodellen und OCL-Ausdrücken
  Rainer Schmidberger and Sascha Biermann Informatik 2007 - Band 2, GI-Edition, sep2007. MR: Zeigt beispielhaft die Anwendung von OCL für den Systemtest. Auch der Realisierungsweg wird gezeigt. ISBN 978-3-88579-204-8 .
  to GUI systemtest OCL Dresden-OCL-Toolkit class contracts diagram UML by ist_spl on Jun 27, 2008, 9:30 AM
  URL | BibTeX