Test coverage analysis of UML state machines

• Type: Article in International Conference Proceedings Book
• Date: 2010

Authors

Ricardo D. F. Ferreira (Author) Other; Ana C. R. Paiva (Author) FEUP; João P. Faria (Author) FEUP

Conference proceedings International

Title: ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Pages: 284-289

3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010

Paris, 6 April 2010 through 10 April 2010

Indexing

ISI Web of Knowledge

Scopus - 12 Citations

INSPEC

Scientific classification

CORDIS: Technological sciences > Engineering > Computer engineering

Other information

Authenticus ID: P-007-TKB

DOI: 10.1109/icstw.2010.60

Abstract (EN): Software testing is a very important activity of the software development process. To expedite the testing process and improve the quality of the tests, models are increasingly used as a basis to derive test cases automatically - a technique known as model-based testing (MBT). Given a system model and a test suite derived automatically from the model or created by other process, the coverage of the model achieved by the test suite is important to assess the quality and completeness of the test suite early in the software development process. This paper presents a novel tool that shows visually the coverage achieved by a test suite on a UML state machine model. The tool receives as input a UML state machine model represented in XMI and a test suite represented in a XML format, and produces a colored UML state machine model that shows the coverage result. Model test coverage is determined by simulating the execution of the test suite over the model. An example is presented in order to show the features of the tool. © 2010 IEEE.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 6