Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos (2010)
- Authors:
- Autor USP: RIBEIRO, PAULO HENRIQUE - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; MÉTODO DOS ELEMENTOS FINITOS; ENGENHARIA DE SOFTWARE
- Language: Português
- Abstract: O teste baseado em modelos tem como objetivo auxiliar a atividade de testes, gerando conjuntos de casos de teste a partir de modelos, como Máquinas de Estados Finitos (MEFs). Diversos métodos de geração de conjuntos de caso de teste têm sido propostos ao longo das ultimas décadas, com algumas contribuições recentes. Dentre esses trabalhos, há os que geram seqüências de verificação que são conjuntos de caso de teste formados por uma única seqüência e que são capazes de detectar os defeitos de uma implementação cujo comportamento pode ser modelado a partir de uma MEF. Neste trabalho é proposto um algoritmo de geração de seqüências de verificação que tem a finalidade de gerar seqüências menores que as seqüências geradas pelos métodos existentes. O algoritmo, que é baseado na técnica de algoritmos genéticos e nas condições de suficiência para a completude de casos de teste, consiste basicamente em criar novas seqüências a partir de seqüências menores. Por meio de mutações, novas seqüências são geradas pelo algoritmo. As condições de suficiência são utilizadas para determinar quais seqüências geradas são seqüências de verificação. Também são apresentados neste trabalho os estudos experimentais realizados para determinar o comportamento do algoritmo diante de diferentes contextos
- Imprenta:
- Publisher place: São Carlos
- Date published: 2010
- Data da defesa: 09.12.2010
-
ABNT
RIBEIRO, Paulo Henrique. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/. Acesso em: 19 abr. 2024. -
APA
Ribeiro, P. H. (2010). Uma estratégia para geração de seqüências de verificação 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-19012011-144153/ -
NLM
Ribeiro PH. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos [Internet]. 2010 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/ -
Vancouver
Ribeiro PH. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos [Internet]. 2010 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
