Palestras e Seminários

04/10/2017

18:00

auditório Luiz Antonio Favaro

Palestrante: Simone Senger de Souza (ICMC - USP)

Salvar atividade no Google Calendar Seminários do Bacharelado em Sistemas de Informação

Programas concorrentes estão se tornando cada vez mais populares haja visto as tecnologias atuais, com processadores compostos por múltiplos núcleos e o uso crescente de clusters de computadores. Busca-se sempre aliar maior desempenho, acesso distribuído e qualidade. Nesse contexto, o teste de software concorrente torna-se mais complexo, pois além das dificuldades já inerentes à atividade de teste, novos desafios são impostos. Múltiplas execuções de um software concorrente com a mesma entrada podem executar diferentes sequências de sincronização e podem produzir diferentes resultados. Cabe à atividade de teste, nesse cenário, identificar se as sequências de sincronização possíveis foram executadas e se as saídas obtidas estão corretas. Nesta palestra serão apresentados os principais desafios para estabelecimento de mecanismos de apoio ao teste de software concorrente, as contribuições já existentes, as oportunidades de pesquisa e inovação nesta área.

CONECTE-SE COM A GENTE
 

© 2025 Instituto de Ciências Matemáticas e de Computação