Interactive testing tool for parallel programs

A structural testing tool for MPI programs with loops

10.5753/wscad.2019.8686 ◽

2019 ◽

Cited By ~ 1

Author(s):

Silvia Diaz Diaz ◽

Paulo Lopes Souza ◽

Simone Souza

Keyword(s):

Software Tool ◽

Parallel Programs ◽

Structural Testing ◽

Test Case ◽

Test Cases ◽

Test Model ◽

Specific Test ◽

Internal Structures ◽

Testing Tool ◽

Many Core

Há uma alta demanda por programas paralelos corretos, principalmente devido às arquiteturas paralelas atuais, como clusters e processadores multi/many cores. O teste estrutural permite identificar defeitos pela cobertura de estruturas internas de programas paralelos. O não determinismo em programas paralelos traz novos desafios ao teste estrutural. Ele requer ferramentas e modelos de teste especı́ficos, capazes de cobrir primitivas de comunicação e sincronização com comportamentos dinâmicos, tais como os presentes em loops. Este artigo propõe uma nova ferramenta de software para o teste estrutural, com o objetivo de auxiliar testadores na revelação de defeitos desconhecidos associados a comunicação e presentes em estruturas de repetição de programas paralelos em C/MPI. Baseando-se na cobertura obtida, testadores podem escolher casos de teste especı́ficos e avaliar o progresso da atividade de teste. A ferramenta de teste proposta é validada com a ingestão de defeitos no código de um programa, e com a análise do suporte dado pela ferramenta para a geração de elementos requeridos e seleção de casos de teste. A ferramenta proposta automatiza parte da atividade de teste, especificamente a geração de elementos requeridos e guia a execução dos testes, reduzindo o tempo para a aplicação da atividade de teste. Nossos resultados mostram que a ferramenta de teste é capaz de revelar defeitos desconhecidos em primitivas de comunicação presentes em iterações de loops. There is a growing demand for correct parallel programs, mainly due to nowadays parallel architectures, such as clusters and multi/many-core processors. Structural testing allows the identification of defects by covering internal structures of parallel programs. Nondeterminism in parallel programs brings new challenges to the structural testing. It requires specific test model and tools, capable to cover communication and synchronization primitives with dynamic behaviors, such as those present inside of loops. This paper proposes a novel software tool for the structural testing, aiming to help testers in revealing defects associated to communication present in repetition structures of C/MPI parallel programs. Based on the obtained coverage, testers can choose specific test cases and evaluate the progress of the testing activity. We validate the proposed testing software tool by injecting a defect in a program code, and analyzing the support for generation of required elements and selection of test cases. ValiMPI tool automates part of the test activity, specifically the generation of required elements to guide test case selection, reducing the application cost of the testing activity. Our results demonstrate that the testing tool is capable to reveal unknown defects from communication in different loop iterations.

Trace Management, Debug, Analysis and Testing Tool for Embedded Systems

International Journal of Innovative Research in Computer and Communication Engineering ◽

10.15680/ijircce.2015.0305050 ◽

2015 ◽

Vol 03 (05) ◽

pp. 4349-4355

Author(s):

Bhagyalakshmi C, Pushpa S Tembad

Keyword(s):

Embedded Systems ◽

Testing Tool

Constructing an Aptitude Testing Tool for the Teaching Profession

Teacher Education Research ◽

10.15812/ter.53.2.201406.245 ◽

2014 ◽

Vol 53 (2) ◽

pp. 245-259 ◽

Cited By ~ 1

Author(s):

강재원

Keyword(s):

Teaching Profession ◽

Aptitude Testing ◽

Testing Tool

Development of Testing Tool for Measuring Convergence Competency

The Institute for Education and Research Gyeongin National University of Education ◽

10.25020/joe.2018.1.1.29 ◽

2018 ◽

Vol 1 (1) ◽

pp. 29-49

Author(s):

MiYoung Ryu ◽

Sun Gwan Han

Keyword(s):

Testing Tool

An algorithm for all-du-path testing coverage of shared memory parallel programs

Proceedings Sixth Asian Test Symposium (ATS'97) ◽

10.1109/ats.1997.643968 ◽

2002 ◽

Cited By ~ 1

Author(s):

C.-S.D. Yang ◽

L.L. Pollock

Keyword(s):

Shared Memory ◽

Parallel Programs ◽

Path Testing ◽

Testing Coverage

Disentanglement in nested-parallel programs

Proceedings of the ACM on Programming Languages ◽

10.1145/3371115 ◽

2020 ◽

Vol 4 (POPL) ◽

pp. 1-32 ◽

Cited By ~ 2

Author(s):

Sam Westrick ◽

Rohan Yadav ◽

Matthew Fluet ◽

Umut A. Acar

Keyword(s):

Parallel Programs

AI-Based Enhancement of Test Models in an Industrial Model-Based Testing Tool

2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) ◽

10.1109/saner50967.2021.00080 ◽

2021 ◽

Author(s):

Stefan Mohacsi ◽

Michael Felderer

Keyword(s):

Model Based ◽

Test Models ◽

Model Based Testing ◽

Testing Tool

Test-driven repair of data races in structured parallel programs

ACM SIGPLAN Notices ◽

10.1145/2666356.2594335 ◽

2014 ◽

Vol 49 (6) ◽

pp. 15-25 ◽

Cited By ~ 3

Author(s):

Rishi Surendran ◽

Raghavan Raman ◽

Swarat Chaudhuri ◽

John Mellor-Crummey ◽

Vivek Sarkar

Keyword(s):

Parallel Programs ◽

Data Races

Monit: a performance monitoring tool for parallel and pseudo-parallel programs

ACM SIGMETRICS Performance Evaluation Review ◽

10.1145/29904.29923 ◽

1987 ◽

Vol 15 (1) ◽

pp. 163-174 ◽

Cited By ~ 2

Author(s):

Teemu Kerola ◽

Herb Schwetman

Keyword(s):

Performance Monitoring ◽

Parallel Programs ◽

Monitoring Tool ◽

A Performance

Correct program parallelisations

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-020-00601-z ◽

2021 ◽

Author(s):

S. Blom ◽

S. Darabi ◽

M. Huisman ◽

M. Safari

Keyword(s):

Composition Operators ◽

Parallel Programs ◽

Parallel Program ◽

Tool Support ◽

Intermediate Representation ◽

Data Race ◽

Sequential Program ◽

Functional Correctness ◽

Correct Program ◽

Basic Blocks

AbstractA commonly used approach to develop deterministic parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel. This paper develops a verification technique to reason about such compiler directives, in particular to show that they do not change the behaviour of the program. Moreover, the verification technique is tool-supported and can be combined with proving functional correctness of the program. To develop our verification technique, we propose a simple intermediate representation (syntax and semantics) that captures the main forms of deterministic parallel programs. This language distinguishes three kinds of basic blocks: parallel, vectorised and sequential blocks, which can be composed using three different composition operators: sequential, parallel and fusion composition. We show how a widely used subset of OpenMP can be encoded into this intermediate representation. Our verification technique builds on the notion of iteration contract to specify the behaviour of basic blocks; we show that if iteration contracts are manually specified for single blocks, then that is sufficient to automatically reason about data race freedom of the composed program. Moreover, we also show that it is sufficient to establish functional correctness on a linearised version of the original program to conclude functional correctness of the parallel program. Finally, we exemplify our approach on an example OpenMP program, and we discuss how tool support is provided.