Geração automática de casos de testes para máquinas de estados finitos

Detalhes bibliográficos
Autor(a) principal: Pedrosa, Lehilton Lelis Chaves, 1985-
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1613289
Resumo: Orientador: Arnaldo Vieira Moura
id UNICAMP-30_541896f8b7c93a34f79484e4117039e9
oai_identifier_str oai::777420
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Geração automática de casos de testes para máquinas de estados finitosAutomatic test case generation for finite state machinesMétodos formais (Computação)Máquinas de estados finitosTeste baseado em modelosSoftware - TestesFormal methods (Computer science)Finite state machinesModel-based testingSoftware - TestingOrientador: Arnaldo Vieira MouraDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetivo de um método de geração automática de casos de testes é obter um conjunto de casos de testes, com o qual é possível verificar se uma dada implementação contém falhas. Um problema importante em métodos de geração de casos de teste com cobertura completa de falhas é o tamanho dos conjuntos de testes, que normalmente é exponencial no número de estados da MEF que está sendo testada. Para minimizar esse problema, diversas abordagens são adotadas, envolvendo melhorias nos métodos existentes, restrições do modelo de falhas e o uso de novas estratégias de teste. Esta dissertação estuda métodos automáticos para geração de casos de testes com cobertura completa de falhas e propõe dois novos métodos, que permitem reduzir o tamanho dos conjuntos de testes gerados. Primeiro, combinamos ideias do método Wp e do método G, visando usufruir as vantagens de ambos e obtendo um novo método, denominado Gp. Em seguida, descrevemos um novo modelo de falhas para sistemas compostos de vários subsistemas, possivelmente com um número alto de estados. Formalizamos tais sistemas, introduzindo o conceito de MEFs combinadas, e apresentamos um novo método de testes, denominado método C. Além disso, propomos uma abordagem de testes incremental, baseada no método C, que torna possível o teste de MEFs com um número arbitrário de estados. Estabelecemos comparações com abordagens tradicionais e mostramos que o uso da estratégia incremental pode gerar conjuntos de testes exponencialmente mais eficientesMestradoTeoria da ComputaçãoMestre em Ciência da Computação[s.n.]Moura, Arnaldo Vieira, 1950-Pinto, Guilherme AlbuquerqueMartins, ElianeUniversidade Estadual de Campinas. Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASPedrosa, Lehilton Lelis Chaves, 1985-20102010-01-09T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf103 p. : il.https://hdl.handle.net/20.500.12733/1613289PEDROSA, Lehilton Lelis Chaves. Geração automática de casos de testes para máquinas de estados finitos. 2010. 103 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613289. Acesso em: 15 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/777420porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T06:02:05Zoai::777420Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T06:02:05Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Geração automática de casos de testes para máquinas de estados finitos
Automatic test case generation for finite state machines
title Geração automática de casos de testes para máquinas de estados finitos
spellingShingle Geração automática de casos de testes para máquinas de estados finitos
Pedrosa, Lehilton Lelis Chaves, 1985-
Métodos formais (Computação)
Máquinas de estados finitos
Teste baseado em modelos
Software - Testes
Formal methods (Computer science)
Finite state machines
Model-based testing
Software - Testing
title_short Geração automática de casos de testes para máquinas de estados finitos
title_full Geração automática de casos de testes para máquinas de estados finitos
title_fullStr Geração automática de casos de testes para máquinas de estados finitos
title_full_unstemmed Geração automática de casos de testes para máquinas de estados finitos
title_sort Geração automática de casos de testes para máquinas de estados finitos
author Pedrosa, Lehilton Lelis Chaves, 1985-
author_facet Pedrosa, Lehilton Lelis Chaves, 1985-
author_role author
dc.contributor.none.fl_str_mv Moura, Arnaldo Vieira, 1950-
Pinto, Guilherme Albuquerque
Martins, Eliane
Universidade Estadual de Campinas. Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Pedrosa, Lehilton Lelis Chaves, 1985-
dc.subject.por.fl_str_mv Métodos formais (Computação)
Máquinas de estados finitos
Teste baseado em modelos
Software - Testes
Formal methods (Computer science)
Finite state machines
Model-based testing
Software - Testing
topic Métodos formais (Computação)
Máquinas de estados finitos
Teste baseado em modelos
Software - Testes
Formal methods (Computer science)
Finite state machines
Model-based testing
Software - Testing
description Orientador: Arnaldo Vieira Moura
publishDate 2010
dc.date.none.fl_str_mv 2010
2010-01-09T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1613289
PEDROSA, Lehilton Lelis Chaves. Geração automática de casos de testes para máquinas de estados finitos. 2010. 103 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613289. Acesso em: 15 mai. 2024.
url https://hdl.handle.net/20.500.12733/1613289
identifier_str_mv PEDROSA, Lehilton Lelis Chaves. Geração automática de casos de testes para máquinas de estados finitos. 2010. 103 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613289. Acesso em: 15 mai. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/777420
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
103 p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138474606985216

Registros relacionados