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 |
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 |
THE REPHRASE PROJECT
Copyright © 2017
