Advanced search
Start date
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation

Full text
Melo, Silvana Morita [1] ; de Souza, Simone do Rocio Senger [1] ; Sarmanho, Felipe Santos [1] ; Lopes de Souza, Paulo Sergio [1]
Total Authors: 4
[1] Univ Sao Paulo, ICMC, PO 668, BR-13560970 Sao Carlos, SP - Brazil
Total Affiliations: 1
Document type: Journal article
Source: SOFTWARE QUALITY JOURNAL; v. 26, n. 3, SI, p. 921-959, SEP 2018.
Web of Science Citations: 1

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: 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
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