VectorCAST/Lint

VectorCAST/Lint

Análise estática

O VectorCAST/Lint é um analisador de código-fonte estático que executa análises de código-fonte baseadas em módulos ou em todo o programa em bases de código C e C ++ e identifica automaticamente problemas em sua origem, antes da compilação. A análise estática do VectorCAST / Lint ajuda os desenvolvedores a encontrar erros de programação e outros defeitos no início do ciclo de desenvolvimento de software, antes de qualquer teste formal, reduzindo assim o custo, tempo e risco associados ao desenvolvimento de aplicativos embarcados de segurança e de missão crítica. Erros envolvendo inicialização de dados, incompatibilidade de tipo e inconsistências entre módulos podem levar muito tempo para serem encontrados durante a execução do código, pois geralmente resultam em uma violação de segmentação ou outra "falha". O VectorCAST / Lint identifica esses erros antes da compilação do código, agilizando a fase de testes do seu projeto.

O VectorCAST/Lint utiliza o poderoso mecanismo de análise de código-fonte Lint da Gimpel Software e foi estendido para suportar a extensa lista de ambientes de compiladores incorporados atualmente integrados à linha de produtos de teste dinâmico VectorCAST.

Pronto para uso, o VectorCAST/Lint está configurado para verificar os padrões MISRA C, MISRA C: 2004 e MISRA C ++: 2008. Esses padrões recomendam o uso de um subconjunto restrito de construções para as linguagens C e C ++, com o objetivo de ser um uso mais seguro e sustentável da linguagem. Áreas de código que não estão em conformidade com as regras internas do padrão são destacadas nos relatórios de análise de código. Os recursos de verificação MISRA no VectorCAST / Lint incluem a detecção de recursão, suporte ao conceito de 'tipo subjacente' MISRA 2, determinação de efeitos colaterais para funções e suporte a MISRA C ++.

Garantia de software embarcado confiável, combinando análise estática com teste dinâmico para verificar o código

O VectorCAST/Lint é o complemento perfeito para as ferramentas dinâmicas de teste de software incorporado no pacote VectorCAST. Enquanto o VectorCAST/Lint examinará todo o seu programa C ou C ++ e encontrará bugs, inconsistências e redundâncias antes da compilação do código-fonte, os testes dinâmicos, como testes de unidade e integração, cobertura de código e gerenciamento de testes de regressão, concentram-se na execução do código-fonte no seu hardware incorporado para avaliar a correção do código através da análise de aprovação / reprovação de casos de teste.

Como as ferramentas dinâmicas não dependem da análise estática para obter informações para construir chicotes de teste executáveis, isso reduz a necessidade de executar a análise estática toda vez que uma alteração é feita em um arquivo ao realizar testes de unidade, integração e regressão. Ao combinar a análise estática do código-fonte e o teste dinâmico, as organizações que desenvolvem aplicativos incorporados em C e C ++ podem aumentar a velocidade e a precisão da detecção de defeitos, reduzir o processo de verificação e validação e garantir um software de maior qualidade.

Vantagens

• Ajuda a encontrar problemas relacionados a especificações de linguagem pouco escritas
• Dedicado à verificação de código para possíveis defeitos
• O mecanismo de análise é baseado na tecnologia de análise estática mais usada

Destaques do VectorCAST/Lint

• GUI fácil de usar reduz a curva de aprendizado
• Integrado ao FLEXlm para garantir a conformidade do licenciamento
• Suporte MISRA pronto para uso em C e C ++
• Navegador de código-fonte com anotações de mensagem
• Identificação de erros de inicialização, verificação de tipo e análise de macro
• Encontra rapidamente problemas que podem levar muito tempo para serem identificados durante o teste formal de software 
• Relatórios personalizáveis

Como funciona

Usando VectorCAST/Lint para análise de código fonte estático

O VectorCAST/Lint utiliza o poderoso mecanismo de análise de código-fonte Lint da Gimpel Software e foi estendido para oferecer suporte à extensa lista de ambientes de compiladores incorporados atualmente integrados ao restante da linha de produtos de teste dinâmico VectorCAST. O VectorCAST/Lint lança o produto PCLint da Gimpel Software para analisar estaticamente um ou mais arquivos de código-fonte. Toda a funcionalidade disponível no PCLint está disponível no VectorCAST / Lint.

O VectorCAST / Lint fornece vários aprimoramentos importantes para a funcionalidade abrangente do PCLint, que inclui conformidade de licenças e análise e relatórios baseados em GUI.

Conformidade da licença

A licença do VectorCAST/Lint é gerenciada pelo mesmo gerenciador de licenças que o restante do conjunto VectorCAST: FLEXlm. Isso fornece às organizações preocupadas com a conformidade da licença a capacidade de restringir o uso do PCLint apenas ao número de licenças que a organização possui. A Vector oferece dois modelos de licenciamento para o VectorCAST / Lint:

• Modo autônomo - O VectorCAST/Lint pode ser adquirido como um produto independente para suportar os requisitos de análise estática da sua organização. O VectorCAST / Lint inclui a licença PCLint.
• Modo de integração - O VectorCAST / Lint pode ser adquirido em conjunto com o VectorCAST / C ++ e / ou VectorCAST / QA, permitindo que o seu projeto realize análises estáticas e dinâmicas no seu código. Essa opção fornece a solução de análise e teste mais robusta para o seu código, garantindo que uma variedade maior de problemas seja identificada e resolvida antes do lançamento do produto. Nesse modo, as organizações podem comprar o PCLint com sua compra do VectorCAST/Lint ou integrar o VectorCAST / Lint às licenças PCLint existentes já pertencentes à organização.

Análise e relatórios baseados em GUI

O navegador de mensagens VectorCAST/Lint facilita a revisão de erros e avisos no contexto do arquivo de origem onde eles ocorrem. Além disso, o navegador de mensagens do VectorCAST / Lint exibe explicações detalhadas dos conceitos por trás da análise.

Requisitos do sistema:

CPU: processador dual core de 1,8 GHz

RAM: 2 GB

HDD / SSD: 50 GB de espaço livre na unidade principal

Sistema operacional: Microsoft Windows 8 32 bits, Microsoft Windows 7 32 bits e Microsoft Windows Vista 32-bit

Resolução: 1024×768