extensão - palestras - State of the art and the practice of computational systems validation and verification

06 - State of the art and the practice of computational systems validation and verification

Motivação para a necessidade crescente de garantir a confiabilidade de sistemas computacionais através de técnicas de verificação e validação (v&v), que variam desde testes informais e manuais até técnicas mais elaboradas como análise estática e verificação de modelos e de código: "(software) model checking". Cenários e estratégias de aplicação de v&v, partindo de um contexto ideal, onde o código é gerado a partir de modelos, preservando o comportamento por construção, e progressivamente considerando cenários mais realistas, onde código proprietário é gerado de forma ah hoc, sem uma garantia de aderência ao modelo, ou mesmo quando o único artefato disponível é o código legado. Soluções de v&v para cada cenário com base na integração de testes com técnicas mais elaboradas de análise. O escopo inclui tanto v&v de componentes isolados, como da integração e coordenação de componentes.

Augusto Sampaio é PhD pela Universidade de Oxford. Atualmente é professor titular de engenharia de software no CIn-UFPE, coordenador de pesquisa do CIn, coordenador do projeto de cooperação CIn-Motorola, bolsista de produtividade em pesquisa do CNPq e sócio da Qualiti Software Processes.

Alexandre Mota é Doutor pela UFPE. Atualmente é professor adjunto II em engenharia de software no CIn-UFPE, coordenador da graduação em Ciência da Computação do CIn, coordenador do projeto de pesquisa CIn-Embraer e pesquisador colaborador do projeto de pesquisa CIn-Motorola.