@TechReport{AmbrosioSiBrOlPaCe:2014:EsCaMo,
               author = "Ambrosio, Ana Maria and Silva, Paulo Diego Barbosa da and 
                         Brandolin, Jo{\~a}o Batista and Oliveira, Emerson H. S. and 
                         Padilha, Juliana Joria and Cereja Junior, Moacyr 
                         Gon{\c{c}}alves",
                title = "Estudo de casos em modelagem e gera{\c{c}}{\~a}o autom{\'a}tica 
                         de testes desenvolvidos na disciplina de verifica{\c{c}}{\~a}o e 
                         valida{\c{c}}{\~a}o de sistemas espaciais",
          institution = "Instituto Nacional de Pesquisas Espaciais",
                 year = "2014",
                 type = "RPQ",
               number = "INPE-17436-RPQ/267",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "Teste baseado em modelos, m{\'a}quina de estados finitos, 
                         verifica{\c{c}}{\~a}o e valida{\c{c}}{\~a}o, sistemas 
                         espaciais, model-basid testing, finite state machine, verification 
                         e validation, space systems.",
             abstract = "Este relat{\'o}rio compila e analisa os resultados da modelagem 
                         de quatro trabalhos experimentais realizados durante a disciplina 
                         de Verifica{\c{c}}{\~a}o e Valida{\c{c}}{\~a}o de Sistemas 
                         Espaciais (CSE-207-4), do curso de p{\'o}s-gradua{\c{c}}{\~a}o 
                         em Engenharia e Tecnologias Espaciais (PG-ETE). Os trabalhos 
                         experimentais constam da cria{\c{c}}{\~a}o de modelos de estados 
                         e da gera{\c{c}}{\~a}o autom{\'a}tica de testes a partir de 
                         modelos representando o comportamento de sistemas reativos, 
                         atrav{\'e}s de t{\'e}cnicas e ferramentas de teste baseadas em 
                         m{\'a}quinas de estados finitos (MEF). Conjuntos de casos de 
                         teste s{\~a}o gerados automaticamente com o uso da Plataforma 
                         JPlavisFSM e das ferramentas MME e Condado. A plataforma 
                         JPlavisFSM permite aplicar diferentes m{\'e}todos para gerar 
                         conjuntos de casos de testes, bem como avaliar tais conjuntos de 
                         casos de teste com base em mutantes de MEFs, servindo como uma 
                         ferramenta para apoio a atividades de verifica{\c{c}}{\~a}o e 
                         valida{\c{c}}{\~a}o. ABSTRACT This report compiles and analyzes 
                         the results of the modeling of four experimental works carried out 
                         during the discipline of Verification and Validation of Space 
                         Systems (CSE-207-4), of the postgraduate course in Engineering and 
                         Space Technologies (PG-ETE). The experimental work consists of the 
                         creation of state models and the automatic generation of tests 
                         from models representing the behavior of reactive systems, through 
                         techniques and test tools based on finite state machines (MEF). 
                         Test case sets are generated automatically using the JPlavisFSM 
                         Platform and the MME and County tools. The JPlavisFSM platform 
                         allows applying different methods to generate test case sets, as 
                         well as evaluating such test case sets based on MEF mutants, 
                         serving as a tool to support verification and validation 
                         activities.",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)} and {Instituto Nacional de Pesquisas 
                         Espaciais (INPE)} and {Instituto Nacional de Pesquisas Espaciais 
                         (INPE)} and {Instituto Nacional de Pesquisas Espaciais (INPE)}",
             language = "pt",
                pages = "74",
                  ibi = "8JMKD3MGP5W34M/3GSJNNP",
                  url = "http://urlib.net/ibi/8JMKD3MGP5W34M/3GSJNNP",
        urlaccessdate = "10 maio 2024"
}