Parallel programs present some features such as concurrency, communication and
synchronization that make the test a challenging activity. Because of these characteristics …

The software testing activity is crucial for Software Quality Assessment. To aid at this phase,
several testing criteria were proposed. A testing criterion is a predicate to be satisfied by a …

There is a growing demand for correct parallel programs, mainly due to nowadays
availability of parallel architectures. Structural testing allows identifying defects by analyzing …

Among the message passing environments, MPI (Message Passing Interface) has been
considered by several authors as the de facto standard to build parallel software. In spite of …

Parallelism has become a way of life for many scientific programmers. A significant
challenge in bringing the power of parallel machines to these programmers is providing …

The paper presents a model for structural testing of parallel software defined as a graph
consisting of interconnected node objects and a tool STEPS implementing it. The number of …

Summary High-Performance Computing (HPC) recently has become important in several
sectors, including the scientific and manufacturing fields. The continuous growth in building …

Developing high‐quality, error‐free message‐passing concurrent programs is not trivial.
Although a number of different primitives with associated semantics are available to assist …

Developing an adequate set of tests also called a test suite is an important part of software
development process. We faced this problem while working on mpC parallel programming …

This paper proposes a novel structural test model to capture information about flows of data,
control, communication and syn-chronization of parallel and distributed applications …