Palestra - Quarta-feira, 30/05/2012

 

S É R I E   D E   S E M I N Á R I O S   DO  GRUPO  CROSS

 

Quarta-feira, 30/05/2012, às 17:00 horas
Sala MDC1

Uma Ferramenta de Apoio a Atividades de Teste Baseado em Modelos

Gilson Doi Junior (mestrando)
Departamento de Computação
Universidade Estadual de Londrina - PR

RESUMO
A ocorrência de uma falha em sistemas críticos embarcados pode resultar em 
perdas humanas e prejuízos materiais. 
Uma forma de garantir níveis de confiança aceitáveis é através da execução 
de rotinas rígidas de testes, como teste baseado em modelos. 
Resultados teóricos tem sido validados em alguns estudos, mas poucas 
ferramentas tem sido implementadas para suportar aplicações práticas. 
Assim uma ferramenta para suportar experimentos práticos foi desenvolvida 
de forma a permitir um estudo comparativo entre os métodos de geração de 
casos de teste baseado em modelos, apontando os cenários mais adequados 
para cada um.