%0 Journal Article %1 MingsongChen08252007 %A Chen, Mingsong %A Qiu, Xiaokang %A Xu, Wei %A Wang, Linzhang %A Zhao, Jianhua %A Li, Xuandong %D 2007 %J The Computer Journal %K Java UML activity automated case diagram generation software test testing %R 10.1093/comjnl/bxm057 %T UML Activity Diagram-Based Automatic Test Case Generation For Java Programs %U http://comjnl.oxfordjournals.org/cgi/content/abstract/bxm057v1 %X Test case generation based on design specifications is an important part of testing processes. In this paper, Unified Modeling Language activity diagrams are used as design specifications. By setting up several test adequacy criteria with respect to activity diagrams, an automatic approach is presented to generate test cases for Java programs. Instead of directly deriving test cases from activity diagrams, this approach selects test cases from a set of randomly generated ones according to a given test adequacy criterion. In the approach, we first instrument a Java program under testing according to its activity diagram model, and randomly generate abundant test cases for the program. Then, by running the instrumented program we obtain the corresponding program execution traces. Finally, by matching these traces with the behavior of the activity diagram, a reduced set of test cases are selected according to the given test adequacy criterion. This approach can also be used to check the consistency between the program execution traces and the behavior of activity diagrams.

@article{MingsongChen08252007, abstract = {Test case generation based on design specifications is an important part of testing processes. In this paper, Unified Modeling Language activity diagrams are used as design specifications. By setting up several test adequacy criteria with respect to activity diagrams, an automatic approach is presented to generate test cases for Java programs. Instead of directly deriving test cases from activity diagrams, this approach selects test cases from a set of randomly generated ones according to a given test adequacy criterion. In the approach, we first instrument a Java program under testing according to its activity diagram model, and randomly generate abundant test cases for the program. Then, by running the instrumented program we obtain the corresponding program execution traces. Finally, by matching these traces with the behavior of the activity diagram, a reduced set of test cases are selected according to the given test adequacy criterion. This approach can also be used to check the consistency between the program execution traces and the behavior of activity diagrams. }, added-at = {2008-06-11T10:21:56.000+0200}, author = {Chen, Mingsong and Qiu, Xiaokang and Xu, Wei and Wang, Linzhang and Zhao, Jianhua and Li, Xuandong}, biburl = {https://www.bibsonomy.org/bibtex/2397dec649c5fb3adcbffe4d9316a05a7/ist_spl}, description = {UML Activity Diagram-Based Automatic Test Case Generation For Java Programs -- Chen et al., 10.1093/comjnl/bxm057 -- The Computer Journal}, doi = {10.1093/comjnl/bxm057}, eprint = {http://comjnl.oxfordjournals.org/cgi/reprint/bxm057v1.pdf}, interhash = {b5d3c4ffff702fa33ee4a912561e345a}, intrahash = {397dec649c5fb3adcbffe4d9316a05a7}, journal = {The Computer Journal}, keywords = {Java UML activity automated case diagram generation software test testing}, note = {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. }, timestamp = {2008-06-11T10:21:58.000+0200}, title = {UML Activity Diagram-Based Automatic Test Case Generation For Java Programs}, url = {http://comjnl.oxfordjournals.org/cgi/content/abstract/bxm057v1}, year = 2007 }