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 as normas de certificação, tais como MISRA-C 2004, 2012 e 2023, MISRA-C++ 2023 ou ICAO ADS-B.
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!
MISRA C 2004 MISRA C 2012 MISRA C 2023
Em desenvolvimento...
Previsto para junho de 2025...
MISRA C++ 2023
Ferramentas próprias
Qualificámos várias ferramentas próprias de acordo com as seguintes normas:
Disponível!
Para monitorizar as mensagens ADS-B. Suportamos as mensagens de ligação descendente de formato DF-0 a DF-24 da ICAO (Anexo 10, Volume 4).
Em desenvolvimento...
Monitorização de mensagens ADS-B Asterix. Suporte das seguintes categorias:
- CAT 001 (versão 1.4)
- CAT 002 (versão 1.1)
- CAT 004 (versão 1.13)
- CAT 008 (versão 1.3)
- CAT 010 (versão 1.1, 4)
- CAT 017 (versão 1.3)
- CAT 018 (versão 1.8)
- CAT 021 (versão 0.23, 1.8, 2.2, 2.3, 2.4, 2.6)
- CAT 022 (versão 0.10)
- CAT 023 (versão 1.2, 1.3)
- CAT 025 (versão 1.5)
- CAT 034 (versão 1.29)
- CAT 048 (versão 1.31)
- CAT 063 (versão 1.6)
- CAT 065 (versão 1.6)
- CAT 240 (versão 1.3)
- CAT 247 (versão 1.3)
