TCG: Uma Ferramenta de Teste Baseado em Modelo

O teste baseado em modelo consiste em uma técnica para geração automática de um conjunto de casos de testes utilizando modelos extraídos a partir de artefatos de software, é uma abordagem que visa melhorar a qualidade do software, assim como reduzir os custos inerentes de um processo de teste. Este livro se destina aos profissionais, pesquisadores e estudantes da área de engenharia de software e tem como objetivo apresentar o TCG, uma ferramenta para geração e seleção de casos de testes funcionais e estatísticos que aceita como entrada modelos probabilísticos e não probabilísticos. As técnicas de seleção fornecidas são propósitos de teste, caminho randômico e caminho mais provável. Além disso, este livro também apresenta a técnica de seleção chamada de probabilidade mínima de caminho, na qual a ferramenta seleciona os casos de teste que possuam probabilidade de ocorrência maior ou igual a um valor informado pelo usuário.