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 processo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | pt |
| Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2000
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/76/76132/tde-27112008-085629/ |