Prof. Adenilso da Silva Simão,

Universidade de São Paulo

Abstract:

Máquinas de Estados Finitos (MEFs) são modelos formais que têm sido utilizados para a descrição de uma ampla variedade de sistemas, desde protocolos até componentes de hardware, passando por classes de software e modelos de interação.

No contexto do teste de software e hardware, MEFs têm sido muito utilizadas para geração de casos de teste devido ao fato de permitir a quantificação precisa das falhas que serão descobertas.

Neste seminário serão apresentados os principais conceitos da área de teste baseado em MEFs, começando com a fundamentação teórica, e ilustrando os resultados clássicos. Em seguida, será mostrado o estado atual da área, com os resultados recentes.

Serão também apresentados os pontos em aberto. Por fim, serão discutidos os pontos de
intersecção entre a área de teste baseado em MEFs e o projeto CNPq/Grices.

[BIO: Adenilso da Silva Simão é Prof. Doutor na Universidade de São Paulo (USP),
Brasil. É um membro do Departamento de Sistemas de Computação do ICMC (Instituto de Ciências Matemáticas e da Computação) da USP em
São Carlos desde 2004. Os seus maiores interesses são na área de teste de software e modelos formais.]

 

Date: 2008-Feb-21     Time: 14:30:00     Room: IST, Taguspark, Anfiteatro A3


For more information: