Conjunto de qualificação de ferramentas de acordo com DO-330, ISO-26262
Aplicável a
DO-178B, DO-178C / ED-12B, ED-12C / DO-278A / ED-109A
Qual é a qualificação das ferramentas de verificação de software?
Oferecemos a possibilidade de qualificar as nossas próprias ferramentas de verificação ou ferramentas comerciais. Submetemos a ferramenta a uma multiplicidade de casos de teste e fornecemos um relatório pormenorizado com os resultados e a respectiva análise. Para além dos casos de teste, oferecemos a possibilidade de adicionar, personalizar ou remover casos de teste de acordo com as necessidades do cliente. Juntamente com o conjunto de testes, é fornecida documentação de qualificação.
Estabelecemos um contacto estreito com os nossos clientes e orientamo-los ao longo do processo de qualificação. O nosso apoio na execução de casos de teste é de particular importância.
O que oferecemos
Criação de casos de teste à medida
Estudamos a funcionalidade da ferramenta em que o cliente está interessado e concebemos os casos de teste relevantes.
Oferecemos uma ferramenta flexível, na qual podem ser facilmente incorporados novos casos de teste personalizados.
Fornecemos documentação de qualificação
Inclui dois documentos principais:
- Requisitos operacionais da ferramenta (TOR), que descrevem os requisitos a cumprir pela ferramenta.
- Casos e procedimentos de verificação e validação operacional da ferramenta (TOVVCP), que inclui uma descrição pormenorizada dos casos de teste
Certificação de acordo com diferentes normas e linguagens de programação
Estamos familiarizados com normas de certificação como MISRA-C 2004, 2012 e 2023, MISRA-C++ 2023,ICAO ADS-B e ASTERIX.
Trabalhámos com ferramentas baseadas em C, C++ e LUA.
Serviço de apoio e aconselhamento
Oferecemos apoio no que respeita à implementação e utilização da nossa ferramenta. Além disso, oferecemos aconselhamento sobre o desenvolvimento correto da ferramenta para garantir a sua conformidade com a norma.
Manutenção durante o desenvolvimento
Acompanhamos os nossos clientes durante o desenvolvimento da sua ferramenta proprietária, fornecendo versões consecutivas da suite de qualificação para nos adaptarmos às suas necessidades em qualquer altura.
Como o fazemos
Prestações de serviços
Plano de Qualificação de Ferramentas (TQP)
Plano de qualificação de ferramentas
Requisitos operacionais da ferramenta (TOR)
Especificação dos requisitos operacionais
Casos e procedimentos de verificação e validação operacional de ferramentas (TOVVCP)
- Especificação de casos de teste
- Ficheiros de configuração que contêm os casos de teste: permitem acrescentar novos casos de teste.
O conjunto de qualificações
Ferramenta baseada em scripts Python que executa os casos de teste e gera vários relatórios detalhados dos resultados.
- Código Python
- Ficheiros de configuração
Índice de configuração da ferramenta
Identificação e configuração de ferramentas
Resumo das realizações da ferramenta
Diferenças entre o plano de qualificação e a qualificação realizada
Ferramentas comerciais de análise estática de código-fonte
Qualificámos várias ferramentas comerciais de acordo com as seguintes normas:
Disponível! | PC-lint Plus, CppCheck Premium, Understand
MISRA C 2004
MISRA C 2012
MISRA C 2023
MISRA C++ 2023
Ferramentas de monitorização do tráfego de rede
Qualificámos várias ferramentas próprias de acordo com as seguintes normas:
Já disponível! | Plug-in LUA para o Wireshark
Monitorização de mensagens ADS-B. Suportamos as mensagens de downlink nos formatos DF-0 a DF-24 da ICAO.
Já disponível! | Wireshark
Monitorização de mensagens ASTERIX. Suportamos as mensagens ASTERIX das categorias 001 a 247 da ICAO.
Projetos atuais
Ferramenta SnmpB, um explorador de MIBs SNMP com interface gráfica.
