BibSonomy :: user  :: ist_spl ::

This article discusses various uses of OCL (Object Constraint Language) for both developers and testers. IT also enumerates the many advantages of the lang...This article discusses various uses of OCL (Object Constraint Language) for both developers and testers. IT also enumerates the many advantages of the language, which is part of the UML specification.

Matthias Riebisch and Ilka Philippow and Marco Götze NetObjectDays, page394-411. (2002)

Peter Fröhlich and Johannes Link ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming, page472--492. London, UK, Springer-Verlag, (2000)

Javier Jes'us Guti'errez and Mar'ia Jos'e Escalona and Manuel Mej'ias and Arturo H. Zenteno Proceedings of the 5th Workshop on Systems Testing and Validation (Stv 2007), (2007)

Jeff Offutt and Aynur Abdurazik UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, 1723, page416--429. Springer, (1999) MR: Die 'Transition Table' aus UML-Statechart-Werkzeugen wird eingelesen und entsprechend definierten Coverage-Criteria werden daraus Testfälle generi...MR: Die 'Transition Table' aus UML-Statechart-Werkzeugen wird eingelesen und entsprechend definierten Coverage-Criteria werden daraus Testfälle generiert. Ein weiterer Algo. kümmert sich um die Test Data indem die Werte generiert werden, die zum erreichen von bestimmten Zuständen notwendig sind. Es gibt keine konkrete Aussage über erwartete Testergebnisse. Den Algorithmen kann man aber vorsichtig ableiten, dass mit Test Data auch die erwarteten Ergebnisse gemeint sind. .

Robert V. Binder Softw. Test., Verif. Reliab.6(3/4):125-252(1996) MR: sehr umfassender Überblick über Software-Testing bis zum Jahr 1994 .

Lionel C. Briand and Yvan Labiche Software and System Modeling1(1):10--42(2002) ST: Ausgangspunkt sind Use Cases. Diese werden in einer bestimmten Reihenfolge verknuepft um Testsequenzen zu erstellen. Die Testsequenzen werden parametri...ST: Ausgangspunkt sind Use Cases. Diese werden in einer bestimmten Reihenfolge verknuepft um Testsequenzen zu erstellen. Die Testsequenzen werden parametrisiert und mit vom Tester festgelegten Daten instanziiert. Testorakel werden aus den Nachbedingungen (in OCL) von Methoden erstellt, entweder als Sequenz verknuepft und nach dem Testfall überprüft, oder im Testtreiber codiert. Fazit: Die Erstellung von Testorakeln ist interesseant, jedoch wird nicht weiter erlaeutert wo die Testdaten herkommen (Jedenfalls wird keine Automatisierung vorgeschlagen) MR: Es werden neben Use-Cases auch Aktivitätsdiagramme, Sequenzdiagramme und Klassendiagramme vorausgesetzt. Der Einsatz eignet sich als Erweiterung für ScenTED, wobei die Klassendiagramme für Probleme sorgen könnten. Die Testeingabedaten könnten über Meta-Heuristiken (im Kapitel 6 vorgeschlagen) oder Combinatorial-Testing gewonnen werden. Referenziert aus [Bertolino2003]: specification-based testing approach trying to overcome UML limitations requiring OCL additional annotations .

Simon Pickin and Claude Jard and Yves Le Traon and Thierry J'eron and Jean-Marc J'ez'equel and Alain Le Guennec FORTE, page97-113. (2002) MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf d...MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld [Nebut2002][Nebut2003][Nebut2006]. .

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) MR: enthält Vergleich von Aktivitätsdiagrammen und Contracts .

Antonia Bertolino and Stefania Gnesi ESEC / SIGSOFT FSE, page355--358. (2003) ST: Testfaelle und Testdaten werden auf Basis von Use Cases abgeleitet, indem in den Use Cases beinhaltete Szenarien abgedeckt werden. Fazit: Keine Automat...ST: Testfaelle und Testdaten werden auf Basis von Use Cases abgeleitet, indem in den Use Cases beinhaltete Szenarien abgedeckt werden. Fazit: Keine Automatisierung von Testdatenableitung, keine Trennung von Domain- und Application Engineering zur Wiederverwendung von Testdaten. .

Francesca Basanieri and Antonia Bertolino and Eda Marchetti «UML» 2002 — The Unified Modeling Language, page275--303. (2002) MR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp für den Systemtest und Integrationstest und besteht aus zwei Teilen: - UIT (Use Interactio...MR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp für den Systemtest und Integrationstest und besteht aus zwei Teilen: - UIT (Use Interaction Test) als Testableitungsmethode - Cowtest (Cost Weighted Test Strategy) für Testpriorisierung und -selektion. Mit Cowtest wird entschieden welche Testfälle ausgeführt werden sollen, durch setzen von Gewichten in die von der Spez. abgeleitete Graphstrukturen (Testauswahlkriterium) und unterstützt auch die Planung des Testprozesses. UIT nutzt diese Information bei der Testfallableitung basierend auf der Category-Partition-Methode, also teils manuell (Interaction mit dem User). Das Besondere ist, dass die forliegende Anforderungs- und Designspezifikation in Form von UML-Use-Case-Diagrammen und -Sequenzdiagrammen ohne weiteren Ausbau (also so wie sie ist) als Input für die Technik dienen kann. Ein für IST-SPL wichtiger Ansatz: es wäre möglich ähnliche Strategie (CP) bereits für die Aktivitätsdiagramme anzuwenden, wobei deren Produktlinieneigenschaften berücksichtigt werden müssten. .

Jean Hartmann and Marlon Vieira and Herbert Foster and Axel Ruder ISSE1(1):12-24(2005)

Antonia Bertolino and Stefania Gnesi PFE, page181-197. (2003) MR: Beschäftigt sich mit dem Systemtest. Variabilität der PL auch in Testartefakten berücksichtigt, aber keine systematische Wiederverwendun...MR: Beschäftigt sich mit dem Systemtest. Variabilität der PL auch in Testartefakten berücksichtigt, aber keine systematische Wiederverwendung von Testeingaben und erwarteten Ergebnissen. Testableitung teilweise manuell. Nicht modellbasiert. .

James H. Andrews and Rui Fu and Vicky D. Liu ASE '02: Proceedings of the 17th IEEE international conference on Automated software engineering, page275. Washington, DC, USA, IEEE Computer Society, (2002) ST: Nachtrag zum Paper "Testing using Log File Analysis: Tools, Methods, and Issues". Die dort vorgestellte Technik wird dahingehend erweitert, d...ST: Nachtrag zum Paper "Testing using Log File Analysis: Tools, Methods, and Issues". Die dort vorgestellte Technik wird dahingehend erweitert, dass der Grad der Abdeckung der Transitionen des Orakels durch die Testfaelle gemessen werden kann. Außerdem können Testfaelle auf Basis des Orakels abgeleitet werden (Ist dass sinnvoll?) und das Testorakel kann automatisch validiert werden. .

J. Andrews ASE '98: Proceedings of the 13th IEEE international conference on Automated software engineering, page157. Washington, DC, USA, IEEE Computer Society, (1998) ST: Interessantes Paper. Basis sind eine Menge von Zustandsautomaten, die als Testorakel dienen, und Logfiles, die während der Ausführung der Tes...ST: Interessantes Paper. Basis sind eine Menge von Zustandsautomaten, die als Testorakel dienen, und Logfiles, die während der Ausführung der Testfaelle Eingaben, Ausgaben, aufgerufene Methoden etc speichern. Nach der Ausführung der Tests werden die Logfiles gegen die Automaten geprueft, d.h. ob es für eine mitgeloggte Methodensequenz einen gültigen Lauf in einem Automaten gibt. Falls nicht, widerspricht das Verhalten des System der Spezifikation. Die Technik ist automatisiert, die Technik wurde beispielhaft im Unittest und im Systemtest vorgestellt. .