Überprüfung und Nachweis
Scope
We use verification & validation (i.e. V&V) as an independent process to check whether products or services, processes and roles, or even entire systems meet customer requirements and, moreover, fulfill their intended purpose.
We achieve this by systematically using an automated V&V process to identify relevant information in advance and use it as the basis for technical solutions.
Our software-based approach uses fully automated metrics-based methods for verification & validation based on meta-models along the operational value chains and makes the results transparently available in a validated repository.
Verifikation
Die Implementierung entspricht der vorgegebenen Spezifikation:
„Die Verifizierung ist eine Prüfung mit objektiven Mitteln, dass spezifizierte (Produkt-)Eigenschaften erfüllt sind“
Validierung
Kontrolle, ob festgelegte Nutzungsziele erfüllt & Anforderungen auf Tauglichkeit überprüft sind:
„Bestätigung durch objektiven Nachweis, dass die Anforderungen für eine bestimmte Anwendung oder einen bestimmten Gebrauch erfüllt sind“
Review and proof
Verification and validation (also abbreviated as V&V) are independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Verification | Implementation complies with the given specification
|
Check | Do we build the SYSTEM right? |
Validation | Verification that specified usage objectives are met & requirements are checked for suitability.
|
Check | Do we build the RIGHT system? |
ISVV
“Independent Software Verification and Validation (ISVV) is is a process targeted at safety-critical software systems and aims to increase the quality of software products, thereby reducing risks and costs through the operational life of the software.
The goal of ISVV is to provide assurance that software performs to the specified level of confidence and within its designed parameters and defined requirements.”
Methodology
ISVV is usually composed by five principal phases, these phases can be executed sequentially or as results of a tailoring process:
- Planning
- Requirements verification
- Design verification
- Code verification
- Validation