[Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
High-Performance Computing (HPC) applications consist of concurrent programs with multi-process and/or multithreaded models with varying degrees of parallelism. Although their design patterns, models, and principles are similar to those of sequential ones, their non-deterministic behavior makes the testing activity more complex. In an attempt to solve such complexity, several techniques for concurrent software testing have been developed over the past years. However, the transference of knowledge between academy and industry remains a challenge, mainly due to the lack of a solid base of evidence with information that assists the decision-making process. This paper proposes the construction of a body of evidence for the concurrent programming field that supports the selection of an adequate testing technique for a software project. We propose a characterization schema which assists the decision-making support and is based on relevant information from the technical literature regarding available techniques, attributes, and concepts of concurrent programming that affect the testing process. The schema classified 109 studies that compose the preliminary body of evidence. A survey was conducted with specialists for the validation of the schema, regarding adequacy and relevance of the attributes defined. The results indicate the schema is effective and can support testing teams for concurrent applications.
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
13:30 - 15:00 | |||
13:30 30mTalk | Transactional Actors: Communication in Transactions SEPS Janwillem Swalens Vrije Universiteit Brussel, Belgium, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication DOI Pre-print | ||
14:00 20mTalk | [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques SEPS Silvana Morita Melo ICMC/USP, Simone do Rocio Senger de Souza ICMC/USP, Jeff Carver University of Alabama, Paulo Sergio Lopes de Souza ICMC/USP | ||
14:20 20mTalk | [Position paper] Declaring Lua Data Types for GPU Code Generation SEPS Paulo Motta Motta & SantAnna Pesquisa e Desenvolvimento | ||
14:40 20mTalk | [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room SEPS Matthias Book University of Iceland, Morris Riedel Jülich Supercomputing Centre, Helmut Neukirchen University of Iceland, Markus Götz Jülich Supercomputing Centre |