| 1. Identificação | |||||||||||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | ||||||||||||
| Site | mtc-m16d.sid.inpe.br | ||||||||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | ||||||||||||
| Identificador | 8JMKD3MGP7W/36T9LLB | ||||||||||||
| Repositório | sid.inpe.br/mtc-m19@80/2010/02.06.20.39 | ||||||||||||
| Última Atualização | 2018:04.27.16.32.10 (UTC) sergio | ||||||||||||
| Repositório de Metadados | sid.inpe.br/mtc-m19@80/2010/02.06.20.39.20 | ||||||||||||
| Última Atualização dos Metadados | 2018:06.05.04.36.32 (UTC) administrator | ||||||||||||
| Chave Secundária | INPE-16682-TDI/1627 | ||||||||||||
| Chave de Citação | Souza:2010:GeCaTe | ||||||||||||
| Título | Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos  | ||||||||||||
| Título Alternativo | Test case generation for space area systems using test criteria for finite state machines | ||||||||||||
| Curso | CAP-SPG-INPE-MCT-BR | ||||||||||||
| Ano | 2010 | ||||||||||||
| Data | 2010-02-19 | ||||||||||||
| Data de Acesso | 26 abr. 2024 | ||||||||||||
| Tipo da Tese | Dissertação (Mestrado em Computação Aplicada) | ||||||||||||
| Tipo Secundário | TDI | ||||||||||||
| Número de Páginas | 133 | ||||||||||||
| Número de Arquivos | 1 | ||||||||||||
| Tamanho | 1856 KiB | ||||||||||||
| 2. Contextualização | |||||||||||||
| Autor | Souza, Érica Ferreira de | ||||||||||||
| Grupo | CAP-SPG-INPE-MCT-BR | ||||||||||||
| Banca | Senne, Edson Luiz França (presidente) Vijaykumar, Nandamudi Lankalapalli (orientador) Ferreira, Mauricio Gonçalves Vieira Oliveira, José Maria Parente de | ||||||||||||
| Endereço de e-Mail | ericaferrso@gmail.com | ||||||||||||
| Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) | ||||||||||||
| Cidade | São José dos Campos | ||||||||||||
| Histórico (UTC) | 2010-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 | ||||||||||||
| 3. Conteúdo e estrutura | |||||||||||||
| É a matriz ou uma cópia? | é a matriz | ||||||||||||
| Estágio do Conteúdo | concluido | ||||||||||||
| Transferível | 1 | ||||||||||||
| Palavras-Chave | testes de software critérios de teste automatização sistemas críticos casos de teste test software test criteria automated critical systems test case | ||||||||||||
| 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. 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. | ||||||||||||
| Área | COMP | ||||||||||||
| Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Geração de casos... | ||||||||||||
| Conteúdo da Pasta doc | acessar | ||||||||||||
| Conteúdo da Pasta source |
| ||||||||||||
| Conteúdo da Pasta agreement |
| ||||||||||||
| 4. Condições de acesso e uso | |||||||||||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/36T9LLB | ||||||||||||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/36T9LLB | ||||||||||||
| Idioma | pt | ||||||||||||
| Grupo de Usuários | administrator ericaferrso@gmail.com ricardo viveca@sid.inpe.br yolanda.souza@mcti.gov.br | ||||||||||||
| Visibilidade | shown | ||||||||||||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 | ||||||||||||
| Detentor da Cópia | SID/SCD | ||||||||||||
| Permissão de Leitura | allow from all | ||||||||||||
| Permissão de Atualização | não transferida | ||||||||||||
| 5. Fontes relacionadas | |||||||||||||
| Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 | ||||||||||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS | ||||||||||||
| Divulgação | NTRSNASA; BNDEPOSITOLEGAL. | ||||||||||||
| Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | ||||||||||||
| 6. Notas | |||||||||||||
| Campos Vazios | academicdepartment 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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject targetfile tertiarymark tertiarytype url versiontype | ||||||||||||
| 7. Controle da descrição | |||||||||||||
| e-Mail (login) | sergio | ||||||||||||
| atualizar | |||||||||||||