Geração de casos de teste a partir de especificações B

Mostrar outras versões (1)

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of tes...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Souza, Fernanda Monteiro de
Outros Autores: Moreira, Anamaria Martins
Formato: Dissertação
Idioma:por
Publicado em: Universidade Federal do Rio Grande do Norte
Assuntos:
Testes
Especificações Formais
Testes Baseados em Modelos
Testing
Formal Specification
Model Based Testing
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/jspui/handle/123456789/18005
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/18005

Registros relacionados