Verification Work Products

Platform

Verification Plan		status: valid
tags: verification_process is input to: wf__verification_unit_test, wf__verification_comp_int_test, wf__verification_feat_int_test, wf__verification_platform_int_test, wf__verification_plan_maintain, wf__verification_mod_ver_report, wf__verification_platform_ver_report is output from: wf__verification_plan, wf__verification_plan_maintain complies: std_wp__iso26262__support_951, std_wp__iso26262__support_952, std_wp__iso26262__support_1252
Verification planning for each phase of the safety lifecycle must detail the work products, objectives, methods, criteria, environments, equipment, resources, actions for anomalies, and regression strategies, considering method adequacy, complexity, prior experiences, and technology maturity or risks. This also covers the work product Verification Specification.
wp__verification_plan		Workproduct

Platform Integration Test		status: valid
tags: verification_process is input to: wf__verification_platform_ver_report is output from: wf__verification_platform_int_test complies: std_wp__iso26262__support_952
Platform Integration Testing verifies Stakeholder Requirements performed on reference HW. Depending on the nature of the project, respective tailoring (e.g. for reduced requirements coverage) has to be reflected in the Verification Plan (wp__verification_plan) and Platform Safety Plan (wp__platform_safety_plan).
wp__verification_platform_int_test		Workproduct

Platform Verification Report		status: valid
tags: verification_process is input to: wf__mr_imp_qlm_plan_processes, wf__rel_platform_rel_note is output from: wf__verification_platform_ver_report, wf__mr_sec_analyses, wf__vy_sec_analyses, wf__mr_saf_analyses_dfa, wf__vy_saf_analyses_dfa, wf__exe_wp_review complies: std_wp__iso26262__software_1053, std_wp__iso26262__support_953, std_wp__iso26262__analysis_752, std_wp__iso26262__analysis_852
Verification Report contains: List of requirements (stakeholder and feature) and architecture tested by which test (can be several levels), passed/failed and completeness verdict, including normal operation and failure reactions The list of requirements may also contain other verification methods like “Analysis” Formal evidence about the performed DFA Formal evidence about the performed Safety Analyses Test result per test case from Platform Integration Test (wp__verification_platform_int_test) and Feature Integration test (wp__verification_feat_int_test) with status passed/failed/not_run Test log per test case from Platform Integration Test (wp__verification_platform_int_test) and Feature Integration test (wp__verification_feat_int_test) with status passed/failed/not_run
wp__verification_platform_ver_report		Workproduct

Feature

Feature Integration test		status: valid
tags: verification_process is input to: wf__verification_platform_ver_report is output from: wf__verification_feat_int_test complies: std_wp__iso26262__software_1051, std_wp__iso26262__support_952
Integration Testing verifies feature requirements and architecture: all interfaces from Static view and all flows from Dynamic View and performance and resource consumption: i.e. RAM and processor usage on reference HW
wp__verification_feat_int_test		Workproduct

Module

Module Verification Report		status: valid
tags: verification_process is input to: wf__mr_imp_qlm_plan_processes, wf__rel_mod_rel_note is output from: wf__sw_verify_implementation, wf__verification_mod_ver_report, wf__mr_sec_analyses, wf__vy_sec_analyses, wf__mr_saf_analyses_dfa, wf__vy_saf_analyses_dfa complies: std_wp__iso26262__software_952, std_wp__iso26262__software_1053, std_wp__iso26262__support_953, std_wp__iso26262__support_1253, std_wp__iso26262__analysis_752, std_wp__iso26262__analysis_852, std_wp__iso26262__support_1252, std_wp__isopas8926__4526, std_wp__iso26262__software_app_c_56 realized by: doc__module_name_verification_report
Verification Report contains: List of requirements (and architecture/detailed design tags) tested by which test (can be several levels), passed/failed and completeness verdict, including normal operation and failure reactions The list of requirements may also contain other verification methods like “Analysis” Structural Coverage (C0 and C1, from unit testing on host) per unit Static Code Analysis (including compiler warnings, automated checking of coding guidelines and additional checks) Formal evidence about the performed DFA Formal evidence about the performed Safety Analyses Software component qualification verification report Test result per test case from Unit test (wp__verification_sw_unit_test) and Component Integration test (wp__verification_comp_int_test) with status passed/failed/not_run Test log per test case from Unit test (wp__verification_sw_unit_test) and Component Integration test (wp__verification_comp_int_test) with status passed/failed/not_run It also serves as SW Component Qualification Verification Report for pre-existing Open Source Projects developed and maintained outside of the project to which this process is applied to. It is also described in the Module Verification Report ... (gd_temp__mod_ver_report) as a dedicated section.
wp__verification_module_ver_report		Workproduct

Component

Component Integration test		status: valid
tags: verification_process is input to: wf__verification_mod_ver_report is output from: wf__verification_comp_int_test complies: std_wp__iso26262__software_1051, std_wp__iso26262__support_952, std_wp__isopas8926__4525, std_wp__iso26262__software_app_c_55
Component Integration Testing verifies the component architecture and component requirements: all interfaces from Static view and all flows from Dynamic View integration of units into components based on detailed design detailed design of complex units Performance (i.e. RAM and processor usage) is only tested on reference HW. As an optional part component integration tests can cover additional testing for complex units touching specifically the detailed design. This is needed where Unit test (wp__verification_sw_unit_test) is not sufficient to cover the measures defined in the implementation of the Verification Plan (wp__verification_plan).
wp__verification_comp_int_test		Workproduct

Unit test		status: valid
tags: verification_process is input to: wf__verification_mod_ver_report is output from: wf__verification_unit_test complies: std_wp__iso26262__software_951, std_wp__iso26262__support_952, std_wp__isopas8926__4525, std_wp__iso26262__software_app_c_55
Unit testing verifies detailed design (traced to). Respective tooling is defined in Platform Management Plan (wp__platform_mgmt), Verification Plan (wp__verification_plan) and integrated in CI/Build. Unit testing is in responsible of the Contributor (rl__contributor) providing the Implementation (wp__sw_implementation).
wp__verification_sw_unit_test		Workproduct

Inspection

Inspection activities on requirement, architecture and detailed design are handled within these process areas.

The work products are handled within these process areas:

• Requirements Engineering implementing Requirements Inspection (wp__requirements_inspect)

• Architecture Design implementing Architecture Verification (wp__sw_arch_verification)

• Implementation implementing Implementation Inspection (wp__sw_implementation_inspection)

Tool Verification

As part of tool management as supporting function it is handled as follows

• Create Tool Verification Re... (wf__tool_create_tool_verification_report) describes implementation of Tool Verification Report (wp__tool_verification_report)

It is planned in the Platform Management Plan (wp__platform_mgmt)