Geração automática de casos de testes para máquinas de estados finitos
Autor(a) principal: | |
---|---|
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 (UNICAMP). 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: 3 set. 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 (UNICAMP). 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: 3 set. 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: 3 set. 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_ |
1809189040191176704 |