Analisador de Cobertura

O Analisador de cobertura integra-se fortemente com todos os motores de verificação da Siemens, combinando cobertura de simulação, emulação, ferramentas estáticas e formais. Apoiar a UCDB permite uma transição fácil das ferramentas e fluxos existentes.

As funcionalidades analíticas de navegação e visualização do Analisador de Cobertura aceleram a compreensão do modelo de cobertura. Heatmaps, gráficos de distribuição e visualizações de rede fornecem insights para identificar e resolver rapidamente lacunas de cobertura.

A gestão colaborativa da exclusão do Analisador de Cobertura fornece uma visualização dinâmica para manter toda a equipa atualizada sobre as alterações, acelerando o processo e permitindo a auditoria baseada em equipa e a revisão do modelo de cobertura.

As funcionalidades baseadas em equipa do Analisador de Cobertura, notificações integradas e análises partilhadas, melhoram a comunicação acelerando o encerramento. Isto permite que os membros da equipa colaborem, revisem e contribuam rapidamente para o objetivo de encerramento.

O machine learning não supervisionado do Coverage Analyzer identifica expressões comuns difíceis de detectar e visualiza árvores de expressão. Isto permite que as equipas excluam ou analisem rapidamente subexpressões para acelerar o encerramento em lógica complexa.

A análise de buracos cruzados do Coverage Analyzer utiliza a aprendizagem automática para identificar as piores lacunas de cobertura, permitindo que as equipas concentrem rapidamente os seus esforços nas áreas mais críticas para acelerar o encerramento da cobertura funcional.