Sciweavers

Share
GLVLSI
2008
IEEE

Coverage-driven automatic test generation for uml activity diagrams

10 years 9 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded system design as a system level specification. One of the major bottlenecks in the validation of UML activity diagrams is the lack of automated techniques for directed test generation. This paper proposes an automated test generation approach for the UML activity diagrams. The contribution of this paper is the use of specification coverage to generate properties as well as design models to enable directed test generation using model checking. Our experimental results demonstrate that our approach can drastically reduce the validation effort in both specification and implementation levels. Categories and Subject Descriptors: I.6.4 Simulation and ModelingModel Validation and Analysis General Terms: Verification
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where GLVLSI
Authors Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
Comments (0)
books