@inproceedings{1deca006aa6b4c1785de348b50dc1d99,
title = "Automatic test case generation for UML activity diagrams",
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 approachcan also be used to check the consistency between the program execution traces and the behavior of UML activity diagrams.",
keywords = "UML activity diagram, instrumentation, random test case, test adequacy",
author = "Chen Mingsong and Qiu Xiaokang and Li Xuandong",
year = "2006",
doi = "10.1145/1138929.1138931",
language = "英语",
isbn = "1595934081",
series = "Proceedings - International Conference on Software Engineering",
pages = "2--8",
booktitle = "Proceedings of the 2006 International Workshop on Automation of Software Test, AST '06, Co-located with the 28th International Conference on Software Engineering, ICSE 2006",
note = "1st International Workshop on Automation of Software Test, AST'06, Co-located with the 28th International Conference on Software Engineering, ICSE 2009 ; Conference date: 20-05-2006 Through 28-05-2006",
}