| 1. Identificação | ||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | |||
| Site | mtc-m16.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 6qtX3pFwXQZGivnJSY/HodCw | |||
| Repositório | sid.inpe.br/MTC-m13@80/2005/09.06.13.34 | |||
| Última Atualização | 2017:07.03.12.40.37 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/MTC-m13@80/2005/09.06.13.34.07 | |||
| Última Atualização dos Metadados | 2019:03.01.12.43.33 (UTC) simone | |||
| Chave Secundária | INPE-13264-TDI/1031 | |||
| Chave de Citação | Ambrosio:2005:AbCoTe | |||
| Título | CoFI: uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais  | |||
| Título Alternativo | CoFI: an approach combining conformance test and fault injection for espace application software validation | |||
| Curso | CAP-SPG-INPE-MCT-BR | |||
| Ano | 2005 | |||
| Data Secundária | 20051220 | |||
| Data | 2005-07-01 | |||
| Data de Acesso | 26 abr. 2024 | |||
| Tipo da Tese | Tese (Doutorado em Computação Aplicada) | |||
| Tipo Secundário | TDI | |||
| Número de Páginas | 209 | |||
| Número de Arquivos | 648 | |||
| Tamanho | 27013 KiB | |||
| 2. Contextualização | ||||
| Autor | Ambrosio, Ana Maria | |||
| Grupo | CAP-SPG-INPE-MCT-BR | |||
| Banca | Montes Filho, Antonio (presidente) Carvalho, Solon Venâncio de (orientador) Martins, Eliane Vijaykumar, Nandamudi Lankalapalli Sant'Anna, Nilson Fernandes, Clóvis Torres Jino, Mario | |||
| Endereço de e-Mail | marcelo.pazos@inpe.br | |||
| Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Cidade | São José dos Campos | |||
| Histórico (UTC) | 2005-12-20 15:55:45 :: jefferson -> jeferson :: 2006-05-17 19:44:02 :: jeferson -> jefferson :: 2006-05-18 11:56:19 :: jefferson -> jeferson :: 2006-05-18 11:58:53 :: jeferson -> administrator :: 2009-04-14 12:53:28 :: administrator -> jefferson :: 2009-04-30 15:30:31 :: jefferson -> administrator :: 2009-05-02 03:09:23 :: administrator -> marciana :: 2009-06-12 15:33:23 :: marciana -> administrator :: 2009-06-16 17:20:54 :: administrator -> marciana :: 2009-06-19 17:09:14 :: marciana -> administrator :: 2017-05-04 18:36:38 :: administrator -> marcelo.pazos@inpe.br :: 2005 2017-07-03 12:48:42 :: marcelo.pazos@inpe.br -> administrator :: 2005 2018-06-05 01:16:01 :: administrator -> marcelo.pazos@inpe.br :: 2005 2019-03-01 12:43:05 :: marcelo.pazos@inpe.br -> simone :: 2005 2019-03-01 12:43:33 :: simone -> :: 2005 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | metotologia de teste teste de conformidade injeção de falhas verificação de telecomando testing methodology conformance testing fault injection telecommand verification | |||
| Resumo | Este trabalho propõe um processo e uma metodologia de teste de software visando reduzir custos e diminuir o número de incidentes em missões espaciais. Seguindo a tendência atual das padronizações de software em aplicações espaciais, o teste de conformidade será de interesse em tais aplicações em futuro próximo como foi o caso da padronização de protocolos em telecomunicações, que levou ao estabelecimento do padrão ISO-9646 de teste de conformidade, nos anos 80. Para softwares em aplicações espaciais a validação da conformidade é complementada com a técnica de injeção de falhas para considerar as consequências da radiação do ambiente sofridas pelo software. A proposta consta de um processo de teste baseado na IS-9646 que abriga uma metodologia para orientar o projeto de testes. Ambos, o processo e a metodologia são denominados CoFI, pois combinam teste de conformidade e validação por falhas injetáveis. A principal característica da metodologia é tratar falhas que imitam os problemas físicos causados pela radiação que afetam a comunicação computacional a bordo de satélites. Uma outra característica é o uso de métodos formais e artefatos da UML para facilitar a automação. Efeitos colaterais, como explosão no número de testes, do uso de ferramentas de geração de testes a partir de especificações formais são tratados com a separação do comportamento normal e excepcional em modelos distintos. A sequência de teste gerada com a CoFI é avaliada empiricamente em três aplicações: um serviço padronizado na norma ECSS-E-70-41A que aborda comunicação solo-bordo, um protocolo de bordo e um protocolo de solo para comunicação entre Centro de Controle e estação terrena. As duas últimas têm sido usadas atualmente em missões de satélites científicos no INPE. Uma análise da eficiência da sequência de teste CoFI relacionada ao critério de adequação de falhas de mutação em máquinas de estado foi realizada. Os resultados mostraram que a metodologia é competitiva e eficaz para ser aplicada em projetos espaciais reais. Apesar da abordagem CoFI focar a validação de software de comunicação a bordo de satélites, ela não é restrita a esse tipo de aplicação. ABSTRACT: In order to reduce costs and decrease the number of space mission incidents this dissertation proposes a software test process and methodology. Following the standardization trend of software in space application, conformance testing will be of interest in such applications in the near future; as was the case for telecommunications when, in 1980`s, the International Organization for Standardization (ISO) established the ISO conformance testing standard IS-9646. To complement the conformance validation and to take into account the consequences space applications software suffers from the environment radiation, the fault injection technique was adopted. In this dissertation, the test process is based on the IS-9646 and it embraces a test methodology that guides test designing. Both the process and the test methodology are named CoFI, as they combine conformance testing and fault injection. The main characteristic of the methodology is to deal with faults that mimic problems caused by the space radiation environment that affects computational communication on board of satellites. Another feature is to use formal methods and UML artifacts in order to allow automation. Side effects such as the test number explosion of using formal methods are mitigated with normal and exceptional behavior representation into distinct models. The CoFI test sequence is empirically evaluated in three real applications: a standardized service of the ECSS-E-70-41A for ground-board communication, an on-board communication protocol and a ground, Control Centre and ground station, protocol. The last two applications have been used in INPE`s scientific satellite missions. An analysis of the CoFI test sequence efficiency related to the adequacy criteria of finite state machine mutation faults was performed. Results have shown a competitive and efficient methodology for real space projects. Although the CoFI approach is focused on satellite on-board communication software validation, it is not restricted to this kind of application. | |||
| Área | COMP | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > CoFI: uma abordagem... | |||
| 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/6qtX3pFwXQZGivnJSY/HodCw | |||
| URL dos dados zipados | http://urlib.net/zip/6qtX3pFwXQZGivnJSY/HodCw | |||
| Idioma | pt | |||
| Arquivo Alvo | publicacao.pdf | |||
| Grupo de Usuários | administrator jefferson simone | |||
| Visibilidade | shown | |||
| Detentor da Cópia | SID/SCD | |||
| Permissão de Leitura | allow from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS | |||
| Divulgação | NTRSNASA; BNDEPOSITOLEGAL. | |||
| Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 | |||
| 6. Notas | ||||
| Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark mirrorrepository nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid rightsholder schedulinginformation secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype | |||