Minimização de conjuntos de casos de teste para máquinas de estados finitos (2008)
- Authors:
- Autor USP: MELLO NETO, LÚCIO FELIPPE DE - ICMC
- Unidade: ICMC
- Sigla do Departamento: SCE
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; TEMPO-REAL (SISTEMAS); ENGENHARIA DE SOFTWARE; MECÂNICA DOS FLUÍDOS COMPUTACIONAL
- Language: Português
- Abstract: O TESTE baseado em modelos visa a possibilitar a derivação de conjuntos de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos. Os conjuntos de teste podem ser obtidos tanto pelos métodos clássicos de geração quanto por alguma abordagem ad hoc. Procura-se obter um conjunto de teste que consiga detectar todos os possíveis defeitos de uma implementação e possua tamanho reduzido para que a sua aplicação seja factível. Por questões de ordem prática, pode não ser possível a aplicação de todo o conjunto de teste gerado. Desse modo, um subconjunto de casos de teste deve ser selecionado, ou seja, uma minimização do conjunto de teste deve ser realizada. No entanto, é fundamental que a minimização reduza o custo de aplicação dos testes, mas mantenha a efetividade em revelar defeitos. Neste trabalho, propõe-se um algoritmo de minimização de conjuntos de teste para Máquinas de Estados Finitos. O algoritmo baseia-se em condições de suficiência para que a completude em relação à detecção de defeitos seja mantida. O algoritmo foi utilizado em dois diferentes contextos. Utilizou-se o algoritmo com conjuntos de teste gerados de forma aleatória para verificar a minimização obtida. O algoritmo também foi utilizado para reduzir o esforço em se obter um conjunto completo em relação à detecção de defeitos
- Imprenta:
- Publisher place: São Carlos
- Date published: 2008
- Data da defesa: 09.05.2008
-
ABNT
MELLO NETO, Lúcio Felippe de. Minimização de conjuntos de casos de teste para máquinas de estados finitos. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/. Acesso em: 03 jan. 2026. -
APA
Mello Neto, L. F. de. (2008). Minimização de conjuntos de casos de teste para 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-18062008-135859/ -
NLM
Mello Neto LF de. Minimização de conjuntos de casos de teste para máquinas de estados finitos [Internet]. 2008 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/ -
Vancouver
Mello Neto LF de. Minimização de conjuntos de casos de teste para máquinas de estados finitos [Internet]. 2008 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
