Full text
| |
| Author(s): |
Silvana Morita Melo
Total Authors: 1
|
| Document type: | Master's Dissertation |
| Press: | São Carlos. |
| Institution: | Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) |
| Defense date: | 2012-10-11 |
| Examining board members: |
Simone do Rocio Senger de Souza;
Marcos Lordello Chaim;
Adenilso da Silva Simão
|
| Advisor: | Simone do Rocio Senger de Souza |
| Abstract | |
Concurrent program testing is a challenging activity due to the communication, synchronization and nondeterminism of this application domain. Despite that, some testing techniques for concurrent programs have been proposed, but their applicability is rarely evaluated by theoretical or experimental studies. This work contributes in this direction proposing and conducting an experimental study to evaluate the cost, effectiveness and strength of structural testing criteria for multithreaded programs, implemented using the Pthreads standard (POSIX Threads). The testing tool ValiPThread is used to support the conduction of the experiment. The programs used in this experiment were selected from classical benchmarks, such as Inspect, Helgring and Rungta. These benchmarks are commonly used to study testing techniques for concurrent programs. We also include programs that solve concurrent classical problems. Based on the obtained results, we defined an application testing strategy, considering cost and effectiveness aspects of the testing criteria. Furthermore, all material used and generated during the experiment was incorporated in a lab package, in order to contribute with further research studies making possible replications and comparisons of these testing criteria with other testing techniques in context of concurrent programs (AU) | |
| FAPESP's process: | 10/04042-1 - Evaluation of the Cost and Effectiveness of te Testing Criteria in context of shared-memory concurrent programs |
| Grantee: | Silvana Morita Melo |
| Support Opportunities: | Scholarships in Brazil - Master |