Este projeto busca aprimorar estratégias de desenvolvimento de testes para verificação de software crítico. Sistemas usados em transportes de pessoas, controles financeiros, equipamentos médicos e militares exigem uma certificação rigorosa do software. Planjamos aperfeiçoar duas estratégias de testes, uma simplificada criando automaticamente casos de testes aleatoriamente e uma estratégia baseada em restrições, a qual é muito eficaz e usada na comunidade de desenvolvimento de software crítico. Os testes explorados neste trabalho aumentam os critérios de confiabilidade do software e buscam atender requisitos rigorosos de certificação de software.
Projeto importado do Suap em 14/08/2026 às 03:11 (há 18 minutos)