Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Mostrar outras versões (1)

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Matos, Ernesto Cid Brasil de
Outros Autores: Moreira, Anamaria Martins
Formato: Dissertação
Idioma:por
Publicado em: Universidade Federal do Rio Grande do Norte
Assuntos:
engenharia de software
método B
testes de software
testes baseados em modelos
testes de unidade
software engineering
B method
software testing
model based testing
unit testing
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/jspui/handle/123456789/18042
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

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

Registros relacionados