Verification Report

Persistency Module Verification Report		status: valid security: NO safety: ASIL_B
applies_to_module_version: v1.0 verification_method: test_and_inspection version: 1 realizes: wp__verification_module_ver_report belongs to: mod__persistency
mod_vrep__persistency__report		Module Verification Report

Legend — status values and chart colours

Status — ASIL B valid_inspected — agreed and formally inspected valid — agreed, formal inspection still outstanding invalid — not agreed; metamodel checks are skipped

Status — QM valid — agreed; QM needs are not formally inspected, so this is their final state (valid_inspected counts here too) invalid — not agreed; metamodel checks are skipped

Test coverage — both classes fully covered — at least one test fully verifies the need partially covered — only partially verifying tests not covered — no verifying test at all

Components

Component Overview

Component	Safety	Security	Status
comp__persistency_kvs	ASIL_B	YES	valid

persistency::kvs

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__kvs__no_dynamic_memory	No Dynamic Memory Allocation at Runtime	ASIL_B	valid
comp_req__kvs__single_process_access	Single Process Access	ASIL_B	valid
comp_req__kvs__permission_control	Permission Control	ASIL_B	valid
comp_req__kvs__permission_err_hndl	Permission Error Handling	ASIL_B	valid
comp_req__kvs__storage_file_permissions	Storage File Permissions	ASIL_B	valid
comp_req__kvs__default_storage_permissions	Default Storage File Permissions	ASIL_B	valid
comp_req__kvs__constraints	Constraint Configuration	ASIL_B	valid
comp_req__kvs__constraints_priority	Constraint Configuration priority	ASIL_B	valid
comp_req__kvs__key_uniqueness	Key Uniqueness	ASIL_B	valid
comp_req__kvs__key_value_overwrite	Key Value Overwrite	ASIL_B	valid
comp_req__kvs__key_exists_api	Key Existence Check	ASIL_B	valid
comp_req__kvs__key_list_api	Key Listing	ASIL_B	valid
comp_req__kvs__key_remove_api	Key Removal	ASIL_B	valid
comp_req__kvs__value_get_api	Value Retrieval	ASIL_B	valid
comp_req__kvs__value_set_api	Value Store	ASIL_B	valid
comp_req__kvs__value_serialize	Value Serialization	ASIL_B	valid
comp_req__kvs__default_value_is_default_api	Default Value Status Query	ASIL_B	valid
comp_req__kvs__reset_resistant_write	Reset Resistant Write	ASIL_B	valid
comp_req__kvs__corruption_detect_open	Corruption Detection on Open	ASIL_B	valid
comp_req__kvs__open_need_kvs_behavior	Open Behavior on Missing or Corrupted Storage	ASIL_B	valid
comp_req__kvs__recovery_snapshot_restore	Recovery via Snapshot Restore	ASIL_B	valid
comp_req__kvs__atomic_store	Atomic Store	ASIL_B	valid
comp_req__kvs__write_amplification	Write Amplification Minimization	ASIL_B	valid
comp_req__kvs__cached_access	Cached Access	ASIL_B	valid
comp_req__kvs__store_reset_api	Store Reset	ASIL_B	valid
comp_req__kvs__discard_pending_changes_api	Discard Pending Changes	ASIL_B	valid
comp_req__kvs__pers_data_csum	Persistent Data Storage Checksum Write	ASIL_B	valid
comp_req__kvs__pers_data_csum_vrfy	Persistent Data Storage Checksum Verify	ASIL_B	valid
comp_req__kvs__pers_data_store_bnd	Persistent Data Storage Backend	ASIL_B	valid
comp_req__kvs__pers_data_store_fmt	Persistent Data Storage Format	ASIL_B	valid
comp_req__kvs__storage_backend_select	Storage Backend Selection	ASIL_B	valid
comp_req__kvs__async_api	Async API	ASIL_B	valid
comp_req__kvs__callback_support	Callback Support	ASIL_B	valid
comp_req__kvs__snapshot_create	Snapshot Create	ASIL_B	valid
comp_req__kvs__explicit_snapshot_operations	Explicit Snapshot Operations	ASIL_B	valid
comp_req__kvs__snapshot_id_api	Snapshot Slot Indexing	ASIL_B	valid
comp_req__kvs__snapshot_slot_index_vali	Snapshot Slot Index Validation	ASIL_B	valid
comp_req__kvs__snapshot_source	Snapshot Data Source	ASIL_B	valid
comp_req__kvs__snapshot_slot_free_api	Snapshot Slot Free Query API	ASIL_B	valid
comp_req__kvs__snapshot_remove_api	Snapshot Remove API	ASIL_B	valid
comp_req__kvs__pers_data_migration	Persistent Data Migration	ASIL_B	valid
comp_req__kvs__default_value_cfg_tool	Default Value Config tool	ASIL_B	valid
comp_req__kvs__storage_tool	Storage Tool	ASIL_B	valid
comp_req__kvs__value_default	Value Default	ASIL_B	valid	TestDefaultValues__test_valid[optional-rust] (passed); TestDefaultValues__test_valid[required-rust] (passed); TestDefaultValues__test_valid[without-rust] (passed); TestRemoveKey__test_valid[optional-rust] (passed); TestRemoveKey__test_valid[required-rust] (passed); TestRemoveKey__test_valid[without-rust] (passed); TestMalformedDefaultsFile__test_invalid[optional-rust] (passed); TestMalformedDefaultsFile__test_invalid[required-rust] (passed); TestMissingDefaultsFile__test_invalid[required-rust] (passed); TestResetAllKeys__test_valid[optional-rust] (passed); TestResetAllKeys__test_valid[required-rust] (passed); TestResetSingleKey__test_valid[optional-rust] (passed); TestResetSingleKey__test_valid[required-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[required-rust] (passed); TestDefaultValues__test_valid[optional-cpp] (passed); TestDefaultValues__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[without-cpp] (passed); TestRemoveKey__test_valid[optional-cpp] (passed); TestRemoveKey__test_valid[required-cpp] (passed); TestRemoveKey__test_valid[without-cpp] (passed); TestMalformedDefaultsFile__test_invalid[optional-cpp] (passed); TestMalformedDefaultsFile__test_invalid[required-cpp] (passed); TestMissingDefaultsFile__test_invalid[required-cpp] (passed); TestResetAllKeys__test_valid[optional-cpp] (passed); TestResetAllKeys__test_valid[required-cpp] (passed); TestResetSingleKey__test_valid[optional-cpp] (passed); TestResetSingleKey__test_valid[required-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[required-cpp] (passed)
comp_req__kvs__default_value_cfg	Default Value Config	ASIL_B	valid	TestDefaultValues__test_valid[optional-rust] (passed); TestDefaultValues__test_valid[required-rust] (passed); TestDefaultValues__test_valid[without-rust] (passed); TestRemoveKey__test_valid[optional-rust] (passed); TestRemoveKey__test_valid[required-rust] (passed); TestRemoveKey__test_valid[without-rust] (passed); TestMalformedDefaultsFile__test_invalid[optional-rust] (passed); TestMalformedDefaultsFile__test_invalid[required-rust] (passed); TestMissingDefaultsFile__test_invalid[required-rust] (passed); TestResetAllKeys__test_valid[optional-rust] (passed); TestResetAllKeys__test_valid[required-rust] (passed); TestResetSingleKey__test_valid[optional-rust] (passed); TestResetSingleKey__test_valid[required-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[required-rust] (passed); TestDefaultValues__test_valid[optional-cpp] (passed); TestDefaultValues__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[without-cpp] (passed); TestRemoveKey__test_valid[optional-cpp] (passed); TestRemoveKey__test_valid[required-cpp] (passed); TestRemoveKey__test_valid[without-cpp] (passed); TestMalformedDefaultsFile__test_invalid[optional-cpp] (passed); TestMalformedDefaultsFile__test_invalid[required-cpp] (passed); TestMissingDefaultsFile__test_invalid[required-cpp] (passed); TestResetAllKeys__test_valid[optional-cpp] (passed); TestResetAllKeys__test_valid[required-cpp] (passed); TestResetSingleKey__test_valid[optional-cpp] (passed); TestResetSingleKey__test_valid[required-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[required-cpp] (passed)
comp_req__kvs__default_value_types	Default Value Datatypes	ASIL_B	valid	TestDefaultValues__test_valid[optional-rust] (passed); TestDefaultValues__test_valid[required-rust] (passed); TestDefaultValues__test_valid[without-rust] (passed); TestRemoveKey__test_valid[optional-rust] (passed); TestRemoveKey__test_valid[required-rust] (passed); TestRemoveKey__test_valid[without-rust] (passed); TestMalformedDefaultsFile__test_invalid[optional-rust] (passed); TestMalformedDefaultsFile__test_invalid[required-rust] (passed); TestMissingDefaultsFile__test_invalid[required-rust] (passed); TestResetAllKeys__test_valid[optional-rust] (passed); TestResetAllKeys__test_valid[required-rust] (passed); TestDefaultValues__test_valid[optional-cpp] (passed); TestDefaultValues__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[without-cpp] (passed); TestRemoveKey__test_valid[optional-cpp] (passed); TestRemoveKey__test_valid[required-cpp] (passed); TestRemoveKey__test_valid[without-cpp] (passed); TestMalformedDefaultsFile__test_invalid[optional-cpp] (passed); TestMalformedDefaultsFile__test_invalid[required-cpp] (passed); TestMissingDefaultsFile__test_invalid[required-cpp] (passed); TestResetAllKeys__test_valid[optional-cpp] (passed); TestResetAllKeys__test_valid[required-cpp] (passed)
comp_req__kvs__default_value_query	Default Value Query	ASIL_B	valid	TestDefaultValues__test_valid[optional-rust] (passed); TestDefaultValues__test_valid[required-rust] (passed); TestDefaultValues__test_valid[without-rust] (passed); TestDefaultValues__test_valid[optional-cpp] (passed); TestDefaultValues__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[without-cpp] (passed)
comp_req__kvs__value_reset	Value Reset	ASIL_B	valid	TestResetAllKeys__test_valid[optional-rust] (passed); TestResetAllKeys__test_valid[required-rust] (passed); TestResetAllKeys__test_valid[optional-cpp] (passed); TestResetAllKeys__test_valid[required-cpp] (passed)
comp_req__kvs__default_val_chksum	Default Value Checksum	ASIL_B	valid	TestChecksumOnProvidedDefaults__test_valid[optional-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[required-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[required-cpp] (passed)
comp_req__kvs__concurrency	Concurrency	ASIL_B	valid	TestMultipleInstanceIds__test_ok[rust] (passed); TestSameInstanceIdSameValue__test_ok[rust] (passed); TestSameInstanceIdDifferentValue__test_ok[rust] (passed); TestMultipleInstanceIds__test_ok[cpp] (passed); TestSameInstanceIdSameValue__test_ok[cpp] (passed); TestSameInstanceIdDifferentValue__test_ok[cpp] (passed)
comp_req__kvs__explicit_flush	Explicit Flush	ASIL_B	valid	TestExplicitFlush__test_data_stored[rust] (passed)
comp_req__kvs__snapshot_create_api	Snapshot Create API	ASIL_B	valid	TestSnapshotCountFirstFlush__test_ok[0-rust] (passed); TestSnapshotCountFirstFlush__test_ok[1-rust] (passed); TestSnapshotCountFirstFlush__test_ok[3-rust] (passed); TestSnapshotCountFull__test_ok[0-rust] (passed); TestSnapshotCountFull__test_ok[1-rust] (passed); TestSnapshotCountFull__test_ok[3-rust] (passed); TestSnapshotRestorePrevious__test_ok[3-rust] (passed); TestSnapshotRestoreCurrent__test_error[rust] (passed); TestSnapshotRestoreNonexistent__test_error[rust] (passed); TestSnapshotPathsExist__test_ok[rust] (passed); TestSnapshotPathsNonexistent__test_error[rust] (passed); TestSnapshotCountFirstFlush__test_ok[0-cpp] (passed); TestSnapshotCountFirstFlush__test_ok[1-cpp] (passed); TestSnapshotCountFirstFlush__test_ok[3-cpp] (passed); TestSnapshotCountFull__test_ok[0-cpp] (passed); TestSnapshotCountFull__test_ok[1-cpp] (passed); TestSnapshotCountFull__test_ok[3-cpp] (passed); TestSnapshotRestorePrevious__test_ok[3-cpp] (passed); TestSnapshotRestoreCurrent__test_error[cpp] (passed); TestSnapshotRestoreNonexistent__test_error[cpp] (passed); TestSnapshotPathsExist__test_ok[cpp] (passed); TestSnapshotPathsNonexistent__test_error[cpp] (passed)
comp_req__kvs__snapshot_max_num_cfg	Maximum Number of Snapshots	ASIL_B	valid	TestSnapshotMaxCount__test_ok[0-rust] (passed); TestSnapshotMaxCount__test_ok[1-rust] (passed); TestSnapshotMaxCount__test_ok[3-rust] (passed); TestSnapshotMaxCount__test_ok[0-cpp] (passed); TestSnapshotMaxCount__test_ok[1-cpp] (passed); TestSnapshotMaxCount__test_ok[3-cpp] (passed)
comp_req__kvs__snapshot_overwrite	Snapshot Overwrite	ASIL_B	valid	TestSnapshotRestorePrevious__test_ok[3-rust] (passed); TestSnapshotRestorePrevious__test_ok[3-cpp] (passed)
comp_req__kvs__snapshot_restore_api	Snapshot Restore API	ASIL_B	valid	TestSnapshotRestorePrevious__test_ok[3-rust] (passed); TestSnapshotRestoreNonexistent__test_error[rust] (passed); TestSnapshotRestorePrevious__test_ok[3-cpp] (passed); TestSnapshotRestoreNonexistent__test_error[cpp] (passed)
comp_req__kvs__key_naming	Key Naming	ASIL_B	valid	TestSupportedDatatypesKeys__test_valid_keys_accepted[rust] (passed); TestSupportedDatatypesKeys__test_invalid_keys_rejected[rust] (passed); TestSupportedDatatypesKeys__test_valid_keys_accepted[cpp] (passed); TestSupportedDatatypesKeys__test_invalid_keys_rejected[cpp] (passed)
comp_req__kvs__key_encoding	Key Encoding	ASIL_B	valid	TestSupportedDatatypesKeys__test_valid_keys_accepted[rust] (passed); TestSupportedDatatypesKeys__test_invalid_keys_rejected[rust] (passed); TestSupportedDatatypesKeys__test_valid_keys_accepted[cpp] (passed); TestSupportedDatatypesKeys__test_invalid_keys_rejected[cpp] (passed)
comp_req__kvs__key_length	Key Length	ASIL_B	valid	TestSupportedDatatypesKeys__test_valid_keys_accepted[rust] (passed); TestSupportedDatatypesKeys__test_invalid_keys_rejected[rust] (passed); TestSupportedDatatypesKeys__test_valid_keys_accepted[cpp] (passed); TestSupportedDatatypesKeys__test_invalid_keys_rejected[cpp] (passed)
comp_req__kvs__value_data_types	Value Data Types	ASIL_B	valid	TestSupportedDatatypesValues_I32__test_ok[rust] (passed); TestSupportedDatatypesValues_U32__test_ok[rust] (passed); TestSupportedDatatypesValues_I64__test_ok[rust] (passed); TestSupportedDatatypesValues_U64__test_ok[rust] (passed); TestSupportedDatatypesValues_F64__test_ok[rust] (passed); TestSupportedDatatypesValues_Bool__test_ok[rust] (passed); TestSupportedDatatypesValues_String__test_ok[rust] (passed); TestSupportedDatatypesValues_Array__test_ok[rust] (passed); TestSupportedDatatypesValues_Object__test_ok[rust] (passed); TestSupportedDatatypesValues_I32__test_ok[cpp] (passed); TestSupportedDatatypesValues_U32__test_ok[cpp] (passed); TestSupportedDatatypesValues_I64__test_ok[cpp] (passed); TestSupportedDatatypesValues_U64__test_ok[cpp] (passed); TestSupportedDatatypesValues_F64__test_ok[cpp] (passed); TestSupportedDatatypesValues_Bool__test_ok[cpp] (passed); TestSupportedDatatypesValues_String__test_ok[cpp] (passed); TestSupportedDatatypesValues_Array__test_ok[cpp] (passed); TestSupportedDatatypesValues_Object__test_ok[cpp] (passed)
comp_req__kvs__language_bindings	Language Bindings	QM	valid
comp_req__kvs__os_abstraction	Operating System Abstraction	QM	valid
comp_req__kvs__random_access_complexity	Random Access Time Complexity	QM	valid
comp_req__kvs__multi_instance	Multi-Instance	QM	valid	TestMultipleInstanceIds__test_ok[rust] (passed); TestSameInstanceIdSameValue__test_ok[rust] (passed); TestSameInstanceIdDifferentValue__test_ok[rust] (passed); TestMultipleInstanceIds__test_ok[cpp] (passed); TestSameInstanceIdSameValue__test_ok[cpp] (passed); TestSameInstanceIdDifferentValue__test_ok[cpp] (passed)

Test Coverage

Coverage measurements available for 0/26 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Line coverage: no data.

Branch coverage: no data.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__persistency_kvs__sv	KVS Static View	ASIL_B	valid
comp_arc_sta__kvs__static_view	Component Name (Static View)	ASIL_B	invalid
comp_arc_sta__kvs__2	Component Name 2	ASIL_B	invalid
comp_arc_dyn__kvs__dynamic_view	Dynamic View	ASIL_B	invalid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	No needs passed the filters	No needs passed the filters
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters