Geração de Testes Baseados em Máquinas de Estados Finitos
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:
Upcoming Events
INESC-ID ESR Talks – February 2023

If you are a masters/PhD student or a postdoctoral fellow, come and present your work in an informal and friendly environment – and savour some tasty snacks!
Individual talks will be 10-15 minutes plus time for feedback. Enroll on your selected date by emailing pedro.ferreira[at]inesc-id.pt.
Happening on the second Wednesday of every month (4pm-5pm):
- 15 February (Alves Redol, Room 9)
- 15 March (Alves Redol, Room 9)
- 12 April (Alves Redol, Room 9)
- 10 May (Alves Redol, Room 9)
- 14 June (Alves Redol, Room 9)
- 12 July (Alves Redol, Room 9)
We hope to see you there!