Verification Report

Persistency Verification Report		status: valid security: NO safety: ASIL_B
tags: persistency version: 1 realizes: wp__verification_module_ver_report evidence_for: mod_vrep__persistency__report
doc__persistency_verification_report		Generic Document

Persistency Module		status: valid security: NO safety: ASIL_B
version: 1 has: mod_vrep__persistency__report includes: comp__persistency_kvs
mod__persistency		Module

Persistency Module Verification Summary		status: valid security: NO safety: ASIL_B
applies_to_module_version: 1 branch_coverage_percent: 0 line_coverage_percent: 0 requirements_tests_completely_passed_percent: 100 verification_method: test version: 1 realizes: wp__verification_module_ver_report covers: comp_req__kvs__key_naming, comp_req__kvs__value_default, feat_arc_sta__persistency__static, feat_saf_dfa__persistency__execution_blocking, feat_saf_fmea__persistency__err_handl belongs to: mod__persistency evidence: doc__persistency_safety_analysis_fdr, doc__persistency_verification_report
mod_vrep__persistency__report		Module Verification Report

This verification report is based on the verification plan. It covers the persistency module and all linked component/feature verification evidence.

Verification Report contains:

1. Verification Coverage

1.1. on Requirements

No needs passed the filters

1.2. on Architecture

Architecture Verification Coverage

ID	Type	Status	Fully Verified By Tests	Partially Verified By Tests
feat_arc_dyn__persistency__check_key_default	Feature Sequence Diagram	valid
feat_arc_dyn__persistency__delete_key	Feature Sequence Diagram	valid
feat_arc_dyn__persistency__flush	Feature Sequence Diagram	valid
feat_arc_dyn__persistency__read_from_storage	Feature Sequence Diagram	valid
feat_arc_dyn__persistency__read_key	Feature Sequence Diagram	valid
feat_arc_dyn__persistency__snapshot_restore	Feature Sequence Diagram	valid
feat_arc_dyn__persistency__write_key	Feature Sequence Diagram	valid
feat_arc_sta__persistency__static	Feature & Feature Package Diagram	valid

1.3. on Detailed Design

Detailed Design Verification Coverage

ID	Status	Realizes
doc__kvs_detailed_design	draft	wp__sw_implementation

The above requirement, architecture, and detailed design tables are generated from needs relations.

2. DFA Report

Performed Feature DFA Analyses

ID	Mitigation	Sufficient	Status
feat_saf_dfa__persistency__execution_blocking	aou_req__persistency__appl_exec	yes	valid

3. Safety Analysis Report

Performed Feature FMEA Analyses

ID	Mitigation	Sufficient	Status
feat_saf_fmea__persistency__corrupted_message	aou_req__persistency__error_handling	yes	valid
feat_saf_fmea__persistency__err_handl	aou_req__persistency__error_handling	yes	valid
feat_saf_fmea__persistency__late_message	aou_req__persistency__error_handling	yes	valid
feat_saf_fmea__persistency__message_nreived	aou_req__persistency__error_handling	yes	valid
feat_saf_fmea__persistency__not_sent	aou_req__persistency__error_handling	yes	valid

4. Unit Verification Coverage

4.1. Structural Coverage

Automatic structural/branch coverage needs are currently not available in this repository’s needs dataset. This section remains manual until unit coverage artifacts are exported as needs.

4.2. Static Code Analysis

Automatic static-analysis findings needs are currently not available in this repository’s needs dataset. This section remains manual until static-analysis artifacts are exported as needs.

5. Software component qualification verification report

No separate pre-developed software qualification report is currently linked in this module.

6. Test results

Test Result Per Testcase

Need ID	Testcase	Result	Fully Verifies	Partially Verifies
testcase__TestBasic__test_returncode_ok[cpp]_jekkw	TestBasic__test_returncode_ok[cpp]	passed
testcase__TestBasic__test_returncode_ok[rust]_ijyxd	TestBasic__test_returncode_ok[rust]	passed
testcase__TestBasic__test_trace_ok[cpp]_cokik	TestBasic__test_trace_ok[cpp]	passed
testcase__TestBasic__test_trace_ok[rust]_mlrkk	TestBasic__test_trace_ok[rust]	passed
testcase__TestChecksumOnProvidedDefaults__test_valid[optional-cpp]_hhlvb	TestChecksumOnProvidedDefaults__test_valid[optional-cpp]	passed	comp_req__kvs__default_val_chksum	comp_req__kvs__default_value_cfg; comp_req__kvs__value_default
testcase__TestChecksumOnProvidedDefaults__test_valid[optional-rust]_snrut	TestChecksumOnProvidedDefaults__test_valid[optional-rust]	passed	comp_req__kvs__default_val_chksum	comp_req__kvs__default_value_cfg; comp_req__kvs__value_default
testcase__TestChecksumOnProvidedDefaults__test_valid[required-cpp]_bkatm	TestChecksumOnProvidedDefaults__test_valid[required-cpp]	passed	comp_req__kvs__default_val_chksum	comp_req__kvs__default_value_cfg; comp_req__kvs__value_default
testcase__TestChecksumOnProvidedDefaults__test_valid[required-rust]_ycgdc	TestChecksumOnProvidedDefaults__test_valid[required-rust]	passed	comp_req__kvs__default_val_chksum	comp_req__kvs__default_value_cfg; comp_req__kvs__value_default
testcase__TestDefaultValues__test_valid[optional-cpp]_ugjnn	TestDefaultValues__test_valid[optional-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_query; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestDefaultValues__test_valid[optional-rust]_tbmqi	TestDefaultValues__test_valid[optional-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_query; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestDefaultValues__test_valid[required-cpp]_ttngy	TestDefaultValues__test_valid[required-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_query; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestDefaultValues__test_valid[required-rust]_haweg	TestDefaultValues__test_valid[required-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_query; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestDefaultValues__test_valid[without-cpp]_eorih	TestDefaultValues__test_valid[without-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_query; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestDefaultValues__test_valid[without-rust]_kekbn	TestDefaultValues__test_valid[without-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_query; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestExplicitFlush__test_data_stored[rust]_lpere	TestExplicitFlush__test_data_stored[rust]	passed	comp_req__kvs__persist_data_com
testcase__TestMalformedDefaultsFile__test_invalid[optional-cpp]_ljqnh	TestMalformedDefaultsFile__test_invalid[optional-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestMalformedDefaultsFile__test_invalid[optional-rust]_sjllh	TestMalformedDefaultsFile__test_invalid[optional-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestMalformedDefaultsFile__test_invalid[required-cpp]_yuusv	TestMalformedDefaultsFile__test_invalid[required-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestMalformedDefaultsFile__test_invalid[required-rust]_lawdy	TestMalformedDefaultsFile__test_invalid[required-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestMissingDefaultsFile__test_invalid[required-cpp]_wrbtk	TestMissingDefaultsFile__test_invalid[required-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestMissingDefaultsFile__test_invalid[required-rust]_gerzv	TestMissingDefaultsFile__test_invalid[required-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestMultipleInstanceIds__test_ok[cpp]_vmcec	TestMultipleInstanceIds__test_ok[cpp]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance
testcase__TestMultipleInstanceIds__test_ok[rust]_ssadi	TestMultipleInstanceIds__test_ok[rust]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance
testcase__TestRemoveKey__test_valid[optional-cpp]_szhpe	TestRemoveKey__test_valid[optional-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestRemoveKey__test_valid[optional-rust]_rgveo	TestRemoveKey__test_valid[optional-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestRemoveKey__test_valid[required-cpp]_epdkc	TestRemoveKey__test_valid[required-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestRemoveKey__test_valid[required-rust]_qrctx	TestRemoveKey__test_valid[required-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestRemoveKey__test_valid[without-cpp]_mzndz	TestRemoveKey__test_valid[without-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestRemoveKey__test_valid[without-rust]_hieuv	TestRemoveKey__test_valid[without-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestResetAllKeys__test_valid[optional-cpp]_bveou	TestResetAllKeys__test_valid[optional-cpp]	passed	comp_req__kvs__value_reset	comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestResetAllKeys__test_valid[optional-rust]_jmwrm	TestResetAllKeys__test_valid[optional-rust]	passed	comp_req__kvs__value_reset	comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestResetAllKeys__test_valid[required-cpp]_jztja	TestResetAllKeys__test_valid[required-cpp]	passed	comp_req__kvs__value_reset	comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestResetAllKeys__test_valid[required-rust]_yyesu	TestResetAllKeys__test_valid[required-rust]	passed	comp_req__kvs__value_reset	comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default
testcase__TestResetSingleKey__test_valid[optional-cpp]_wwddq	TestResetSingleKey__test_valid[optional-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__value_default
testcase__TestResetSingleKey__test_valid[optional-rust]_nnicy	TestResetSingleKey__test_valid[optional-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__value_default
testcase__TestResetSingleKey__test_valid[required-cpp]_csxsl	TestResetSingleKey__test_valid[required-cpp]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__value_default
testcase__TestResetSingleKey__test_valid[required-rust]_mktix	TestResetSingleKey__test_valid[required-rust]	passed		comp_req__kvs__default_value_cfg; comp_req__kvs__value_default
testcase__TestSameInstanceIdDifferentValue__test_ok[cpp]_ljfsz	TestSameInstanceIdDifferentValue__test_ok[cpp]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance
testcase__TestSameInstanceIdDifferentValue__test_ok[rust]_qxkzc	TestSameInstanceIdDifferentValue__test_ok[rust]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance
testcase__TestSameInstanceIdSameValue__test_ok[cpp]_jmglt	TestSameInstanceIdSameValue__test_ok[cpp]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance
testcase__TestSameInstanceIdSameValue__test_ok[rust]_ivsmu	TestSameInstanceIdSameValue__test_ok[rust]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance
testcase__TestSnapshotCountFirstFlush__test_ok[0-cpp]_faady	TestSnapshotCountFirstFlush__test_ok[0-cpp]	skipped		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFirstFlush__test_ok[0-rust]_vtnkl	TestSnapshotCountFirstFlush__test_ok[0-rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFirstFlush__test_ok[1-cpp]_lhqzx	TestSnapshotCountFirstFlush__test_ok[1-cpp]	skipped		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFirstFlush__test_ok[1-rust]_tttfm	TestSnapshotCountFirstFlush__test_ok[1-rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFirstFlush__test_ok[10-cpp]_awzke	TestSnapshotCountFirstFlush__test_ok[10-cpp]	skipped		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFirstFlush__test_ok[10-rust]_raleo	TestSnapshotCountFirstFlush__test_ok[10-rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFirstFlush__test_ok[3-cpp]_sfmeu	TestSnapshotCountFirstFlush__test_ok[3-cpp]	skipped		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFirstFlush__test_ok[3-rust]_ydjxa	TestSnapshotCountFirstFlush__test_ok[3-rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFull__test_ok[0-cpp]_vcprs	TestSnapshotCountFull__test_ok[0-cpp]	skipped		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFull__test_ok[0-rust]_giwzo	TestSnapshotCountFull__test_ok[0-rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFull__test_ok[1-cpp]_kzvfn	TestSnapshotCountFull__test_ok[1-cpp]	skipped		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFull__test_ok[1-rust]_yzzdf	TestSnapshotCountFull__test_ok[1-rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFull__test_ok[10-cpp]_fuqhi	TestSnapshotCountFull__test_ok[10-cpp]	skipped		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFull__test_ok[10-rust]_qdjao	TestSnapshotCountFull__test_ok[10-rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFull__test_ok[3-cpp]_irqqk	TestSnapshotCountFull__test_ok[3-cpp]	skipped		comp_req__kvs__snapshot_creation
testcase__TestSnapshotCountFull__test_ok[3-rust]_itwve	TestSnapshotCountFull__test_ok[3-rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotMaxCount__test_ok[0-cpp]_cifsh	TestSnapshotMaxCount__test_ok[0-cpp]	skipped		comp_req__kvs__snapshot_max_num
testcase__TestSnapshotMaxCount__test_ok[0-rust]_mqmvd	TestSnapshotMaxCount__test_ok[0-rust]	passed		comp_req__kvs__snapshot_max_num
testcase__TestSnapshotMaxCount__test_ok[1-cpp]_bcaay	TestSnapshotMaxCount__test_ok[1-cpp]	skipped		comp_req__kvs__snapshot_max_num
testcase__TestSnapshotMaxCount__test_ok[1-rust]_lyyii	TestSnapshotMaxCount__test_ok[1-rust]	passed		comp_req__kvs__snapshot_max_num
testcase__TestSnapshotMaxCount__test_ok[10-cpp]_asvad	TestSnapshotMaxCount__test_ok[10-cpp]	skipped		comp_req__kvs__snapshot_max_num
testcase__TestSnapshotMaxCount__test_ok[10-rust]_uyudq	TestSnapshotMaxCount__test_ok[10-rust]	passed		comp_req__kvs__snapshot_max_num
testcase__TestSnapshotMaxCount__test_ok[3-cpp]_pttie	TestSnapshotMaxCount__test_ok[3-cpp]	skipped		comp_req__kvs__snapshot_max_num
testcase__TestSnapshotMaxCount__test_ok[3-rust]_jvvto	TestSnapshotMaxCount__test_ok[3-rust]	passed		comp_req__kvs__snapshot_max_num
testcase__TestSnapshotPathsExist__test_ok[cpp]_zajxv	TestSnapshotPathsExist__test_ok[cpp]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotPathsExist__test_ok[rust]_orlbv	TestSnapshotPathsExist__test_ok[rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotPathsNonexistent__test_error[cpp]_zlbor	TestSnapshotPathsNonexistent__test_error[cpp]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotPathsNonexistent__test_error[rust]_tjglg	TestSnapshotPathsNonexistent__test_error[rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotRestoreCurrent__test_error[cpp]_jdkrn	TestSnapshotRestoreCurrent__test_error[cpp]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotRestoreCurrent__test_error[rust]_ogojb	TestSnapshotRestoreCurrent__test_error[rust]	passed		comp_req__kvs__snapshot_creation
testcase__TestSnapshotRestoreNonexistent__test_error[cpp]_kmvhb	TestSnapshotRestoreNonexistent__test_error[cpp]	passed		comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_restore
testcase__TestSnapshotRestoreNonexistent__test_error[rust]_wvckh	TestSnapshotRestoreNonexistent__test_error[rust]	passed		comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_restore
testcase__TestSnapshotRestorePrevious__test_ok[10-cpp]_wquqk	TestSnapshotRestorePrevious__test_ok[10-cpp]	passed	comp_req__kvs__snapshot_restore	comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate
testcase__TestSnapshotRestorePrevious__test_ok[10-rust]_mnrat	TestSnapshotRestorePrevious__test_ok[10-rust]	passed	comp_req__kvs__snapshot_restore	comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate
testcase__TestSnapshotRestorePrevious__test_ok[3-cpp]_knxbm	TestSnapshotRestorePrevious__test_ok[3-cpp]	passed	comp_req__kvs__snapshot_restore	comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate
testcase__TestSnapshotRestorePrevious__test_ok[3-rust]_cjfnf	TestSnapshotRestorePrevious__test_ok[3-rust]	passed	comp_req__kvs__snapshot_restore	comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate
testcase__TestSupportedDatatypesKeys__test_ok[cpp]_uijll	TestSupportedDatatypesKeys__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesKeys__test_ok[rust]_xkboc	TestSupportedDatatypesKeys__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_Array__test_ok[cpp]_mheac	TestSupportedDatatypesValues_Array__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_Array__test_ok[rust]_frsra	TestSupportedDatatypesValues_Array__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_Bool__test_ok[cpp]_nmxqw	TestSupportedDatatypesValues_Bool__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_Bool__test_ok[rust]_wcvre	TestSupportedDatatypesValues_Bool__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_F64__test_ok[cpp]_jtues	TestSupportedDatatypesValues_F64__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_F64__test_ok[rust]_kqeja	TestSupportedDatatypesValues_F64__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_I32__test_ok[cpp]_zqjee	TestSupportedDatatypesValues_I32__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_I32__test_ok[rust]_rtlxp	TestSupportedDatatypesValues_I32__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_I64__test_ok[cpp]_xzxdq	TestSupportedDatatypesValues_I64__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_I64__test_ok[rust]_grmmp	TestSupportedDatatypesValues_I64__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_Object__test_ok[cpp]_rbavu	TestSupportedDatatypesValues_Object__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_Object__test_ok[rust]_rbcwi	TestSupportedDatatypesValues_Object__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_String__test_ok[cpp]_lirir	TestSupportedDatatypesValues_String__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_String__test_ok[rust]_svpnw	TestSupportedDatatypesValues_String__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_U32__test_ok[cpp]_oxnfs	TestSupportedDatatypesValues_U32__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_U32__test_ok[rust]_kkrgq	TestSupportedDatatypesValues_U32__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_U64__test_ok[cpp]_bkphd	TestSupportedDatatypesValues_U64__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types
testcase__TestSupportedDatatypesValues_U64__test_ok[rust]_swpye	TestSupportedDatatypesValues_U64__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

7. Test logs

Test Logs Per Testcase

Need ID	Testcase	Result Text	File	Line
testcase__TestBasic__test_returncode_ok[cpp]_jekkw	TestBasic__test_returncode_ok[cpp]		score/kvs/tests/test_cases/tests/test_basic.py	34
testcase__TestBasic__test_returncode_ok[rust]_ijyxd	TestBasic__test_returncode_ok[rust]		score/kvs/tests/test_cases/tests/test_basic.py	34
testcase__TestBasic__test_trace_ok[cpp]_cokik	TestBasic__test_trace_ok[cpp]		score/kvs/tests/test_cases/tests/test_basic.py	37
testcase__TestBasic__test_trace_ok[rust]_mlrkk	TestBasic__test_trace_ok[rust]		score/kvs/tests/test_cases/tests/test_basic.py	37
testcase__TestChecksumOnProvidedDefaults__test_valid[optional-cpp]_hhlvb	TestChecksumOnProvidedDefaults__test_valid[optional-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	550
testcase__TestChecksumOnProvidedDefaults__test_valid[optional-rust]_snrut	TestChecksumOnProvidedDefaults__test_valid[optional-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	550
testcase__TestChecksumOnProvidedDefaults__test_valid[required-cpp]_bkatm	TestChecksumOnProvidedDefaults__test_valid[required-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	550
testcase__TestChecksumOnProvidedDefaults__test_valid[required-rust]_ycgdc	TestChecksumOnProvidedDefaults__test_valid[required-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	550
testcase__TestDefaultValues__test_valid[optional-cpp]_ugjnn	TestDefaultValues__test_valid[optional-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	135
testcase__TestDefaultValues__test_valid[optional-rust]_tbmqi	TestDefaultValues__test_valid[optional-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	135
testcase__TestDefaultValues__test_valid[required-cpp]_ttngy	TestDefaultValues__test_valid[required-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	135
testcase__TestDefaultValues__test_valid[required-rust]_haweg	TestDefaultValues__test_valid[required-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	135
testcase__TestDefaultValues__test_valid[without-cpp]_eorih	TestDefaultValues__test_valid[without-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	135
testcase__TestDefaultValues__test_valid[without-rust]_kekbn	TestDefaultValues__test_valid[without-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	135
testcase__TestExplicitFlush__test_data_stored[rust]_lpere	TestExplicitFlush__test_data_stored[rust]		score/kvs/tests/test_cases/tests/test_cit_persistency.py	47
testcase__TestMalformedDefaultsFile__test_invalid[optional-cpp]_ljqnh	TestMalformedDefaultsFile__test_invalid[optional-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	312
testcase__TestMalformedDefaultsFile__test_invalid[optional-rust]_sjllh	TestMalformedDefaultsFile__test_invalid[optional-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	312
testcase__TestMalformedDefaultsFile__test_invalid[required-cpp]_yuusv	TestMalformedDefaultsFile__test_invalid[required-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	312
testcase__TestMalformedDefaultsFile__test_invalid[required-rust]_lawdy	TestMalformedDefaultsFile__test_invalid[required-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	312
testcase__TestMissingDefaultsFile__test_invalid[required-cpp]_wrbtk	TestMissingDefaultsFile__test_invalid[required-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	354
testcase__TestMissingDefaultsFile__test_invalid[required-rust]_gerzv	TestMissingDefaultsFile__test_invalid[required-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	354
testcase__TestMultipleInstanceIds__test_ok[cpp]_vmcec	TestMultipleInstanceIds__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_multiple_kvs.py	46
testcase__TestMultipleInstanceIds__test_ok[rust]_ssadi	TestMultipleInstanceIds__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_multiple_kvs.py	46
testcase__TestRemoveKey__test_valid[optional-cpp]_szhpe	TestRemoveKey__test_valid[optional-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	212
testcase__TestRemoveKey__test_valid[optional-rust]_rgveo	TestRemoveKey__test_valid[optional-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	212
testcase__TestRemoveKey__test_valid[required-cpp]_epdkc	TestRemoveKey__test_valid[required-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	212
testcase__TestRemoveKey__test_valid[required-rust]_qrctx	TestRemoveKey__test_valid[required-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	212
testcase__TestRemoveKey__test_valid[without-cpp]_mzndz	TestRemoveKey__test_valid[without-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	212
testcase__TestRemoveKey__test_valid[without-rust]_hieuv	TestRemoveKey__test_valid[without-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	212
testcase__TestResetAllKeys__test_valid[optional-cpp]_bveou	TestResetAllKeys__test_valid[optional-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	403
testcase__TestResetAllKeys__test_valid[optional-rust]_jmwrm	TestResetAllKeys__test_valid[optional-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	403
testcase__TestResetAllKeys__test_valid[required-cpp]_jztja	TestResetAllKeys__test_valid[required-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	403
testcase__TestResetAllKeys__test_valid[required-rust]_yyesu	TestResetAllKeys__test_valid[required-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	403
testcase__TestResetSingleKey__test_valid[optional-cpp]_wwddq	TestResetSingleKey__test_valid[optional-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	470
testcase__TestResetSingleKey__test_valid[optional-rust]_nnicy	TestResetSingleKey__test_valid[optional-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	470
testcase__TestResetSingleKey__test_valid[required-cpp]_csxsl	TestResetSingleKey__test_valid[required-cpp]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	470
testcase__TestResetSingleKey__test_valid[required-rust]_mktix	TestResetSingleKey__test_valid[required-rust]		score/kvs/tests/test_cases/tests/test_cit_default_values.py	470
testcase__TestSameInstanceIdDifferentValue__test_ok[cpp]_ljfsz	TestSameInstanceIdDifferentValue__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_multiple_kvs.py	116
testcase__TestSameInstanceIdDifferentValue__test_ok[rust]_qxkzc	TestSameInstanceIdDifferentValue__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_multiple_kvs.py	116
testcase__TestSameInstanceIdSameValue__test_ok[cpp]_jmglt	TestSameInstanceIdSameValue__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_multiple_kvs.py	80
testcase__TestSameInstanceIdSameValue__test_ok[rust]_ivsmu	TestSameInstanceIdSameValue__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_multiple_kvs.py	80
testcase__TestSnapshotCountFirstFlush__test_ok[0-cpp]_faady	TestSnapshotCountFirstFlush__test_ok[0-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFirstFlush__test_ok[0-rust]_vtnkl	TestSnapshotCountFirstFlush__test_ok[0-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFirstFlush__test_ok[1-cpp]_lhqzx	TestSnapshotCountFirstFlush__test_ok[1-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFirstFlush__test_ok[1-rust]_tttfm	TestSnapshotCountFirstFlush__test_ok[1-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFirstFlush__test_ok[10-cpp]_awzke	TestSnapshotCountFirstFlush__test_ok[10-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFirstFlush__test_ok[10-rust]_raleo	TestSnapshotCountFirstFlush__test_ok[10-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFirstFlush__test_ok[3-cpp]_sfmeu	TestSnapshotCountFirstFlush__test_ok[3-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFirstFlush__test_ok[3-rust]_ydjxa	TestSnapshotCountFirstFlush__test_ok[3-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFull__test_ok[0-cpp]_vcprs	TestSnapshotCountFull__test_ok[0-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFull__test_ok[0-rust]_giwzo	TestSnapshotCountFull__test_ok[0-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFull__test_ok[1-cpp]_kzvfn	TestSnapshotCountFull__test_ok[1-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFull__test_ok[1-rust]_yzzdf	TestSnapshotCountFull__test_ok[1-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFull__test_ok[10-cpp]_fuqhi	TestSnapshotCountFull__test_ok[10-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFull__test_ok[10-rust]_qdjao	TestSnapshotCountFull__test_ok[10-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFull__test_ok[3-cpp]_irqqk	TestSnapshotCountFull__test_ok[3-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotCountFull__test_ok[3-rust]_itwve	TestSnapshotCountFull__test_ok[3-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	66
testcase__TestSnapshotMaxCount__test_ok[0-cpp]_cifsh	TestSnapshotMaxCount__test_ok[0-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	133
testcase__TestSnapshotMaxCount__test_ok[0-rust]_mqmvd	TestSnapshotMaxCount__test_ok[0-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	133
testcase__TestSnapshotMaxCount__test_ok[1-cpp]_bcaay	TestSnapshotMaxCount__test_ok[1-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	133
testcase__TestSnapshotMaxCount__test_ok[1-rust]_lyyii	TestSnapshotMaxCount__test_ok[1-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	133
testcase__TestSnapshotMaxCount__test_ok[10-cpp]_asvad	TestSnapshotMaxCount__test_ok[10-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	133
testcase__TestSnapshotMaxCount__test_ok[10-rust]_uyudq	TestSnapshotMaxCount__test_ok[10-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	133
testcase__TestSnapshotMaxCount__test_ok[3-cpp]_pttie	TestSnapshotMaxCount__test_ok[3-cpp]	https://github.com/eclipse-score/persistency/issues/108	score/kvs/tests/test_cases/tests/test_cit_snapshots.py	133
testcase__TestSnapshotMaxCount__test_ok[3-rust]_jvvto	TestSnapshotMaxCount__test_ok[3-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	133
testcase__TestSnapshotPathsExist__test_ok[cpp]_zajxv	TestSnapshotPathsExist__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	283
testcase__TestSnapshotPathsExist__test_ok[rust]_orlbv	TestSnapshotPathsExist__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	283
testcase__TestSnapshotPathsNonexistent__test_error[cpp]_zlbor	TestSnapshotPathsNonexistent__test_error[cpp]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	319
testcase__TestSnapshotPathsNonexistent__test_error[rust]_tjglg	TestSnapshotPathsNonexistent__test_error[rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	319
testcase__TestSnapshotRestoreCurrent__test_error[cpp]_jdkrn	TestSnapshotRestoreCurrent__test_error[cpp]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	213
testcase__TestSnapshotRestoreCurrent__test_error[rust]_ogojb	TestSnapshotRestoreCurrent__test_error[rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	213
testcase__TestSnapshotRestoreNonexistent__test_error[cpp]_kmvhb	TestSnapshotRestoreNonexistent__test_error[cpp]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	252
testcase__TestSnapshotRestoreNonexistent__test_error[rust]_wvckh	TestSnapshotRestoreNonexistent__test_error[rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	252
testcase__TestSnapshotRestorePrevious__test_ok[10-cpp]_wquqk	TestSnapshotRestorePrevious__test_ok[10-cpp]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	177
testcase__TestSnapshotRestorePrevious__test_ok[10-rust]_mnrat	TestSnapshotRestorePrevious__test_ok[10-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	177
testcase__TestSnapshotRestorePrevious__test_ok[3-cpp]_knxbm	TestSnapshotRestorePrevious__test_ok[3-cpp]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	177
testcase__TestSnapshotRestorePrevious__test_ok[3-rust]_cjfnf	TestSnapshotRestorePrevious__test_ok[3-rust]		score/kvs/tests/test_cases/tests/test_cit_snapshots.py	177
testcase__TestSupportedDatatypesKeys__test_ok[cpp]_uijll	TestSupportedDatatypesKeys__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	44
testcase__TestSupportedDatatypesKeys__test_ok[rust]_xkboc	TestSupportedDatatypesKeys__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	44
testcase__TestSupportedDatatypesValues_Array__test_ok[cpp]_mheac	TestSupportedDatatypesValues_Array__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_Array__test_ok[rust]_frsra	TestSupportedDatatypesValues_Array__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_Bool__test_ok[cpp]_nmxqw	TestSupportedDatatypesValues_Bool__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_Bool__test_ok[rust]_wcvre	TestSupportedDatatypesValues_Bool__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_F64__test_ok[cpp]_jtues	TestSupportedDatatypesValues_F64__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_F64__test_ok[rust]_kqeja	TestSupportedDatatypesValues_F64__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_I32__test_ok[cpp]_zqjee	TestSupportedDatatypesValues_I32__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_I32__test_ok[rust]_rtlxp	TestSupportedDatatypesValues_I32__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_I64__test_ok[cpp]_xzxdq	TestSupportedDatatypesValues_I64__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_I64__test_ok[rust]_grmmp	TestSupportedDatatypesValues_I64__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_Object__test_ok[cpp]_rbavu	TestSupportedDatatypesValues_Object__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_Object__test_ok[rust]_rbcwi	TestSupportedDatatypesValues_Object__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_String__test_ok[cpp]_lirir	TestSupportedDatatypesValues_String__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_String__test_ok[rust]_svpnw	TestSupportedDatatypesValues_String__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_U32__test_ok[cpp]_oxnfs	TestSupportedDatatypesValues_U32__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_U32__test_ok[rust]_kkrgq	TestSupportedDatatypesValues_U32__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_U64__test_ok[cpp]_bkphd	TestSupportedDatatypesValues_U64__test_ok[cpp]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85
testcase__TestSupportedDatatypesValues_U64__test_ok[rust]_swpye	TestSupportedDatatypesValues_U64__test_ok[rust]		score/kvs/tests/test_cases/tests/test_cit_supported_datatypes.py	85

Note1: The verification report is valid for the module version tagged together with the report

Note2: All the above lists are generated automatically