D3.1: Software for testing, initial quality assurance, verification, detection of catastrophic failures and detection of property violations
This document is the initial deliverable from WP3 "Reliability, Robustness and Software Integrity of Parallel Software". It hosts the development of tools to i) test functional and extra-functional properties of parallel data-intensive software of the RePhrase against their requirements; ii) detect catastrophic failures in parallel data-intensive applications, such as deadlocks and race conditions; iii) provide validation and verification mechanisms for parallel implementations of patterns; iv) support quality assurance; and v) detect extra-functional property violations, such as performance and energy consumption problems.

d3-1-public.pdf | |
File Size: | 1045 kb |
File Type: |
D3.2: Combined report describing testing, verification, catastrophic failures detection and prop- erties violation detection for the initial set of patterns
This document is the second deliverable from WP3 "Reliability, Robustness and Software Integrity of Parallel Software". It presents the scientific progress be- yond the state-of-the-art, including the novel algorithms implemented in the set of tools presented in deliverable D3.1. The report covers methods for i) testing functional and extra-functional properties of parallel data-intensive software of the RePhrase project against their requirements; ii) detecting catastrophic failures in parallel data-intensive applications, such as deadlocks and race conditions; iii) pro- viding validation and verification mechanisms for parallel implementations of pat- terns; iv) providing methodology for equivalence checking between the program before and after RePhrase refactoring; v) supporting quality assurance; and, vi) detecting reasons for violations of extra-functional properties of applications, such as performance.

d3-2.pdf | |
File Size: | 946 kb |
File Type: |
D3.3: Software for the Refined Version of the Quality Assurance Tool
This deliverable reports on the Task 3.4 Quality Assurance Analysis with some elements from the tasks T2.3, T3.2, T3.3, and T3.5. In this tasks we extended the PRL QA-C++ and QA-Verify Quality Assurance tool in order to develop new analyses that are capable of automatically analysing source code and verify its compliance to code and data standards that have been developed in T5.3. In particular we introduce full support for C++’11, and C++’14 together with some initial implementation of support for C++’17 language standards. Together with implementation of support for new versions of C++ language we have implemented particular checks into compliance module which is checking for the compliance to “High Integrity C++ for Parallel and Concurrent Programming" coding standard. QA-Verify have been updated to support new compliance module and new functionality in QA- C++. Refined QA-C++ version currently run on regular base for all RePhrase use cases and producing regular output available for all members of consortium via QA-Verify updated tool. Preview version of new Compliance module running in test mode to receive output and amend it based on that.

d3-3.pdf | |
File Size: | 259 kb |
File Type: |
D3.4: Software for the final version of the qa tool
This deliverable reports on the Tasks 3.4 Quality Assurance Analysis with some elements from the tasks T2.3, T3.2, T3.3, and T3.5 Detection of Extra Functional Property Violations. In this tasks we extended the PRL QA-C++ and QA-Verify Quality Assurance tool in order to develop new analyses that are capable of automatically analysing source code and verify its compliance to code and data standards that have been developed in T5.3 and D5.5. In particular we introduce full support for C++’11, and C++’14 together with some initial implementation of sup- port for C++’17 language standards. Together with implementation of support for new versions of C++ language we have implemented particular checks into compliance module which is checking for the compliance to “High Integrity C++ for Parallel and Concurrent Programming" coding standard. QA-Verify have been up- dated to support new compliance module and new functionality in QA-C++. Re- fined QA-C++ version currently run on regular base for all RePhrase use cases and producing regular output available for all members of consortium via QA-Verify updated tool. Preview version of new Compliance module running in test mode to receive output and amend it based on that.

d3-4.pdf | |
File Size: | 400 kb |
File Type: |
D3.5: Report oN testing/verifications/failures/violations for advanced patterns
This document is the fifth deliverable from WP3 “Reliability, Robustness and Soft- ware Integrity of Parallel Software” and it basically reports the tools and applications for i) testing parallel software; iii) verifying patterned codes; ii) detecting catastrophic failures; and iv) detecting extra functional property violations, for the implementations of advanced patterns, as described in the amended DoW. In particular, D3.5 is a follow up of D3.2 including the last contributions of WP3 (T3.1 “Testing parallel software”). Thus, according to the DoW we will describe the application of the testing tool for the advanced set of patterns. D3.5 also extends the tools for detecting catastrophic failures (T3.2 “Detection of catastrophic failures”), where “we apply the data race detection tools in the implementations of the advanced set of pattens”, in particular this will be done with the GRPPI advanced patterns. According to the DoW, as well, “we will describe the application of the tools for verification and detection of extra functional property violations” in the advanced set of patterns of RePhrase.

d3-5.pdf | |
File Size: | 1967 kb |
File Type: |
THE REPHRASE PROJECT
Copyright © 2018