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ática...

Full description

Bibliographic Details
Main Author: Batista, Raphael Negrisoli
Other Authors: Souza, Paulo Sergio Lopes de
Format: Others
Language:pt
Published: Biblioteca Digitais de Teses e Dissertações da USP 2015
Subjects:
Concurrent programs
Deterministic execution
Execução determinística
Execução paralela
Geração de variantes de disputa
Parallel execution
Programas concorrentes
Race variant generation
Structural testing
Teste estrutural
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/

Internet

http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/

Similar Items