PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

Sistemas Reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicas rigorosas para a especificação do comportamento desse tip...

Full description

Bibliographic Details
Main Author: Adenilso da Silva Simão
Other Authors: Jose Carlos Maldonado
Language:Portuguese
Published: Universidade de São Paulo 2000
Subjects:
análise de mutantes
engenharia de software
Redes de Petri
teste e validação
mutation analysis
Petri nets
software engineering
test and validation
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/

Internet

http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/

Similar Items