Geração de testes estruturais para aplicações multithreads: abordagem por statecharts
Autor(a) principal: | |
---|---|
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 |