Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela

Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela

O teste de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas. Uma das técnicas mais utilizadas para testar a comunicação e sincronização de programas concorrentes é a geração automát...

Full description

Bibliographic Details
Main Author: Raphael Negrisoli Batista
Other Authors: Paulo Sergio Lopes de Souza
Language:Portuguese
Published: Universidade de São Paulo 2015
Subjects:
Execução determinística
Execução paralela
Geração de variantes de disputa
Programas concorrentes
Teste estrutural
Concurrent programs
Deterministic execution
Parallel execution
Race variant generation
Structural testing
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/

Similar Items

Similar Items