Analise e integrac~ao de metodos baseados em modelos para gerac~ao automatica de casos de teste

Trabalho de Conclus˜o de Curso a Gilson Doi Junior

An´lise e integra¸˜o de m´todos baseados em a ca e modelos para gera¸˜o autom´tica de casos de ca a teste Londrina
2010

Em todas as coisas o sucesso depende de uma prepara¸˜o pr´via, e sem tal prepara¸˜o o ca e ca falhan¸o ´ certo. c e
Conf´cio
u
Para conhecermos os amigos ´ necess´rio passar pelo sucesso e pela desgra¸a. No sucesso, e a c verificamos a quantidade e, na desgra¸a, a qualidade. c Conf´cio u J´ acabou? a Andr´ Nobuo Zamazaki e Agradecimentos
Agrade¸o primeiramente ao Prof. Doutor Adilson por ter aceito ser meu orientador duc rante meu trabalho de conclus˜o, acreditando na minha capacidade. Sua firmeza, coerˆncia e a e compreens˜o foram de extrema importˆncia para o sucesso desse trabalho e servem como um a a exemplo de vida.
Agrade¸o tamb´m a minha fam´ por ter me guiado pelos caminhos que me tornaram o c e ılia que sou o hoje e aos meus colegas de curso que me acompanharam durante essa caminhada,
´
em especial aos meus amigos: Alvaro, F´bio, Humberto, Ricardo e S´rgio que me apoiaram a e
Tamb´m agrade¸o ao Prof. Ms. F´bio Sakuray, meu orientador de est´gio, que proporcie c a a onou a flexibilidade de hor´rios para que pudesse alternar entre os trabalhos de est´gio e TCC, a a al´m de ter disponibilizado o espa¸o f´ e c ısico do laborat´rio Orion, onde conduzi boa parte das o pesquisas do presente trabalho.
`
A todos os professores e funcion´rios do departamento que participaram de minha trajet´ria a o acadˆmica, que compartilharam seus conhecimentos e experiˆncia t´cnica e de vida. e e e Resumo
A demanda por atividades de testes para identificar poss´ ıveis falhas no desenvolvimento de sistemas cr´ ıticos cresce cada vez mais, gerando uma grande diversifica¸˜o de abordagens e ca paradigmas com essa finalidade. Uma dessas abordagens s˜o os testes baseados em modelos, a que por sua vez possui uma variedade grande de