Geração de testes estruturais para aplicações multithreads: abordagem por statecharts

Detalhes bibliográficos
Autor(a) principal: Rogério Marinke
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações do INPE
Texto Completo: http://urlib.net/sid.inpe.br/mtc-m19/2011/11.04.20.08
Resumo: A modelagem em \textit{Statecharts} do código fonte de softwares \textit{multithreads} é proposta neste trabalho. O objetivo deste trabalho é explorar testes caixa branca utilizando \textit{Statecharts}. O modelo proposto realiza a modelagem de softwares \textit{multithreads} em \textit{Statecharts}. Então, uma ferramenta desenvolvida no Instituto Nacional de Pesquisas Espaciais (INPE), chamada WEB-PerformCharts converterá a especificação obtida para uma Máquina de Estados Finita (MEF) plana. Isto torna possível a implementação de critérios para derivar casos de testes para testes tipo caixa branca para sistemas concorrentes. Um experimento de avaliação do modelo proposto é descrito. Os resultados obtidos comprovam que o modelo é capaz de realizar a especificação de softwares \textit{multithreads} em \textit{Statecharts} e derivar casos de testes que possibilitam exercitar as características de concorrência e paralelismo de sistemas concorrentes.
id INPE_461571e6594970bb3bc9c96b3bc1a7ca
oai_identifier_str oai:urlib.net:sid.inpe.br/mtc-m19/2011/11.04.20.08.06-0
network_acronym_str INPE
network_name_str Biblioteca Digital de Teses e Dissertações do INPE
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisGeração de testes estruturais para aplicações multithreads: abordagem por statechartsWhite box test generation for multithreads applications: approach by statecharts2011-11-18Edson Luiz França SenneNandamudi Lankalapalli VijaykumarAlexandre Carlos Brandão RamosCelso Massaki HirataRogério MarinkeInstituto Nacional de Pesquisas EspaciaisPrograma de Pós-Graduação do INPE em Computação AplicadaINPEBRteste estruturalprograma concorrentediagrama de Estadowhite box testmultithreadsstatechartsA modelagem em \textit{Statecharts} do código fonte de softwares \textit{multithreads} é proposta neste trabalho. O objetivo deste trabalho é explorar testes caixa branca utilizando \textit{Statecharts}. O modelo proposto realiza a modelagem de softwares \textit{multithreads} em \textit{Statecharts}. Então, uma ferramenta desenvolvida no Instituto Nacional de Pesquisas Espaciais (INPE), chamada WEB-PerformCharts converterá a especificação obtida para uma Máquina de Estados Finita (MEF) plana. Isto torna possível a implementação de critérios para derivar casos de testes para testes tipo caixa branca para sistemas concorrentes. Um experimento de avaliação do modelo proposto é descrito. Os resultados obtidos comprovam que o modelo é capaz de realizar a especificação de softwares \textit{multithreads} em \textit{Statecharts} e derivar casos de testes que possibilitam exercitar as características de concorrência e paralelismo de sistemas concorrentes.A computational model capable to perform the modeling in Statecharts of the source co de of a multithread software is proposed in this work. The objective of this dissertation is to explore the white box testing using Statecharts. The proposed model performs modeling in Statecharts. Then, a developed tool at INPE, called WEB-PerformCharts converts the specification into fiat FSM. With FSM, it is possible to implement methods to generate white box test cases for concurrent systems. An experiment to evaluate the proposed model is described. The results show that the model is capable of specifying multithread software in Statecharts and generate test cases that exercise the characteristics of concurrency and parallelism of concurrent systems.http://urlib.net/sid.inpe.br/mtc-m19/2011/11.04.20.08info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações do INPEinstname:Instituto Nacional de Pesquisas Espaciais (INPE)instacron:INPE2021-07-31T06:53:43Zoai:urlib.net:sid.inpe.br/mtc-m19/2011/11.04.20.08.06-0Biblioteca Digital de Teses e Dissertaçõeshttp://bibdigital.sid.inpe.br/PUBhttp://bibdigital.sid.inpe.br/col/iconet.com.br/banon/2003/11.21.21.08/doc/oai.cgiopendoar:32772021-07-31 06:53:43.579Biblioteca Digital de Teses e Dissertações do INPE - Instituto Nacional de Pesquisas Espaciais (INPE)false
dc.title.pt.fl_str_mv Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
dc.title.alternative.en.fl_str_mv White box test generation for multithreads applications: approach by statecharts
title Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
spellingShingle Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
Rogério Marinke
title_short Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
title_full Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
title_fullStr Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
title_full_unstemmed Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
title_sort Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
author Rogério Marinke
author_facet Rogério Marinke
author_role author
dc.contributor.advisor1.fl_str_mv Edson Luiz França Senne
dc.contributor.advisor2.fl_str_mv Nandamudi Lankalapalli Vijaykumar
dc.contributor.referee1.fl_str_mv Alexandre Carlos Brandão Ramos
dc.contributor.referee2.fl_str_mv Celso Massaki Hirata
dc.contributor.author.fl_str_mv Rogério Marinke
contributor_str_mv Edson Luiz França Senne
Nandamudi Lankalapalli Vijaykumar
Alexandre Carlos Brandão Ramos
Celso Massaki Hirata
dc.description.abstract.por.fl_txt_mv A modelagem em \textit{Statecharts} do código fonte de softwares \textit{multithreads} é proposta neste trabalho. O objetivo deste trabalho é explorar testes caixa branca utilizando \textit{Statecharts}. O modelo proposto realiza a modelagem de softwares \textit{multithreads} em \textit{Statecharts}. Então, uma ferramenta desenvolvida no Instituto Nacional de Pesquisas Espaciais (INPE), chamada WEB-PerformCharts converterá a especificação obtida para uma Máquina de Estados Finita (MEF) plana. Isto torna possível a implementação de critérios para derivar casos de testes para testes tipo caixa branca para sistemas concorrentes. Um experimento de avaliação do modelo proposto é descrito. Os resultados obtidos comprovam que o modelo é capaz de realizar a especificação de softwares \textit{multithreads} em \textit{Statecharts} e derivar casos de testes que possibilitam exercitar as características de concorrência e paralelismo de sistemas concorrentes.
dc.description.abstract.eng.fl_txt_mv A computational model capable to perform the modeling in Statecharts of the source co de of a multithread software is proposed in this work. The objective of this dissertation is to explore the white box testing using Statecharts. The proposed model performs modeling in Statecharts. Then, a developed tool at INPE, called WEB-PerformCharts converts the specification into fiat FSM. With FSM, it is possible to implement methods to generate white box test cases for concurrent systems. An experiment to evaluate the proposed model is described. The results show that the model is capable of specifying multithread software in Statecharts and generate test cases that exercise the characteristics of concurrency and parallelism of concurrent systems.
description A modelagem em \textit{Statecharts} do código fonte de softwares \textit{multithreads} é proposta neste trabalho. O objetivo deste trabalho é explorar testes caixa branca utilizando \textit{Statecharts}. O modelo proposto realiza a modelagem de softwares \textit{multithreads} em \textit{Statecharts}. Então, uma ferramenta desenvolvida no Instituto Nacional de Pesquisas Espaciais (INPE), chamada WEB-PerformCharts converterá a especificação obtida para uma Máquina de Estados Finita (MEF) plana. Isto torna possível a implementação de critérios para derivar casos de testes para testes tipo caixa branca para sistemas concorrentes. Um experimento de avaliação do modelo proposto é descrito. Os resultados obtidos comprovam que o modelo é capaz de realizar a especificação de softwares \textit{multithreads} em \textit{Statecharts} e derivar casos de testes que possibilitam exercitar as características de concorrência e paralelismo de sistemas concorrentes.
publishDate 2011
dc.date.issued.fl_str_mv 2011-11-18
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://urlib.net/sid.inpe.br/mtc-m19/2011/11.04.20.08
url http://urlib.net/sid.inpe.br/mtc-m19/2011/11.04.20.08
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.publisher.none.fl_str_mv Instituto Nacional de Pesquisas Espaciais
dc.publisher.program.fl_str_mv Programa de Pós-Graduação do INPE em Computação Aplicada
dc.publisher.initials.fl_str_mv INPE
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Instituto Nacional de Pesquisas Espaciais
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do INPE
instname:Instituto Nacional de Pesquisas Espaciais (INPE)
instacron:INPE
reponame_str Biblioteca Digital de Teses e Dissertações do INPE
collection Biblioteca Digital de Teses e Dissertações do INPE
instname_str Instituto Nacional de Pesquisas Espaciais (INPE)
instacron_str INPE
institution INPE
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do INPE - Instituto Nacional de Pesquisas Espaciais (INPE)
repository.mail.fl_str_mv
publisher_program_txtF_mv Programa de Pós-Graduação do INPE em Computação Aplicada
contributor_advisor1_txtF_mv Edson Luiz França Senne
_version_ 1706809353311354880

Registros relacionados