Reactis. Reactis ajuda os engenheiros a criar software mais rápido automatizando muitas verificação
Baixe Agora

Reactis. Classificação e resumo

Reactis. Tag

Reactis. Descrição

Reactis ajuda os engenheiros a construir um software melhor mais rápido automatizando muitas tarefas de verificação e validação em um processo de design baseado em modelos. O design baseado em modelos está crescendo em popularidade entre engenheiros que desenvolvem software de controle incorporado. Em design baseado em modelos, modelos visuais executáveis de software de controle incorporado são desenvolvidos antes da implementação do sistema. Os modelos podem ser usados para impulsionar o desenvolvimento do software de controle e também podem servir de base para o software e testes do sistema. Um benefício do design baseado em modelos é que ele permite que os engenheiros iniciem as atividades de depuração e validação no momento do projeto, quando o custo de detecção e lidar com defeitos de design é muito menor do que no nível de implementação do software e do sistema. Outra é que os modelos podem ser usados como linha de base para avaliar o comportamento de implementação durante o teste e validação do sistema. Por estas razões, o uso judicioso de modelagem pode levar a reduções bastante dramáticas sobre todas as reduções no custo do desenvolvimento do sistema de controle, especialmente quando o suporte à ferramenta robusto está disponível. Recursos: - gerar testes de um modelo que exercite minuciosamente o modelo (teste estrutural); - encontrar erros de tempo de execução (por exemplo, erros de transbordamento, divide-por-zero erros) em um modelo; - Execute o modelo e a cobertura de rastreamento (por exemplo, MC / DC); - Realize testes funcionais para verificar se um modelo pode ou não violar seus requisitos; - Use um conjunto de testes Reactis como um Oracle para verificar se o código está em conformidade com um modelo.

Reactis. Software Relacionado