@TechReport{AmbrosioMartViajCarv:2004:TePrIn,
               author = "Ambrosio, Ana Maria and Martins, Eliane and Viajaykumar, 
                         Lankalapalli Vijaykumar and Carvalho, Solon Ven{\^a}ncio de",
                title = "CoFI - Conformance and fault injection: a testing process 
                         including test and fault cases derivation for space application 
                         software validation",
          institution = "Instituto Nacional de Pesquisas Espaciais",
                 year = "2004",
                 type = "RPQ",
               number = "INPE-11485-RPQ/779",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "DESENVOLVIMENTO DE SISTEMAS DE SOLO, testes, falhas, 
                         valida{\c{c}}{\~a}o, comunica{\c{c}}{\~a}o solo-bordo, SOIL 
                         SYSTEMS DEVELOPMENT, tests, faults, proving, ground-air-ground 
                         communication.",
             abstract = "Este relat{\'o}rio de pesquisa descreve um novo processo de teste 
                         denominado CoFI (Conformance and Fault Injection), o qual 
                         est{\'a} sendo definido como parte do programa de doutorado em 
                         Computa{\c{c}}{\~a}o Aplicada. O CoFI integra duas abordagens de 
                         teste existentes: teste de conformidade e t{\'e}cnica de 
                         inje{\c{c}}{\~a}o de falhas. Este processo tem como objetivo 
                         principal a valida{\c{c}}{\~a}o de implementa{\c{c}}{\~o}es 
                         dos servi{\c{c}}os de software especificados no padr{\~a}o 
                         ECSS-E-70-41A. Esses servi{\c{c}}os, adotados com sucesso em 
                         muitas miss{\~o}es espaciais, definem a comunica{\c{c}}{\~a}o, 
                         no n{\'{\i}}vel das aplica{\c{c}}{\~o}es, entre aplicativos de 
                         solo e aplicativos a bordo de sat{\'e}lites. A Ag{\^e}ncia 
                         Espacial Europ{\'e}ia (ESA) vem estabelecendo padr{\~o}es para 
                         software de miss{\~o}es espaciais no trabalho do Comit{\^e} 
                         Europeu para Padroniza{\c{c}}{\~a}o Espacial (ECSS). Os 
                         padr{\~o}es proporcionam uma redu{\c{c}}{\~a}o de custos no 
                         desenvolvimento do software realizado pelas ag{\^e}ncias 
                         espaciais e pela ind{\'u}stria ao longo dos anos. O CoFI {\'e} 
                         um processo de teste de conformidade baseado no padr{\~a}o 
                         IS-9646 para protocolos ISO, cujo objetivo {\'e} ser aplicado 
                         para valida{\c{c}}{\~a}o dos servi{\c{c}}os padronizados pela 
                         ECSS-E-7041A. A vantagem desse processo {\'e} a 
                         gera{\c{c}}{\~a}o de um conjunto de testes abstratos, o qual 
                         melhora a efic{\'a}cia dos testes. A confian{\c{c}}a nos casos 
                         de testes e casos de falhas e a converg{\^e}ncia dos mesmos 
                         s{\~a}o aumentadas conforme os casos v{\~a}o sendo mais 
                         aplicados (re-usados). Um caso de teste e um caso de falha na sua 
                         forma abstrata s{\~a}o ilustrados para o servi{\c{c}}o 
                         verifica{\c{c}}{\~a}o de telecomando especificado em 
                         ECSS-E_4071A. Como teste de conformidade est{\'a} relacionado ao 
                         processo de certifica{\c{c}}{\~a}o, o assunto abordado nesse 
                         relat{\'o}rio pode ser aplicado em certifica{\c{c}}{\~a}o de 
                         aplica{\c{c}}{\~o}es espaciais. ABSTRACT: This research report 
                         describes a new testing process named CoFI (Conformance and Fault 
                         Injection), which has been defined as part of the doctorate 
                         program in Applied Computing. The CoFI integrates two existing 
                         testing approaches: conformance test and fault injection 
                         technique. This process is focused on the validation of 
                         implementations of the software services stated in the 
                         ECSS-E-70-41A standard. These services, successfully adopted in 
                         many space missions, defines the application-level communication 
                         between on-board and ground applications. The European Space 
                         Agency has been setting standards for space mission software in 
                         the work of the European Committee for Space Standardization 
                         (ECSS). The standards lead to cost reduction of space mission 
                         software development for space agencies and industries over the 
                         years. The CoFI is a conformance testing process founded on the 
                         IS-9646 standard for ISO protocol, aimed to being applied for the 
                         ECSS-E-7041A standard services. The advantage of this process is 
                         the generation of a re-usable abstract test suite which improves 
                         the effectiveness of testing the services. Reliability and 
                         convergence in the test and fault cases are increased the more the 
                         tests are being applied. A test cases and a fault case in the 
                         abstract format are illustrated for the telecommand verification 
                         service stated in the ECSS-E_4071A. Since conformance test is 
                         related to the certification process, the subject on this report 
                         may be applied to space application certification business.",
          affiliation = "Instituto Nacional de Pesquisas Espaciais, Divis{\~a}o de 
                         Desenvolvimento de Sistemas de Solo (INPE.DSS) and Instituto 
                         Nacional de Pesquisas Espaciais, Laborat{\'o}rio de Associado de 
                         Computa{\c{c}}{\~a}o e Matem{\'a}tica Aplicada (INPE.LAC) and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)}",
           copyholder = "SID/SCD",
             language = "pt",
                pages = "77",
                  ibi = "6qtX3pFwXQZsFDuKxG/EcfrM",
                  url = "http://urlib.net/ibi/6qtX3pFwXQZsFDuKxG/EcfrM",
        urlaccessdate = "16 maio 2024"
}