Fechar
Metadados

Área de identificação
Tipo de ReferênciaThesis
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/36T9LLB
Repositóriosid.inpe.br/mtc-m19@80/2010/02.06.20.39
Última Atualização2018:04.27.16.32.10 sergio
Metadadossid.inpe.br/mtc-m19@80/2010/02.06.20.39.20
Última Atualização dos Metadados2018:06.05.04.36.32 administrator
Chave SecundáriaINPE-16682-TDI/1627
Chave de CitaçãoSouza:2010:GeCaTe
TítuloGeração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Título AlternativoTest case generation for space area systems using test criteria for finite state machines
CursoCAP-SPG-INPE-MCT-BR
Ano2010
Data2010-02-19
Data de Acesso18 jan. 2021
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Número de Páginas133
Número de Arquivos3
Tamanho1856 KiB
Área de contextualização
AutorSouza, Érica Ferreira de
GrupoCAP-SPG-INPE-MCT-BR
BancaSenne, Edson Luiz França (presidente)
Vijaykumar, Nandamudi Lankalapalli (orientador)
Ferreira, Mauricio Gonçalves Vieira
Oliveira, José Maria Parente de
Endereço de e-Mailericaferrso@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Tipo SecundárioTDI
Histórico2010-02-06 20:39:20 :: ericaferrso@gmail.com -> yolanda ::
2010-02-09 19:08:57 :: yolanda -> ericaferrso@gmail.com ::
2010-04-14 23:19:30 :: ericaferrso@gmail.com -> yolanda ::
2010-04-15 16:44:52 :: yolanda -> ericaferrso@gmail.com ::
2010-04-16 04:44:24 :: ericaferrso@gmail.com -> yolanda ::
2010-04-26 16:49:16 :: yolanda -> ricardo ::
2010-04-27 14:26:33 :: ricardo -> viveca@sid.inpe.br ::
2010-04-29 19:13:33 :: viveca@sid.inpe.br -> ricardo ::
2010-04-29 19:15:53 :: ricardo -> viveca@sid.inpe.br ::
2010-04-29 19:57:49 :: viveca@sid.inpe.br -> administrator ::
2018-04-27 12:49:26 :: administrator -> sergio :: 2010
2018-04-27 16:32:10 :: sergio -> administrator :: 2010
2018-06-05 04:36:32 :: administrator -> sergio :: 2010
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavetestes de software, critérios de teste, automatização, sistemas críticos, casos de teste, test software, test criteria, automated, critical systems, test case.
ResumoA 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. ABSTRACT: 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.
AreaCOMP
Conteúdo da Pasta source
Originais/@4primeirasPaginas_Érica Ferreira de Souza_16682.pdf 29/04/2010 15:34 154.4 KiB 
Originais/Dissertação de Mestrado Erica Ferreira de Souza.pdf 16/04/2010 13:58 1.8 MiB
Originais/FolhaAprovação.pdf 26/04/2010 13:58 28.9 KiB 
publicacao.pdf 29/04/2010 16:50 1.8 MiB
Conteúdo da Pasta agreement
TERMO DE DEPOSITO ASSINADO ERICA FERREIRA DE SOUZA MESTRADO.pdf 27/04/2018 13:32 1.6 MiB
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP7W/36T9LLB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/36T9LLB
Idiomapt
Grupo de Usuáriosadministrator
ericaferrso@gmail.com
ricardo
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoNTRSNASA; BNDEPOSITOLEGAL.
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
Área de notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject targetfile tertiarymark tertiarytype url versiontype
Área de controle da descrição
e-Mail (login)sergio
atualizar 

Fechar