BibSonomy :: user  :: ist_spl ::

ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from u...ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from use cases. Although ValueGen needs the artefacts generated by ObjectGen, both tools are independent.

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.

UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. prec...UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.

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)

Sacha Reis and Andreas Metzger and Klaus Pohl FASE, page321-335. (2007)

Wang Linzhang and Yuan Jiesong and Yu Xiaofeng and Hu Jun and Li Xuandong and Zheng Guoliang APSEC '04: Proceedings of the 11th Asia-Pacific Software Engineering Conference, page284--291. Washington, DC, USA, IEEE Computer Society, (2004)

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

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 .

Mingsong Chen and Xiaokang Qiu and Wei Xu and Linzhang Wang and Jianhua Zhao and Xuandong Li The Computer Journal(2007) MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für...MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern. Die Generierung von Testdaten ist kaum automatisiert. Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme. .

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)

Chen Mingsong and Qiu Xiaokang and Li Xuandong AST '06: Proceedings of the 2006 international workshop on Automation of software test, page2--8. New York, NY, USA, ACM, (2006)

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 .

Ajitha Rajan and Michael W. Whalen and Mats P.E. Heimdahl ICSE '08: Proceedings of the 30th international conference on Software engineering, page161--170. New York, NY, USA, ACM, (2008) MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '. .

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

B. Korel and A.M. Al-Yami icse(1996) ST: Testdaten werden mit Hilfe der Assertions automatisch abgeleitet. Das Ziel ist es Testdaten abzuleiten die die Assertion verletzen. Mit dieser Vorgehen...ST: Testdaten werden mit Hilfe der Assertions automatisch abgeleitet. Das Ziel ist es Testdaten abzuleiten die die Assertion verletzen. Mit dieser Vorgehensweise werden mehr Fehler gefunden als mit herkömmlichen Methoden. .