| 摘要 |
sistema e método de acordo com algumas realizações, trata-se de um sistema que compreende um dispositivo de comunicação operacional para se comunicar com um usuário para obter um ou mais requisitos associados a um modelo para um módulo de geração de caso de teste; um módulo de computador de tradução para receber o modelo, armazenar o modelo e gerar um modelo intermediário; um módulo de computador gerador para receber o modelo intermediário, armazenar o modelo intermediário e gerar pelo menos um caso de teste; uma memória para armazenar instruções de programa; pelo menos um processador de plataforma de geração de caso de teste, acoplado à memória e em comunicação com o módulo de computador de tradução e com o módulo de computador gerador, operacional para executar instruções de programa para: transformar o modelo em um modelo intermediário executando-se o módulo de computador de tradução; identificar um tipo de modelo associado ao modelo intermediário com base em uma análise do modelo intermediário executando-se o módulo de computador gerador; selecionar um método de geração de teste com base na análise do tipo de modelo identificado executando-se o módulo de computador gerador; gerar pelo menos um caso de teste para uso em validação e verificação de software. muitos outros aspectos são proporcionados. |
