Definition of Empirical Study Design in Testing Techniques for Concurrent Programs

• Grant number: 15/23653-5
• Support Opportunities: Scholarships abroad - Research Internship - Doctorate
• Start date: February 01, 2016
• End date: January 31, 2017
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Simone Do Rocio Senger de Souza
• Grantee: Silvana Morita Melo
• Supervisor: Jeffrey C. Carver
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
• Institution abroad: University of Alabama (UA), United States
• Associated to the scholarship: 13/05046-9 - Definition of a Framework for Systematic Testing Techniques Evaluation Applied to Concurrent Programming, BP.DR

Abstract

Concurrent software testing has been intensively investigated, presenting a wide range of testing techniques and tools. However, there is not yet a consolidated body of evidence that enables developers of concurrent applications in academy or industry select from so many techniques available, which shows the best cost/benefit when it is incorporated into the organization's testing activity. The internship project is related to a doctoral project that aims to investigate the main alternatives to the test activity in the context of concurrent applications in order to develop a framework to assist the evaluation and selection of these techniques. Given the experience of the external supervisor in the empirical software engineering area. The project developed in partnership with the University of Alabama aims to define an empirical study design to conduct experiments on testing techniques to the concurrent programming context. This is an important factor for the PhD project to which the internship is subordinate, providing guidelines for the development of a body of knowledge by means of the definition of a framework of techniques/tools testing selection and baselines to help testing practitioners in the identification of the most appropriate technique for use in their projects, adequate to their time and cost constraints.

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)