The test case generation from design specifications is an important work in testing phase. In this paper, we use UML activity diagrams as design specifications, and present an automatic test case generation approach. The approach first randomly generates abundant test cases for a JAVA program under testing. Then, by running the program with the generated test cases, we can get the corresponding program execution traces. Last, by comparing these traces with the given activity diagram according to the specific coverage criteria, we can get a reduced test case set which meets the test adequacy criteria. The approach can also be used to check the consistency between the program execution traces and the behavior of UML activity diagrams.
Description
Automatic test case generation for UML activity diagrams
ST: Vorgehensweise: Erst wird eine große Menge von zufälligen Testfällen generiert. Das Programm wird mit diesen Testfällen ausgeführt und man erhält die entsprechenden Ausführungspfade. Diese werden mit den Aktivitätsdiagrammen verglichen auf Basis des Abdeckungskriteriums. Man wählt die übereinstimmenden Ausführungspfade aus und erhält so eine reduzierte Menge von Testfällen die das Abdeckungskriterium erfüllt. So kann auch die Konsistenz des Programms mit dem Aktivitätsdiagramm geprüft werden.Eignung: Man findet keine Hinweise darauf, woher die Testdaten für die zufällig erzeugten Testfälle kommen. Für diesen Schritt wird auf ein Paper verwiesen, welches zufällige Testfälle für den Unittest erzeugt, siehe „A Tool for Random Generation of Unit Tests for Java Classes.�?
%0 Conference Paper
%1 Mingsong2006
%A Mingsong, Chen
%A Xiaokang, Qiu
%A Xuandong, Li
%B AST '06: Proceedings of the 2006 international workshop on Automation of software test
%C New York, NY, USA
%D 2006
%I ACM
%K UMLactivitydiagram activity diagrams instrumentation nlp randomtestcase statecharts test testadequacy uml
%P 2--8
%R http://doi.acm.org/10.1145/1138929.1138931
%T Automatic test case generation for UML activity diagrams
%U http://portal.acm.org/citation.cfm?id=1138929.1138931#
%X The test case generation from design specifications is an important work in testing phase. In this paper, we use UML activity diagrams as design specifications, and present an automatic test case generation approach. The approach first randomly generates abundant test cases for a JAVA program under testing. Then, by running the program with the generated test cases, we can get the corresponding program execution traces. Last, by comparing these traces with the given activity diagram according to the specific coverage criteria, we can get a reduced test case set which meets the test adequacy criteria. The approach can also be used to check the consistency between the program execution traces and the behavior of UML activity diagrams.
%@ 1-59593-408-1
@inproceedings{Mingsong2006,
abstract = {The test case generation from design specifications is an important work in testing phase. In this paper, we use UML activity diagrams as design specifications, and present an automatic test case generation approach. The approach first randomly generates abundant test cases for a JAVA program under testing. Then, by running the program with the generated test cases, we can get the corresponding program execution traces. Last, by comparing these traces with the given activity diagram according to the specific coverage criteria, we can get a reduced test case set which meets the test adequacy criteria. The approach can also be used to check the consistency between the program execution traces and the behavior of UML activity diagrams.},
added-at = {2010-08-23T09:19:38.000+0200},
address = {New York, NY, USA},
author = {Mingsong, Chen and Xiaokang, Qiu and Xuandong, Li},
biburl = {https://www.bibsonomy.org/bibtex/28748cc519e655c1ba4f6e8decb1577c4/lama},
booktitle = {AST '06: Proceedings of the 2006 international workshop on Automation of software test},
description = {Automatic test case generation for UML activity diagrams},
doi = {http://doi.acm.org/10.1145/1138929.1138931},
file = {:Mingsong_Xiaokan_Xuandong_-_Automatic_test_case_generation_for_UML_activity_diagrams.pdf:PDF},
interhash = {73bc6c1c62704f3e1bcb2eb41e3f026e},
intrahash = {8748cc519e655c1ba4f6e8decb1577c4},
isbn = {1-59593-408-1},
keywords = {UMLactivitydiagram activity diagrams instrumentation nlp randomtestcase statecharts test testadequacy uml},
location = {Shanghai, China},
pages = {2--8},
publisher = {ACM},
review = {ST: Vorgehensweise: Erst wird eine große Menge von zufälligen Testfällen generiert. Das Programm wird mit diesen Testfällen ausgeführt und man erhält die entsprechenden Ausführungspfade. Diese werden mit den Aktivitätsdiagrammen verglichen auf Basis des Abdeckungskriteriums. Man wählt die übereinstimmenden Ausführungspfade aus und erhält so eine reduzierte Menge von Testfällen die das Abdeckungskriterium erfüllt. So kann auch die Konsistenz des Programms mit dem Aktivitätsdiagramm geprüft werden.Eignung: Man findet keine Hinweise darauf, woher die Testdaten für die zufällig erzeugten Testfälle kommen. Für diesen Schritt wird auf ein Paper verwiesen, welches zufällige Testfälle für den Unittest erzeugt, siehe „A Tool for Random Generation of Unit Tests for Java Classes.�?},
timestamp = {2010-08-23T09:19:39.000+0200},
title = {Automatic test case generation for UML activity diagrams},
url = {http://portal.acm.org/citation.cfm?id=1138929.1138931#},
year = 2006
}