The EU Rephrase project
  • Home
  • About
    • Partners
  • Tools
  • Publications
  • Deliverables
    • WP2: Pattern Based Software Engineering
    • WP3: Reliability, Robustness and Software Integrity of Parallel Software
    • WP4: Dynamic Adaptation of Parallel Software
    • WP5: Integration and Overall Software Engineering Methodology
    • WP6: Use Cases and Evaluation
  • News
  • Events
  • Contact

WP3: Reliability, Robustness and Software Integrity of Parallel Software

​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: pdf
Download File


​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: pdf
Download File


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: pdf
Download File


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: pdf
Download File


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: pdf
Download File

THE REPHRASE PROJECT
Copyright © 2018
Powered by Create your own unique website with customizable templates.
  • Home
  • About
    • Partners
  • Tools
  • Publications
  • Deliverables
    • WP2: Pattern Based Software Engineering
    • WP3: Reliability, Robustness and Software Integrity of Parallel Software
    • WP4: Dynamic Adaptation of Parallel Software
    • WP5: Integration and Overall Software Engineering Methodology
    • WP6: Use Cases and Evaluation
  • News
  • Events
  • Contact