Structural testing criteria for message-passing parallel programs

2008 ◽  
Vol 20 (16) ◽  
pp. 1893-1916 ◽  
Author(s):  
S. R. S. Souza ◽  
S. R. Vergilio ◽  
P. S. L. Souza ◽  
A. S. Simão ◽  
A. C. Hausen
Keyword(s):  
Message Passing ◽  
Parallel Programs ◽  
Structural Testing ◽  
Structural Testing Criteria ◽  
Testing Criteria

scholarly journals Structural testing criteria for concurrent programs considering loop executions

2019 ◽  
Author(s):  
Silvia Diaz ◽  
Paulo Sérgio Souza
Keyword(s):  
Message Passing ◽  
Structural Testing ◽  
Concurrent Programs ◽  
Test Cases ◽  
Test Model ◽  
Statistical Validation ◽  
Increasing Demand ◽  
Structural Testing Criteria ◽  
Testing Criteria ◽  
Selection Of

Parallel programs are imperative for improving performance and problem solving, having an increasing demand on implementing efficient parallel programming techniques. This entails new challenges on software testing to ensure their quality and reliability. Structural testing is a technique that allows the identification of concurrency defects by analyzing the internal structure of the program. However, the non-determinism of concurrent programs has implications in the testing activity, requiring the use of structured methods to reveal defects. Testing criteria support the selection of test cases in a systematic form by statically analysing elements of concurrent programs. We found that there are currently gaps in the definition of testing criteria contemplating scenarios with elements that are dynamically evaluated, such as the execution of communication primitives inside loops. The objective of this project is to define structural testing criteria to guide the selection of test cases, improving the reliability of concurrent programs by revealing non-determinism related errors present in repetition structures. We developed a Concurrent Defects Taxonomy, identifying and classifying concurrency types of defects found in related literature. The analysis of such defects, paths inside loops, number of loop iterations, and nested loops allow us to model the proposed structural testing criteria. We define new sets and associations related to communication and synchronization flows for message-passing programs, establishing a model for testing criteria. We implemented the proposed test model in ValiMPI, a testing tool prototype, considering the new concepts defined in our test model, generating required elements and evaluating coverage after constructing loop paths. For the application evaluation of criteria we perform an empirical study with statistical validation, indicating the results for cost, effectiveness and strength. Our experimental evaluation demonstrated that the proposed testing criteria generates required elements that support the identification of concurrency defects occurring in different loop iterations, when having communicational events with non-deterministic behavior.

A binomial software reliability model based on coverage of structural testing criteria

2007 ◽  
Vol 13 (2) ◽  
pp. 185-209 ◽  
Author(s):  
Adalberto Nobiato Crespo ◽  
Mario Jino ◽  
Alberto Pasquini ◽  
José Carlos Maldonado
Keyword(s):  
Software Reliability ◽  
Structural Testing ◽  
Reliability Model ◽  
Model Based ◽  
Software Reliability Model ◽  
Structural Testing Criteria ◽  
Testing Criteria

Control and data flow structural testing criteria for aspect-oriented programs

2007 ◽  
Vol 80 (6) ◽  
pp. 862-882 ◽  
Author(s):  
Otávio Augusto Lazzarini Lemos ◽  
Auri Marcelo Rizzo Vincenzi ◽  
José Carlos Maldonado ◽  
Paulo Cesar Masiero
Keyword(s):  
Data Flow ◽  
Structural Testing ◽  
Structural Testing Criteria ◽  
Testing Criteria

Establishing structural testing criteria for Java bytecode

2006 ◽  
Vol 36 (14) ◽  
pp. 1513-1541 ◽  
Author(s):  
A. M. R. Vincenzi ◽  
M. E. Delamaro ◽  
J. C. Maldonado ◽  
W. E. Wong
Keyword(s):  
Structural Testing ◽  
Java Bytecode ◽  
Structural Testing Criteria ◽  
Testing Criteria

Constraint based structural testing criteria

2006 ◽  
Vol 79 (6) ◽  
pp. 756-771 ◽  
Author(s):  
Silvia Regina Vergilio ◽  
José Carlos Maldonado ◽  
Mario Jino ◽  
Inali Wisniewski Soares
Keyword(s):  
Structural Testing ◽  
Structural Testing Criteria ◽  
Testing Criteria

Protocol-based verification of message-passing parallel programs

2015 ◽  
Vol 50 (10) ◽  
pp. 280-298 ◽  
Author(s):  
Hugo A. López ◽  
Eduardo R. B. Marques ◽  
Francisco Martins ◽  
Nicholas Ng ◽  
César Santos ◽  
...  
Keyword(s):  
Message Passing ◽  
Parallel Programs
Sign in / Sign up

Export Citation Format

Share Document