Defesa de Tese de Doutorado: Diego Zuquim Guimarães Garcia
Document Actions
Defesa de Tese de Doutorado: Thaise Yano
Uma abordagem evolutiva multiobjetivo para geração automática de casos de teste a partir de máquinas de estados.
| What | Defesa de Doutorado |
|---|---|
| When |
26/07/2011 from 10:00 to 14:00 |
| Where | Auditório do IC - Sala 85 - IC 2 |
| Add event to calendar |
vCal
iCal
|
Automatizar a geração de teste contribuiria tanto para melhorar a produtividade quanto para reduzir esforço e
custo no processo de desenvolvimento de software. Neste trabalho a geração de teste é reformulada como um
problema de otimização. É proposta a abordagem denominada MOST para a geração automática de teste
baseada em Máquina de Estados Finitos Estendida (MEFE), utilizando-se o algoritmo M-GEOvsl como
método de otimização. Pode-se obter sequências de teste de tamanho variável com o M-GEOvsl, não sendo
necessário determinar a priori o tamanho da sequência como nos trabalhos anteriores. Além do tamanho da
sequência, o algoritmo leva em consideração as informações de dependência do modelo para guiar a busca
por soluções. A abordagem MOST também evita o problema de geração de sequências de teste infactíveis,
aquelas que são estruturalmente válidas mas não são executáveis, devido aos conflitos de dados envolvidos no
modelo. As sequências de teste são dinamicamente obtidas com uso de uma versão executável da MEFE que
considera os aspectos de controle e dados do modelo.Para avaliar a abordagem proposta foram realizados
vários experimentos com modelos da literatura e de aplicações reais.
Concurso Público para Professor Doutor - MS-3
