Geração de testes a partir de máquinas de estados hierárquicas comunicantes

Detalhes bibliográficos
Autor(a) principal: Andrades, Rafel Kindlein de
Data de Publicação: 2016
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/151026
Resumo: Em função da criticidade de algumas classes de sistemas, da necessidade de garantir o comportamento esperado em um software e de minimizar riscos e custos com tratamento de erros em sistemas, a fase de testes de software consolidou-se como etapa imprescindível na prática da engenharia de software. Mais especificamente, técnicas para testes funcionais – testes caixa-preta – têm sido aprimoradas a fim de cobrir escopos de projetos de softwares e sistemas complexos com alta taxa de assertividade e de confiabilidade. Do ponto de vista de teste de software, sistemas baseados em módulos concorrentes, hierárquicos e comunicantes geralmente têm sua modelagem e cobertura de testes complexos. Neste trabalho, apresentamos uma proposta viável para gerar casos de teste funcionais através da técnica de Teste de Transição de Estados – State Trasition Test Technique (STT) – adaptada ao conceito de Máquinas de Estados Hierárquicas Comunicantes – Communicating Hierarchical State Machines (CHMs). Por fim, apresentamos um experimento real desenvolvido especificamente para este trabalho.
id UFRGS-2_e985fa937698323b0cf525ba0fa3638b
oai_identifier_str oai:www.lume.ufrgs.br:10183/151026
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Andrades, Rafel Kindlein deCota, Erika Fernandes2017-01-19T02:30:08Z2016http://hdl.handle.net/10183/151026001009871Em função da criticidade de algumas classes de sistemas, da necessidade de garantir o comportamento esperado em um software e de minimizar riscos e custos com tratamento de erros em sistemas, a fase de testes de software consolidou-se como etapa imprescindível na prática da engenharia de software. Mais especificamente, técnicas para testes funcionais – testes caixa-preta – têm sido aprimoradas a fim de cobrir escopos de projetos de softwares e sistemas complexos com alta taxa de assertividade e de confiabilidade. Do ponto de vista de teste de software, sistemas baseados em módulos concorrentes, hierárquicos e comunicantes geralmente têm sua modelagem e cobertura de testes complexos. Neste trabalho, apresentamos uma proposta viável para gerar casos de teste funcionais através da técnica de Teste de Transição de Estados – State Trasition Test Technique (STT) – adaptada ao conceito de Máquinas de Estados Hierárquicas Comunicantes – Communicating Hierarchical State Machines (CHMs). Por fim, apresentamos um experimento real desenvolvido especificamente para este trabalho.Depending on the criticality of some classes of systems, the need to ensure the expected behavior in a software and to minimize risks and costs of handling errors in systems, Software Testing phase was consolidated as an essential step to engineering software models. More specifically, techniques for Functional Testing - Black Box Tests - have been improved to cover scopes of software projects and complex systems with high rate of reliability and assertiveness. From the software testing viewpoint, systems based on concurrent, hierarchical and communicating modules generally have a complex modeling and tests coverage. In this paper, we present a viable proposal to generate functional tests cases through the State Transition Test technique (STT) adapted to the concept of Communicating Hierarchical State Machines (CHMs). Finally, we present a real experiment developed specifically to this work.application/pdfporEngenharia : SoftwareTestes : SoftwareSoftware testingFunctional testingBack box testsFinite state machinesState transition testCommunicating hierarchical state machinesGeração de testes a partir de máquinas de estados hierárquicas comunicantesGeneration of tests from communicating hierarchical state machines info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2016Ciência da Computação: Ênfase em Ciência da Computação: Bachareladograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL001009871.pdf001009871.pdfTexto completoapplication/pdf1888571http://www.lume.ufrgs.br/bitstream/10183/151026/1/001009871.pdf2c4f4b4595fec30c55c8593bd325e3c3MD51TEXT001009871.pdf.txt001009871.pdf.txtExtracted Texttext/plain66127http://www.lume.ufrgs.br/bitstream/10183/151026/2/001009871.pdf.txte17709ca2d62b25b4ea1a798a72cd586MD52THUMBNAIL001009871.pdf.jpg001009871.pdf.jpgGenerated Thumbnailimage/jpeg1052http://www.lume.ufrgs.br/bitstream/10183/151026/3/001009871.pdf.jpgd582dc346819d44b9f572e1eb998feefMD5310183/1510262018-10-30 08:30:04.585oai:www.lume.ufrgs.br:10183/151026Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-30T11:30:04Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Geração de testes a partir de máquinas de estados hierárquicas comunicantes
dc.title.alternative.en.fl_str_mv Generation of tests from communicating hierarchical state machines
title Geração de testes a partir de máquinas de estados hierárquicas comunicantes
spellingShingle Geração de testes a partir de máquinas de estados hierárquicas comunicantes
Andrades, Rafel Kindlein de
Engenharia : Software
Testes : Software
Software testing
Functional testing
Back box tests
Finite state machines
State transition test
Communicating hierarchical state machines
title_short Geração de testes a partir de máquinas de estados hierárquicas comunicantes
title_full Geração de testes a partir de máquinas de estados hierárquicas comunicantes
title_fullStr Geração de testes a partir de máquinas de estados hierárquicas comunicantes
title_full_unstemmed Geração de testes a partir de máquinas de estados hierárquicas comunicantes
title_sort Geração de testes a partir de máquinas de estados hierárquicas comunicantes
author Andrades, Rafel Kindlein de
author_facet Andrades, Rafel Kindlein de
author_role author
dc.contributor.author.fl_str_mv Andrades, Rafel Kindlein de
dc.contributor.advisor1.fl_str_mv Cota, Erika Fernandes
contributor_str_mv Cota, Erika Fernandes
dc.subject.por.fl_str_mv Engenharia : Software
Testes : Software
topic Engenharia : Software
Testes : Software
Software testing
Functional testing
Back box tests
Finite state machines
State transition test
Communicating hierarchical state machines
dc.subject.eng.fl_str_mv Software testing
Functional testing
Back box tests
Finite state machines
State transition test
Communicating hierarchical state machines
description Em função da criticidade de algumas classes de sistemas, da necessidade de garantir o comportamento esperado em um software e de minimizar riscos e custos com tratamento de erros em sistemas, a fase de testes de software consolidou-se como etapa imprescindível na prática da engenharia de software. Mais especificamente, técnicas para testes funcionais – testes caixa-preta – têm sido aprimoradas a fim de cobrir escopos de projetos de softwares e sistemas complexos com alta taxa de assertividade e de confiabilidade. Do ponto de vista de teste de software, sistemas baseados em módulos concorrentes, hierárquicos e comunicantes geralmente têm sua modelagem e cobertura de testes complexos. Neste trabalho, apresentamos uma proposta viável para gerar casos de teste funcionais através da técnica de Teste de Transição de Estados – State Trasition Test Technique (STT) – adaptada ao conceito de Máquinas de Estados Hierárquicas Comunicantes – Communicating Hierarchical State Machines (CHMs). Por fim, apresentamos um experimento real desenvolvido especificamente para este trabalho.
publishDate 2016
dc.date.issued.fl_str_mv 2016
dc.date.accessioned.fl_str_mv 2017-01-19T02:30:08Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/151026
dc.identifier.nrb.pt_BR.fl_str_mv 001009871
url http://hdl.handle.net/10183/151026
identifier_str_mv 001009871
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/151026/1/001009871.pdf
http://www.lume.ufrgs.br/bitstream/10183/151026/2/001009871.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/151026/3/001009871.pdf.jpg
bitstream.checksum.fl_str_mv 2c4f4b4595fec30c55c8593bd325e3c3
e17709ca2d62b25b4ea1a798a72cd586
d582dc346819d44b9f572e1eb998feef
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801224522123182080

Registros relacionados