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 software. Repetíveis, com evidências.

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

Testes de software Teste software embebido, em rede e complexo com o Midair. Testes de sistemas embebidos Teste software embebido, firmware e sistemas que dependem do hardware. Testes de hardware de rede Teste routers, gateways e dispositivos ligados com tráfego real e em cenários com vários dispositivos. Automação de testes Automatize testes distribuídos em dispositivos, máquinas e ambientes com o TS Factory. 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;

Aná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.

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.

Sistemas embebidos e dispositivos. De um build a uma frota.

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

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.

Verificação. O sistema inteiro, em contexto.

Valide o comportamento do sistema completo e mantenha cada execução de verificação no seu contexto.

Comportamento do sistema inteiroValidação de sistemas embebidos Valide o comportamento completo de um sistema embebido no firmware, no hardware e em ambientes que mudam. Sistemas críticosSoftware 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.