A A A
:: Segunda-feira, 06 de Maio de 2024
Organização:    


Valid XHTML 1.0 Strict  CSS válido!

Siglas

Relação alfabética das siglas, acrônimos e abreviaturas utilizadas neste site e nos diversos documentos do projeto.

  • AF - Active Ferry
  • AnaLEP - Analisador da Linguagem de Especificação de Protocolos
  • ATIFS - Ambiente de Testes baseado em Injeção de Falhas por Software
  • ConDado - Gerador de casos de teste de Controle e Dados
  • EFSM - Extended Finite State Machine
  • FIM - Fault Injection Module
  • FSM - Finite State Machine
  • FSoFIST - Ferry-clip with Software Fault Injection Support Tool
  • GerScript - Gerador de Scripts
  • INPE - Instituto Nacional de Pesquisas Espaciais
  • IUT - Implementation Under Test
  • LEP - Linguagem de Especificação de Protocolos
  • LTS - Labelled Transition Systems
  • PCO - Ponto de Controle e Observação
  • PF - Passive Ferry
  • SeDados - Seletor de Dados
  • VerProp - Verificador de Propriedades
  • UFRN - Universidade Federal do Rio Grande do Norte
  • UNICAMP - Universidade Estadual de Campinas
  • VV&T - Verificação, Validação & Testes