BibSonomy :: user  :: ist_spl ::

Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researcher...Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation - description of a test, independent of the way a given software system is designed. This paper presents a survey on automatic test case generation techniques that are found in the current literature. Problems in usage of certain techniques are identified. Areas that needed future research are presented.

Seminar "Spezifikationsbasierter Softwaretest" Prof. Dr. H. Schlingloff, Lehre In der Veranstaltung wird die Frage behandelt, wie Testfälle aus Spezifika...Seminar "Spezifikationsbasierter Softwaretest" Prof. Dr. H. Schlingloff, Lehre In der Veranstaltung wird die Frage behandelt, wie Testfälle aus Spezifikationen abgeleitet werden können. Ein besonderer Schwerpunkt ist dabei der modellbasierte Test eingebetteter Systeme, z.B. im Automotive Software Engineering.

T. Y. Chen and Sau-Fun Tang and Pak-Lok Poon and T. H. Tse QSIC '05: Proceedings of the Fifth International Conference on Quality Software, page55--63. Washington, DC, USA, IEEE Computer Society, (2005)

Satish Mishra CS&P 2006 - Concurrency, Specification and Programming, (2006) MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testfälle, Testeingaben und erwartete Ergeb...MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testfälle, Testeingaben und erwartete Ergebnisse automatisch generiert werden können. Die Wiederverwendung der Tests beschränkt sich im Paper auf SPLs von speziellen Art, bei denen die Varianten nur erweitert werden können und somit andere Varianten und den gemeinsamen Teil vollständig involvieren. .

Engin Uzuncaova and Daniel Garcia and Sarfraz Khurshid and Don S. Batory ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, page525--528. New York, NY, USA, ACM, (2007) ST: Die Spezifikation der Produktlinie liegt in einer formalen Beschreibung vor (LTL) Es wird ein Modelchecking-Verfahren durchgefuehrt um zu beweisen, das...ST: Die Spezifikation der Produktlinie liegt in einer formalen Beschreibung vor (LTL) Es wird ein Modelchecking-Verfahren durchgefuehrt um zu beweisen, dass die Spezifikation gilt. Fazit: Keine explizite Ableitung von Testdaten, die Spezifikation muss formal vorliegen. MR: Anhand von formalen Alloy-Spezifikationen von Invarianten und Constraints kann der Alloy Analyzer (SAT solver) automatisch alle passenden Testdaten generieren. Nachteile: Die erwarteten Ergebnisse werden nicht betrachtet (oder?). Die Spezifikation wird als Annotationen in den Code eingebracht (hier als moderner Ansatz angesehen ähnlich JML). An der Wiederverwendung wird erst gearbeitet. .

Amit M. Paradkar and Kuo-Chung Tai and Mladen A. Vouk Annals of Software Engineering(1997)

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. .

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 .

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. .

Antonia Bertolino Abstract State Machines, page1-21. (2003) MR: Gute Zusammenfassung der Grundlagen über Testen, aber gleichzeitig auch Überblick zum State-Of-The-Art. Für IST-SPL: Wertvoller Übe...MR: Gute Zusammenfassung der Grundlagen über Testen, aber gleichzeitig auch Überblick zum State-Of-The-Art. Für IST-SPL: Wertvoller Überblick über spezifikationsbasierte Testmethoden und kurz zum Testorakel-Problem. .

Robert M. Hierons and John Derrick Software Testing, Verification and Reliability10(4):201-202(2000) MR: Gewissermaßen state-of-the-art (für Jahr 2000) von spezifikationsbasierten Testmethoden. Überblick über drei Methoden wird gegeben:...MR: Gewissermaßen state-of-the-art (für Jahr 2000) von spezifikationsbasierten Testmethoden. Überblick über drei Methoden wird gegeben: statechart + symbolic execution, state-based specification + propositional logic + constraint solver, components specification + flowgraph + mutation analysis .

Li Tan and Oleg Sokolsky and Insup Lee IRI, page493--498. IEEE Systems, Man, and Cybernetics Society, (2004) ST: Anforderungen werden in LTL spezifiziert.Es wird eine Metrik definiert, die eine Aussage ueber die Abdeckung der spezifizierten Eingenschaften durch ei...ST: Anforderungen werden in LTL spezifiziert.Es wird eine Metrik definiert, die eine Aussage ueber die Abdeckung der spezifizierten Eingenschaften durch eine Testsuite macht. Durch ein Abdeckungskriterium wird eine Testsuite mit endlichen Testfaellen definiert, die die spezifizierten Eigenschaften testet. .