Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados

• Ano de defesa: 2010
• Autor(a) principal: Peixoto, Rodrigo José Sarmento
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Alagoas; BR; Modelagem Computacional de Conhecimento; Programa de Pós-Graduação em Modelagem Computacional de Conhecimento; UFAL
• Palavras-chave em Português: Software - Data collect system; Computational model - Tests; Timed Automatas; Control systems; Software - Sistema de coleta de dados; Modelos computacionais -Testes; Autômatos temporizados; Sistemas de controle; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
• Link de acesso: http://repositorio.ufal.br/handle/riufal/841

The aim of this work is to increase the dependability of automation systems through the use of a tool for automatic generating and executing conformance tests. The developed tool calledGungnir uses formalmodels to performits actions,whose standard used is the formalism of Timed Automata (TA). The control systems consists of programmable logic controllers (PLC) and are often developed with Ladder and Function Block Diagram (FBD) languages. The Gugnir s key activity is to verify if the implementation of the control system developed in Ladder is compatible with the specification defined using the ISA 5.2 standard. To do so we used translation tools (from Ladder and ISA 5.2. to TA models), define coverages criteria and heuristics to ensure that the model was well tested