Gungnir uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. / Gungnir A tool for executing and generating conformance tests using timed automatas.
AUTOR(ES)
Rodrigo José Sarmento Peixoto
DATA DE PUBLICAÇÃO
2010
RESUMO
Oobjetivo neste trabalho é aumentar a confiança no funcionamento de sistemas da automação através do uso de uma ferramenta de geração e execução automática de testes de conformidade. A ferramenta desenvolvida chama-se Gungnir e utiliza modelos formais, cujo padrão utilizado é o formalismo de Autômato Temporizado (AT). Os sistemas de controle são constituídos por Controladores Lógicos Programáveis (CLP) e normalmente são desenvolvidos nas linguagens Ladder e Function Block Diagram (FBD). A atividade da Gungnir é verificar se a implementação do sistema de controle desenvolvida na linguagem Ladder é compatível com a especificação modelada utilizando o padrão ISA 5.2. Para isso são utilizadas ferramentas de tradução de programas Ladder e diagramas ISA 5.2 para modelos de AT, definidos critérios de cobertura e criadas heurísticas as quais asseguraram menor custo computacional durante a execução dos testes
ASSUNTO(S)
autômatos temporizados software sistema de coleta de dados modelos computacionais testes sistemas de controle ciencia da computacao software data collect system computational model tests timed automatas control systems
ACESSO AO ARTIGO
http://bdtd.ufal.br/tde_busca/arquivo.php?codArquivo=918Documentos Relacionados
- ChipCflow - uma ferramenta para execução de algoritmos utilizando o modelo a fluxo de dados dinâmico em hardware reconfigurável
- UMA META-FERRAMENTA DE GERAÇÃO DE DIAGRAMAS UTILIZADA NA ENGENHARIA REVERSA DE SISTEMAS LEGADOS
- Desenvolvimento e execução automática de testes funcionais do SIGI.
- Protein Classification Tool:: uma ferramenta para anotação de proteínas utilizando bases secundárias
- Geração automática de casos de testes para máquinas de estados finitos