Definition of a Framework for Systematic Testing Techniques Evaluation Applied to Concurrent Programming

• Grant number: 13/05046-9
• Support Opportunities: Scholarships in Brazil - Doctorate
• Start date: July 01, 2013
• End date: January 31, 2018
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Simone Do Rocio Senger de Souza
• Grantee: Silvana Morita Melo
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
• Associated scholarship(s): 15/23653-5 - Definition of Empirical Study Design in Testing Techniques for Concurrent Programs, BE.EP.DR

Abstract

Several proposals exist to support the test of concurrent programs. In general, the proposals concern static or dynamic analysis, message-passing and shared-memory paradigm, programming language and the use of patterns. These works deal with different testing approaches such as fault injection, formal verification, test-driven development, controlled execution, mutation testing, model-based testing, structural testing, symbolic analysis, search-based testing, concurrency probabilistic testing, reachability testing and test case generation. Although there are several contributions, there is still not a consolidated body of evidence enabling developers of distributed applications in industry and academia to select which techniques or tools present the best cost / benefit relationship, when they are incorporated into the organization testing activity. This project will investigate the main alternatives for the testing activity that have been proposed in context of concurrent programs in order to develop a framework to support the systematic evaluation of these testing alternatives. The objective is facilitate further studies and especially assisting professionals from academia and industry to select the best technique / testing tool according their necessities, considering quality factors such as satisfaction, cost, effectiveness and efficiency.

Scientific publications

(5)

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; LOPES DE SOUZA, PAULO SERGIO. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 26, n. 3, SI, p. 921-959, SEP 2018. (15/23653-5, 13/01818-7, 13/05046-9, 10/04042-1)

MELO, SILVANA M.; CARVER, JEFFREY C.; SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.. Empirical research on concurrent software testing: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY, v. 105, p. 226-251, JAN 2019. (15/23653-5, 13/05046-9)

MELO, S. M.; SOUZA, P. S. L.; SOUZA, S. R. S.; IEEE. Towards an Empirical Study Design for Concurrent Software Testing. PROCEEDINGS OF SE-HPCCSE 2016: 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING OR HIGH PERFORMANCE COMPUTING IN COMPUTATIONAL SCIENCE AND ENGINEERING, v. N/A, p. 1-pg., 2016-01-01. (15/23653-5, 13/05046-9)

MELO, SILVANA M.; MOURA, FELIPE M.; SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.; ACM. SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques. SAST 2019: PROCEEDINGS OF THE IV BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, v. N/A, p. 10-pg., 2019-01-01. (13/05046-9, 15/23653-5)

MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; LOPES DE SOUZA, PAULO SERGIO. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 26, n. 3, p. 39-pg., 2018-09-01. (15/23653-5, 13/01818-7, 10/04042-1, 13/05046-9)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

MELO, Silvana Morita. A Framework for systematic testing techniques evaluation applied to concurrent programming. 2018. Doctoral Thesis - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.