---

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.

---

Possui gradua‡Æo em Telemática (2013), especializa‡Æo em Engenharia de Software (2015). Atualmente é Mestranda em Ciências da Computa‡Æo na Universidade Estadual do Ceará - UECE. Tem experiência na área de Ciência da Computa‡Æo com ênfase em Sistemas de Informa‡Æo. Seu foco é em teste baseado em modelos (MBT) sub-área em que fez sua especializa‡Æo.

---