@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"
}