Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos (2009)
- Autores:
- Autor USP: DUSSE, FLÁVIO - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE; ENGENHARIA DE SOFTWARE
- Idioma: Português
- Resumo: MÉTODOS de geração de casos de teste visam a gerar um conjunto de casos de teste com uma boa relação custo/benefício. Critérios de cobertura de teste definem requisitos de teste, os quais um conjunto de teste adequado deve cobrir. Métodos e critérios visam a selecionar casos de teste baseados em especificações, que podem ser descritas por meio de modelos, tais como Máquinas de Estados Finitos (MEF). Existem diversos métodos de geração e critérios de cobertura, diferindo entre si em função das propriedades exigidas da MEF, do custo dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses médodos e critérios, são poucas as ferramentas de apoio disponíveis assim como são poucos os relatos de aplicação em termos de custo e eficácia para a definição de estratégias de teste efetivas. Dessa forma, é necessário obter dados reais das vantagens e desvantagens dos métodos e critérios para subsidiar a tomada de decisão no processo de desenvolvimento de software no que tange às atividades de teste e validação. Este trabalho apresenta resultados de experimentos para avaliar o custo e a eficácia de aplicação dos métodos e critérios mais relevantes para subsidiar a definição de estratégias de teste em diversos contextos, como por exemplo, no desenvolvimento de protocolos e de sistemas reativos. Utiliza-se um protótipo desenvolvido a partir de uma reengenharia da ferramenta Plavis/FSM para apoiar os experimentos
- Imprenta:
- Local: São Carlos
- Data de publicação: 2009
- Data da defesa: 16.12.2009
-
ABNT
DUSSE, Flávio. Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-161638/. Acesso em: 19 abr. 2024. -
APA
Dusse, F. (2009). Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-161638/ -
NLM
Dusse F. Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos [Internet]. 2009 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-161638/ -
Vancouver
Dusse F. Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos [Internet]. 2009 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-161638/
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
