Test coverage analysis of UML state machines

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 a...

Full description

Bibliographic Details
Main Author: Ricardo D. F. Ferreira (author)
Other Authors: Ana C. R. Paiva (author), João P. Faria (author)
Format: book
Language:eng
Published: 2010
Subjects:
Online Access:https://repositorio-aberto.up.pt/handle/10216/101653
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/101653