MC 10 - Teste Baseado em Modelos Adenilso Sim�o (ICMC-USP) Andr� Endo (ICMC-USP) Sexta-Feira, 01 Outubro 2010 (14:00-17:30)

Resumo:

O teste de software requer o uso de modelos para guiar as atividades de sele��o e avalia��o de testes. Em geral, tais modelos s�o impl�citos; o testador aplica entradas de teste de maneira ad hoc usando um modelo mental que encapsula o comportamento da aplica��o. Quando esses modelos mentais s�o escritos explicitamente e usando uma nota��o comum, eles se tornam artefatos de teste compartilh�veis e reus�veis. Nesse caso, testadores est�o realizando o que � conhecido como teste baseado em modelos. Os modelos desenvolvidos permitem aos testadores entenderem melhor a aplica��o e testarem mais efetivamente os comportamentos poss�veis. O teste baseado em modelos tem recebido muita aten��o recentemente com a populariza��o de modelos (incluindo modelos UML) no desenvolvimento de software. Neste mini-curso, ser�o apresentados os principais conceitos e t�cnicas do teste baseado em modelos. Ser�o discutidas as vantagens, dificuldades e limita��es das v�rias abordagens existentes. O teste baseado em modelos formais, tais como Input/Output Transition Sytems e M�quinas de Estados Finitos, ser� utilizado como exemplo concreto das t�cnicas discutidas.

Instrutores:

• Adenilso Sim�o recebeu o grau de bacharel em Ci�ncia da Computa��o pela Universidade Estadual de Maring� (UEM), em 1998, e graus de mestre e doutor em Ci�ncia da Computa��o pela Universidade de S�o Paulo (USP), em 2000 e 2004, respectivamente. Desde 2004, Adenilso � professor de Ci�ncia da Computa��o no Departamento de Sistemas de Computa��o da USP. De Agosto de 2008 a Julho de 2010, ele este no Centre de Recherche Informatique de Montreal (CRIM), Canada. Seus interesses de pesquisa inclui teste de software e m�todos formais. Ele � membro da Sociedade Brasileira de Computa��o (SBC).

• Andr� Endo � graduado em An�lise de Sistemas pela Universidade Federal de Mato Grosso do Sul (UFMS, 2005) e mestre em Ci�ncia da Computa��o e Matem�tica Computacional pela Universidade de S�o Paulo (USP, 2008). Atualmente, ele � estudante de doutorado do Instituto de Ci�ncias Matem�ticas e de Computa��o da Universidade de S�o Paulo (ICMC, USP). Seus interesses de pesquisa inclui principalmente engenharia de software e teste, com �nfase em teste baseado em modelos, arquiteturas orientadas a servi�os (e web services), e teste estrutural.