| Full text | |
| Author(s): |
Melo, Silvana Morita
;
de Souza, Simone do Rocio Senger
;
Sarmanho, Felipe Santos
;
Lopes de Souza, Paulo Sergio
Total Authors: 4
|
| Document type: | Journal article |
| Source: | SOFTWARE QUALITY JOURNAL; v. 26, n. 3, p. 39-pg., 2018-09-01. |
| Abstract | |
Concurrent software testing is a challenging activity due to factors that are not present in sequential programs, such as communication, synchronization, and non-determinism, and that directly affect the testing process. When we consider multithreaded programs, new challenges for the testing activity are imposed. In the context of structural testing, an important problem raised is how to deal with the coverage of shared variables in order to establish the association between def-use of shared variables. This paper presents results related to the structural testing of multithreaded programs, including testing criteria for coverage testing, a supporting tool, called ValiPthread testing tool and results of an experimental study. This study was conducted to evaluate the cost, effectiveness, and strength of the testing criteria. Also, the study evaluates the contribution of these testing criteria to test specific aspects of multithreaded programs. The experimental results show evidence that the testing criteria present lower cost and higher effectiveness when revealing some kinds of defects, such as deadlock and critical region block. Also, compared to sequential testing criteria, the proposed criteria show that it is important to establish specific coverage testing for multithreaded programs. (AU) | |
| FAPESP's process: | 15/23653-5 - Definition of Empirical Study Design in Testing Techniques for Concurrent Programs |
| Grantee: | Silvana Morita Melo |
| Support Opportunities: | Scholarships abroad - Research Internship - Doctorate |
| FAPESP's process: | 13/01818-7 - Parallel testing of concurrent programs |
| Grantee: | Paulo Sérgio Lopes de Souza |
| Support Opportunities: | Regular Research Grants |
| 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 |
| FAPESP's process: | 13/05046-9 - Definition of a Framework for Systematic Testing Techniques Evaluation Applied to Concurrent Programming |
| Grantee: | Silvana Morita Melo |
| Support Opportunities: | Scholarships in Brazil - Doctorate |