Test coverage analysis of UML state machines

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2010

Autores

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

Ata de Conferência Internacional

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

Páginas: 284-289

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

Paris, 6 April 2010 through 10 April 2010

Indexação

ISI Web of Knowledge

Scopus - 12 Citações

INSPEC

Classificação Científica

CORDIS: Ciências Tecnológicas > Engenharia > Engenharia de computadores

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 6