MÉTODO PARA GERAÇÃO AUTOMÁTICA DE CASOS DE TESTE BASEADA EM REQUISITOS, MEIO LEGÍVEL POR COMPUTADOR NÃO TRANSITÓRIO E SISTEMA PARA GERAÇÃO AUTOMÁTICA DE CASOS DE TESTE BASEADOS EM REQUISITOS

IPC Classification

Priority claims

Abstract

MÉTODO PARA GERAÇÃO AUTOMÁTICA DE CASOS DE TESTE BASEADA EM REQUISITOS, MEIO LEGÍVEL POR COMPUTADOR NÃO TRANSITÓRIO E SISTEMA PARA GERAÇÃO AUTOMÁTICA DE CASOS DE TESTE BASEADOS EM REQUISITOS Um método de geração de casos de teste baseados em requisitos automatizados inclui a construção de um modelo de arquitetura de software derivado do modelo de informações arquitetõnicas de projeto de software, alocando modelos de requisitos em blocos/ operadores de modelo de arquitetura de software, e gerando casos de teste com base em requisitos a nível componente da arquitetura de software configurados para serem executáveis em diferentes níveis na arquitetura de software. O método de geração de casos de teste baseados em requisitos a nível de componente inclui a recepção de uma arquitetura de software, junto com os modelos de requisitos alocados representados no diagrama de fluxo de dados hierárquico, selecionando um dos componentes de software, construindo um modelo de teste intermediário com base no componente selecionado anexando automaticamente a pelo menos um dos objetivos ou restrições de teste para os blocos/ operadores de modelo de arquitetura de software correspondentes com base na estratégia de teste selecionada e geração de casos de teste humanos e legíveis por máquina com o gerador de teste para posterior conversão automática para testar artefatos executáveis e de revisão de teste. Um sistema e um meio não transitório legível por computador para implementar o método também são divulgados.