Fechar

@InProceedings{AlarcónCarvSimõ:2014:GeAuCa,
               author = "Alarc{\'o}n, Paulo Nolberto dos Santos and Carvalho, 
                         Fabr{\'{\i}}cio Galende Marques de and Sim{\~o}es, Andr{\'e} 
                         Rodrigues",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and Funda{\c{c}}{\~a}o 
                         de Ci{\^e}ncia, Aplica{\c{c}}{\~o}es e Tecnologias Espaciais 
                         (FUNCATE)",
                title = "Gera{\c{c}}{\~a}o autom{\'a}tica de casos de teste aplicada ao 
                         projeto de aocs de sat{\'e}lites artificiais",
            booktitle = "Anais...",
                 year = "2014",
         organization = "Congresso Brasileiro de Autom{\'a}tica.",
             keywords = "AOCS, Automatic Test Case Generation, Control Systems, Space 
                         Systems, Model-based Testing, AOCS, Gera¸c˜ao Autom´atica de Casos 
                         de Testes, Sistemas de Controle, Sistemas Espaciais, Teste Baseado 
                         em Modelos.",
             abstract = "This work does a case study about the application of two 
                         techniques for automatic test case generation in the development 
                         of an attitude and orbit control system for artificial satellites, 
                         including software and simulators. We compared two techniques, 
                         being a finite state machine-based technique (W method) and a 
                         formal specification-based technique (decompositional method). W 
                         method proved be applicable in all conditions of the system 
                         verification, but decompositional method has shown be partially 
                         applicable for this kind of system. RESUMO: Este trabalho faz um 
                         estudo de caso sobre a aplica{\c{c}}{\~a}o de duas t{\'e}cnicas 
                         de gera{\c{c}}{\~a}o autom{\'a}tica de casos de testes no 
                         desenvolvimento de um sistema de controle de atitude e {\'o}rbita 
                         para sat{\'e}lites, incluindo software e simuladores. As 
                         t{\'e}cnicas comparadas foram os m{\'e}todos W, que {\'e} 
                         baseado em m{\'a}quinas de estados finitos, e decomposicional, 
                         que {\'e} baseado em especifica{\c{c}}{\~o}es formais. O 
                         m{\'e}todo W mostrou-se aplic{\'a}vel em todas as 
                         condi{\c{c}}{\~o}es ao passo que o m{\'e}todo decomposicional 
                         demonstrou-se parcialmente aplic{\'a}vel no desenvolvimento deste 
                         tipo de sistema.",
  conference-location = "Belo Horizonte",
      conference-year = "20 set., 2014",
                label = "self-archiving-INPE-MCTI-GOV-BR",
             language = "pt",
        urlaccessdate = "29 mar. 2024"
}


Fechar