Abstract:When a large number of target paths in a sequential program need to be covered, we can divide similar target paths into the same group, and generate a test suite covering the same group of target paths at the same time, so as to reduce the testing cost. However, different communication edges may be run under a same test input when executing a Message-Passing Interface (MPI) program with non-determinism, which cause different code fragments may be traversed, indicating the difficulty of generating a test suite to cover each group of target paths. This paper proposes an approach to evolutionary generation of test suites for multi-path coverage of MPI programs with non-determinism, which can significantly reduce the testing cost and difficulty. We first design an indicator for evaluating each traversal set of communication edges, which is used to form a relation matrix between each target path and each traversal set of communication edges, so as to divide all the target paths into a certain amount of groups. Then, we construct an optimization model for test suite generation associated with each group. Finally, an evolutionary optimization algorithm is extended to solve each model, and used to generate a test suite covering each group of target paths. The proposed approach is utilized and compared with several state-of-the-art approaches to seven benchmark MPI programs, as well as the experimental results illustrate that the proposed approach can efficiently generate a test suite, thus supporting the superiority of the proposed approach.

Coverage Matrix based Evolutionary Test Program Generation for Microprocessor Verification

Test Program Generation for Microprocessor Verification Using Local Modeling Strategy

Functional Verification of EPA Chip

Program Generation for Functional Verification of Microprocessor

Steep coverage-ascent directed test generation for shared-memory verification of multicore chips

Using model-based test program generator for simulation validation

Evolutionary generation of test suites for multi-path coverage of MPI programs with non-determinism

Genetic Micro-Programs for Automated Software Testing with Large Path Coverage

Mutation-analysis Driven Functional Verification of a Soft Microprocessor.

Guided test generation for coverage criteria

Efficient Mutation-Analysis Coverage For Constrained Random Verification

An Evolutionary Generation Method of Test Data for Multiple Paths Based on Coverage Balance

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams

Random Test Program Generator for Microprocessor Verification

The Research and Implement of an Advanced Function Coverage Based Verification Environment

Coverage-Directed Test Generation Automated by Machine Learning -- A Review

Improving Structural Testing of Object-Oriented Programs Via Integrating Evolutionary Testing and Symbolic Execution

Cga: Combining Cluster Analysis With Genetic Algorithm For Regression Suite Reduction Of Microprocessors

A Verification Methodology for Reusable Test Cases and Coverage Based on System Verilog

Test program generation for reconfigurable media processor

The Cognitive Approach to the Coverage-Directed Test Generation