Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.
Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do proc...
Main Author: | |
---|---|
Other Authors: | |
Language: | Portuguese |
Published: |
Universidade de São Paulo
2000
|
Subjects: | |
Online Access: | http://www.teses.usp.br/teses/disponiveis/76/76132/tde-27112008-085629/ |