Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos

Detalhes bibliográficos
Autor(a) principal: Érica Ferreira de Souza
Data de Publicação: 2010
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@80/2010/02.06.20.39
Resumo: A geração de casos de teste baseada em Máquinas de Estados Finitos (MEF) tem recebido grande atenção ao longo dos anos. Os Testes de Software Baseados em Modelos têm despertado grande interesse de pesquisadores e profissionais na área de teste. Diversos critérios de teste vêm sendo propostos na literatura no intuito de validar sistemas construídos de acordo com alguma técnica formal de modelagem como, por exemplo, as MEF. Por meio de MEF é possível derivar caminhos de execução, ou seja, encontrar casos de teste. Porém, ainda falta uma consolidação desse aspecto no sentido de direcionar, efetivamente, um projetista de teste na escolha do critério mais adequado para gerar casos de teste. Assim, o foco principal deste trabalho consiste no desenvolvimento dos critérios de teste Unique Input/Output (UIO), Distinguishing Sequence (DS) e Switch Cover, visando sua integração a dois ambientes de teste do Instituto Nacional de Pesquisas Espaciais (INPE), bem como uma investigação preliminar do custo e da eficiência desses critérios concebidos com base em uma avaliação empírica, mostrando qual critério apresenta ser mais relevante nos estudos de caso propostos. Os critérios foram integrados à ferramenta Geração Automática de Casos de Teste Baseada em Statecharts (GTSC) e à ferramenta WEB-Perforrncharts. Softwares embarcados em computadores de satélites científicos foram utilizados como estudos de caso para avaliações de custo e eficiência. Tais softwares estão em desenvolvimento na área de Ciências Espaciais e Atmosféricas (CEA) no INPE.
id INPE_c06fa016636394f74b97c1f755c6d2c6
oai_identifier_str oai:urlib.net:sid.inpe.br/mtc-m19@80/2010/02.06.20.39.20-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 casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitosTest case generation for space area systems using test criteria for finite state machines2010-02-19Nandamudi Lankalapalli VijaykumarMauricio Gonçalves Vieira FerreiraJosé Maria Parente de OliveiraÉrica Ferreira de SouzaInstituto Nacional de Pesquisas Espaciais (INPE)Programa de Pós-Graduação do INPE em Computação AplicadaINPEBRtestes de softwarecritérios de testeautomatizaçãosistemas críticoscasos de testetest softwaretest criteriaautomatedcritical systemstest caseA geração de casos de teste baseada em Máquinas de Estados Finitos (MEF) tem recebido grande atenção ao longo dos anos. Os Testes de Software Baseados em Modelos têm despertado grande interesse de pesquisadores e profissionais na área de teste. Diversos critérios de teste vêm sendo propostos na literatura no intuito de validar sistemas construídos de acordo com alguma técnica formal de modelagem como, por exemplo, as MEF. Por meio de MEF é possível derivar caminhos de execução, ou seja, encontrar casos de teste. Porém, ainda falta uma consolidação desse aspecto no sentido de direcionar, efetivamente, um projetista de teste na escolha do critério mais adequado para gerar casos de teste. Assim, o foco principal deste trabalho consiste no desenvolvimento dos critérios de teste Unique Input/Output (UIO), Distinguishing Sequence (DS) e Switch Cover, visando sua integração a dois ambientes de teste do Instituto Nacional de Pesquisas Espaciais (INPE), bem como uma investigação preliminar do custo e da eficiência desses critérios concebidos com base em uma avaliação empírica, mostrando qual critério apresenta ser mais relevante nos estudos de caso propostos. Os critérios foram integrados à ferramenta Geração Automática de Casos de Teste Baseada em Statecharts (GTSC) e à ferramenta WEB-Perforrncharts. Softwares embarcados em computadores de satélites científicos foram utilizados como estudos de caso para avaliações de custo e eficiência. Tais softwares estão em desenvolvimento na área de Ciências Espaciais e Atmosféricas (CEA) no INPE.Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF it is possible to derive execution paths, that is, to find test cases. However, there is still a lot to do on this aspect in order to effectively direct a test designer to choose a criterion among those most suitable criteria to generate test cases. Thus, the focus of this work is the design and develop Unique Input/Output (UIO), Distinguishing Sequence (DS) and Switch Cover, in order to incorporate them in two test environments Automatic Generation of Test Cases Based on Statecharts (GTSC) and WEB-PerformCharts within the National Institute for Space Research (INPE). Besides, a preliminary investigation of cost and efficiency of these criteria will be conducted based on an empirical analysis, showing which criteria can be more relevant. Embedded software on computers in scientific satellites will be used as case studies for analysis of cost and efficiency. Such software is under development in the Space and Atmospheric Sciences (CEA) Coordination at INPE.http://urlib.net/sid.inpe.br/mtc-m19@80/2010/02.06.20.39info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações do INPEinstname:Instituto Nacional de Pesquisas Espaciais (INPE)instacron:INPE2021-07-31T06:54:26Zoai:urlib.net:sid.inpe.br/mtc-m19@80/2010/02.06.20.39.20-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:54:27.172Biblioteca Digital de Teses e Dissertações do INPE - Instituto Nacional de Pesquisas Espaciais (INPE)false
dc.title.pt.fl_str_mv Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
dc.title.alternative.en.fl_str_mv Test case generation for space area systems using test criteria for finite state machines
title Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
spellingShingle Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Érica Ferreira de Souza
title_short Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
title_full Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
title_fullStr Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
title_full_unstemmed Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
title_sort Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
author Érica Ferreira de Souza
author_facet Érica Ferreira de Souza
author_role author
dc.contributor.advisor1.fl_str_mv Nandamudi Lankalapalli Vijaykumar
dc.contributor.referee1.fl_str_mv Mauricio Gonçalves Vieira Ferreira
dc.contributor.referee2.fl_str_mv José Maria Parente de Oliveira
dc.contributor.author.fl_str_mv Érica Ferreira de Souza
contributor_str_mv Nandamudi Lankalapalli Vijaykumar
Mauricio Gonçalves Vieira Ferreira
José Maria Parente de Oliveira
dc.description.abstract.por.fl_txt_mv A geração de casos de teste baseada em Máquinas de Estados Finitos (MEF) tem recebido grande atenção ao longo dos anos. Os Testes de Software Baseados em Modelos têm despertado grande interesse de pesquisadores e profissionais na área de teste. Diversos critérios de teste vêm sendo propostos na literatura no intuito de validar sistemas construídos de acordo com alguma técnica formal de modelagem como, por exemplo, as MEF. Por meio de MEF é possível derivar caminhos de execução, ou seja, encontrar casos de teste. Porém, ainda falta uma consolidação desse aspecto no sentido de direcionar, efetivamente, um projetista de teste na escolha do critério mais adequado para gerar casos de teste. Assim, o foco principal deste trabalho consiste no desenvolvimento dos critérios de teste Unique Input/Output (UIO), Distinguishing Sequence (DS) e Switch Cover, visando sua integração a dois ambientes de teste do Instituto Nacional de Pesquisas Espaciais (INPE), bem como uma investigação preliminar do custo e da eficiência desses critérios concebidos com base em uma avaliação empírica, mostrando qual critério apresenta ser mais relevante nos estudos de caso propostos. Os critérios foram integrados à ferramenta Geração Automática de Casos de Teste Baseada em Statecharts (GTSC) e à ferramenta WEB-Perforrncharts. Softwares embarcados em computadores de satélites científicos foram utilizados como estudos de caso para avaliações de custo e eficiência. Tais softwares estão em desenvolvimento na área de Ciências Espaciais e Atmosféricas (CEA) no INPE.
dc.description.abstract.eng.fl_txt_mv Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF it is possible to derive execution paths, that is, to find test cases. However, there is still a lot to do on this aspect in order to effectively direct a test designer to choose a criterion among those most suitable criteria to generate test cases. Thus, the focus of this work is the design and develop Unique Input/Output (UIO), Distinguishing Sequence (DS) and Switch Cover, in order to incorporate them in two test environments Automatic Generation of Test Cases Based on Statecharts (GTSC) and WEB-PerformCharts within the National Institute for Space Research (INPE). Besides, a preliminary investigation of cost and efficiency of these criteria will be conducted based on an empirical analysis, showing which criteria can be more relevant. Embedded software on computers in scientific satellites will be used as case studies for analysis of cost and efficiency. Such software is under development in the Space and Atmospheric Sciences (CEA) Coordination at INPE.
description A geração de casos de teste baseada em Máquinas de Estados Finitos (MEF) tem recebido grande atenção ao longo dos anos. Os Testes de Software Baseados em Modelos têm despertado grande interesse de pesquisadores e profissionais na área de teste. Diversos critérios de teste vêm sendo propostos na literatura no intuito de validar sistemas construídos de acordo com alguma técnica formal de modelagem como, por exemplo, as MEF. Por meio de MEF é possível derivar caminhos de execução, ou seja, encontrar casos de teste. Porém, ainda falta uma consolidação desse aspecto no sentido de direcionar, efetivamente, um projetista de teste na escolha do critério mais adequado para gerar casos de teste. Assim, o foco principal deste trabalho consiste no desenvolvimento dos critérios de teste Unique Input/Output (UIO), Distinguishing Sequence (DS) e Switch Cover, visando sua integração a dois ambientes de teste do Instituto Nacional de Pesquisas Espaciais (INPE), bem como uma investigação preliminar do custo e da eficiência desses critérios concebidos com base em uma avaliação empírica, mostrando qual critério apresenta ser mais relevante nos estudos de caso propostos. Os critérios foram integrados à ferramenta Geração Automática de Casos de Teste Baseada em Statecharts (GTSC) e à ferramenta WEB-Perforrncharts. Softwares embarcados em computadores de satélites científicos foram utilizados como estudos de caso para avaliações de custo e eficiência. Tais softwares estão em desenvolvimento na área de Ciências Espaciais e Atmosféricas (CEA) no INPE.
publishDate 2010
dc.date.issued.fl_str_mv 2010-02-19
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@80/2010/02.06.20.39
url http://urlib.net/sid.inpe.br/mtc-m19@80/2010/02.06.20.39
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 (INPE)
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 (INPE)
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 Nandamudi Lankalapalli Vijaykumar
_version_ 1706809356162433024

Registros relacionados