Palestrante Internacional: Prof. Yvan Labiche (Universidade de Carleton)
Título: Quanto nós conhecemos sobre as técnicas de teste que usamos?
Resumo: Várias técnicas para projetar testes existem e podem ser implantadas para diferentes problemas de verificação. Se alguém desejar implantar uma técnica caixa-branca, uma técnica caixa-preta, uma técnica baseada em grafo, ou uma técnica baseada em texto, existe uma grande abundância de opções que podem ser selecionadas. A pergunta legítima que o engenheiro de teste se faz então seria: no meu contexto, por exemplo, caracterizado por um certo nível de criticidade, segurança, um cronograma curto para entregas, um orçamento restrito (tempo, recurso humano), qual técnica devemos usar? Infelizmente, ainda existe, após décadas de pesquisas, poucos dados sólidos e consolidados que o engenheiro pode confiar para tomar uma decisão esclarecida. Esta palestra, por meio de alguns exemplos, mostrará o pouco que sabemos sobre algumas técnicas de projeto de teste de software existentes. Ao fazê-lo, a palestra exigirá mais pesquisas empíricas em testes de software.
Biografia Resumida: Yvan Labiche nasceu na França. Em 1995, ele gradou-se em Engenharia de Sistemas Computacionais pela escola de engenharia CUST (Centre Universitaire des Science et Techniques, Clermont-Ferrand), França. Ele concluiu seu mestrado em Ciência da Computação e Sistemas de Produção em 1995 (Université Blaise Pascal, Clermont Ferrand, França). Enquanto realizada seu doutorado em Engenharia de software, concluído em 2000 no LAAS/CNRS emToulouse, França, Yvan trabalhou no Aerospatiale Matra Airbus (hoje EADS Airbus) na definição de estratégias de teste para sistemas críticos e orientados a objetos. Em Janeiro de 2001, Dr. Yvan Labiche ingressou o Departamento de Engenharia de Sistemas e Computação na Carleton University, como Professor Assistente. Ela agora é Professor Associado. Seus interesses de pesquisa são: Verificação e Validação de Sistemas, Desenvolvimento Dirigido a Modelo e Análise/Projeto Orientado a Objetos com Unified Modeling Language (UML), Garantia de qualidade de software e controle e medição baseado em métodos quantitativos, engenharia de software experimental, Aplicação de inteligência artificial e computação evolucionária à Engenharia de Software.