Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema...

Full description

Bibliographic Details
Main Author: Baumgartner Neto, August
Other Authors: Silva, José Reinaldo
Format: Others
Language:pt
Published: Biblioteca Digitais de Teses e Dissertações da USP 2015
Subjects:
Criação de casos de testes
Domain representation in OWL
Generation of test processes
Ontologia
Petri Nets
Redes de Petri
Representação de domínios em OWL
System software testing
Teste em sistemas de software
Validação de resultados de testes
Validation of test results
Web semântica
Online Access:http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/

Internet

http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/

Similar Items