Testes, análise e segurança. Para sistemas complexos.

Quinze guias, cada um sobre um problema concreto e a forma como o Midair o resolve. Vão da análise de código embebido às frotas de dispositivos e à verificação de software crítico para a segurança.

Iniciar o seu piloto

Testes de sistemas embebidos. Em dispositivos reais.

Teste o firmware e o comportamento dependente do hardware em dispositivos reais, de um build a uma frota, e reproduza as falhas que só aparecem aí.

Visão geralTestes de sistemas embebidos Teste software embebido, firmware e sistemas que dependem do hardware. Um build de firmwareTestes de firmware Encontre falhas ocultas no firmware antes da produção, em dispositivos e configurações reais. O firmware encontra o hardwareTestes de integração hardware-software Reproduza falhas de integração hardware-software nas execuções de testes em sistemas embebidos. Uma frota de dispositivosTestes de dispositivos IoT Teste dispositivos IoT com diferentes versões de firmware, condições de rede e ambientes distribuídos. O sistema inteiroValidação de sistemas embebidos Valide o comportamento completo de um sistema embebido no firmware, no hardware e em ambientes que mudam.

Testes de software. Repetíveis, com evidências.

Execute testes repetíveis em máquinas, redes e ambientes distribuídos, e guarde as evidências de cada resultado.

Visão geralTestes de software Teste software embebido, em rede e complexo com o Midair. Automação de testes Automatize testes distribuídos em dispositivos, máquinas e ambientes com o TS Factory. Testes de hardware de rede Teste routers, gateways e dispositivos ligados com tráfego real e em cenários com vários dispositivos. Testes de desempenho Execute cenários repetíveis de desempenho e de carga em sistemas distribuídos.

Análise estática. Antes de o código correr.

Encontre usos inseguros de memória, transbordos de inteiro e violações das regras do seu projeto antes de o código ser executado.

parser.c

41size_t n = len * count;transbordo de inteiro
42char *buf = malloc(n);
43memcpy(buf, src, len * count);uso inseguro de memória
44buf[n] = 0;

Visão geralAnálise estática de código Analise o código-fonte antes da execução com o Visao, no Midair, e ligue cada ocorrência aos testes e às evidências de execução. Análise estática para sistemas embebidos Analise software embebido com o Visao antes da integração com o hardware. Ferramentas de análise estática O que procurar numa ferramenta de análise estática e como o Visao trata os caminhos de execução e as regras do projeto.

Testes de segurança. Código, testes e execução.

Testes de segurança para sistemas de software embebidos, em rede e complexos.

Testes de cibersegurança Ligue as ocorrências de segurança no código, os cenários de teste dirigidos e as evidências de execução. Testes de segurança em sistemas embebidos Teste o comportamento sensível para a segurança no firmware, em dispositivos ligados e em ambientes que dependem do hardware.

Software crítico para a segurança. Verificação com evidências.

Verifique software em que uma falha pode causar danos a pessoas, e guarde juntas a análise, os testes e as evidências de execução de cada execução.

Software crítico para a segurança Verifique software crítico para a segurança com análise estática, testes reproduzíveis e evidências de execução, todos ligados entre si.