Verification Report#
Persistency Verification Report
|
status: valid
security: NO
safety: ASIL_B
|
||||
Persistency Module
|
status: valid
security: NO
safety: ASIL_B
|
||||
KVS Requirements Inspection Record
|
status: valid
security: NO
safety: ASIL_B
|
||||
Persistency Architecture Inspection Record
|
status: valid
security: NO
safety: ASIL_B
|
||||
KVS Implementation Inspection Record
|
status: valid
security: NO
safety: ASIL_B
|
||||
Persistency Module Verification Summary
|
status: valid
security: NO
safety: ASIL_B
|
||||
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
1.2. on Architecture
ID |
Type |
Status |
Fully Verified By Tests |
Partially Verified By Tests |
Inspected By |
|---|---|---|---|---|---|
Feature Sequence Diagram |
valid |
||||
Feature Sequence Diagram |
valid |
||||
Feature Sequence Diagram |
valid |
||||
Feature Sequence Diagram |
valid |
||||
Feature Sequence Diagram |
valid |
||||
Feature Sequence Diagram |
valid |
||||
Feature Sequence Diagram |
valid |
||||
Feature & Feature Package Diagram |
valid |
1.3. on Detailed Design
ID |
Status |
Inspected By |
Realizes |
|---|---|---|---|
draft |
The above requirement, architecture, and detailed design tables are generated from needs relations and inspection records.
2. DFA Report
ID |
Mitigation |
Sufficient |
Status |
|---|---|---|---|
yes |
valid |
3. Safety Analysis Report
ID |
Mitigation |
Sufficient |
Status |
|---|---|---|---|
yes |
valid |
||
yes |
valid |
||
yes |
valid |
||
yes |
valid |
||
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.
4.3. Manual Code Inspection
Inspection ID |
Type |
State |
Open Findings |
Inspected Artifacts |
Evidence |
|---|---|---|---|---|---|
implementation |
approved |
0 |
feat_arc_dyn__persistency__write_key; feat_arc_dyn__persistency__flush |
||
requirements |
approved |
0 |
comp_req__kvs__key_naming; comp_req__kvs__value_default; aou_req__persistency__error_handling |
||
architecture |
approved |
0 |
feat_arc_sta__persistency__static; feat_arc_dyn__persistency__read_key |
5. Software component qualification verification report
No separate pre-developed software qualification report is currently linked in this module.
6. Test results
7. Test logs
Need ID |
Testcase |
Result Text |
File |
Line |
|---|---|---|---|---|
TestBasic__test_returncode_ok[cpp] |
tests/test_cases/tests/test_basic.py |
34 |
||
TestBasic__test_returncode_ok[rust] |
tests/test_cases/tests/test_basic.py |
34 |
||
TestBasic__test_trace_ok[cpp] |
tests/test_cases/tests/test_basic.py |
37 |
||
TestBasic__test_trace_ok[rust] |
tests/test_cases/tests/test_basic.py |
37 |
||
testcase__TestChecksumOnProvidedDefaults__test_valid[optional-cpp]_phpwp |
TestChecksumOnProvidedDefaults__test_valid[optional-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
550 |
|
testcase__TestChecksumOnProvidedDefaults__test_valid[optional-rust]_lpsyh |
TestChecksumOnProvidedDefaults__test_valid[optional-rust] |
tests/test_cases/tests/test_cit_default_values.py |
550 |
|
testcase__TestChecksumOnProvidedDefaults__test_valid[required-cpp]_yqpml |
TestChecksumOnProvidedDefaults__test_valid[required-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
550 |
|
testcase__TestChecksumOnProvidedDefaults__test_valid[required-rust]_lwwik |
TestChecksumOnProvidedDefaults__test_valid[required-rust] |
tests/test_cases/tests/test_cit_default_values.py |
550 |
|
TestDefaultValues__test_valid[optional-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
135 |
||
testcase__TestDefaultValues__test_valid[optional-rust]_fvxxw |
TestDefaultValues__test_valid[optional-rust] |
tests/test_cases/tests/test_cit_default_values.py |
135 |
|
TestDefaultValues__test_valid[required-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
135 |
||
testcase__TestDefaultValues__test_valid[required-rust]_izzvz |
TestDefaultValues__test_valid[required-rust] |
tests/test_cases/tests/test_cit_default_values.py |
135 |
|
TestDefaultValues__test_valid[without-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
135 |
||
TestDefaultValues__test_valid[without-rust] |
tests/test_cases/tests/test_cit_default_values.py |
135 |
||
TestExplicitFlush__test_data_stored[rust] |
tests/test_cases/tests/test_cit_persistency.py |
47 |
||
testcase__TestMalformedDefaultsFile__test_invalid[optional-cpp]_lqbty |
TestMalformedDefaultsFile__test_invalid[optional-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
312 |
|
testcase__TestMalformedDefaultsFile__test_invalid[optional-rust]_qdoke |
TestMalformedDefaultsFile__test_invalid[optional-rust] |
tests/test_cases/tests/test_cit_default_values.py |
312 |
|
testcase__TestMalformedDefaultsFile__test_invalid[required-cpp]_fbkta |
TestMalformedDefaultsFile__test_invalid[required-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
312 |
|
testcase__TestMalformedDefaultsFile__test_invalid[required-rust]_wxawd |
TestMalformedDefaultsFile__test_invalid[required-rust] |
tests/test_cases/tests/test_cit_default_values.py |
312 |
|
testcase__TestMissingDefaultsFile__test_invalid[required-cpp]_rewdg |
TestMissingDefaultsFile__test_invalid[required-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
354 |
|
testcase__TestMissingDefaultsFile__test_invalid[required-rust]_vhswu |
TestMissingDefaultsFile__test_invalid[required-rust] |
tests/test_cases/tests/test_cit_default_values.py |
354 |
|
TestMultipleInstanceIds__test_ok[cpp] |
tests/test_cases/tests/test_cit_multiple_kvs.py |
46 |
||
TestMultipleInstanceIds__test_ok[rust] |
tests/test_cases/tests/test_cit_multiple_kvs.py |
46 |
||
TestRemoveKey__test_valid[optional-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
212 |
||
TestRemoveKey__test_valid[optional-rust] |
tests/test_cases/tests/test_cit_default_values.py |
212 |
||
TestRemoveKey__test_valid[required-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
212 |
||
TestRemoveKey__test_valid[required-rust] |
tests/test_cases/tests/test_cit_default_values.py |
212 |
||
TestRemoveKey__test_valid[without-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
212 |
||
TestRemoveKey__test_valid[without-rust] |
tests/test_cases/tests/test_cit_default_values.py |
212 |
||
TestResetAllKeys__test_valid[optional-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
403 |
||
TestResetAllKeys__test_valid[optional-rust] |
tests/test_cases/tests/test_cit_default_values.py |
403 |
||
TestResetAllKeys__test_valid[required-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
403 |
||
TestResetAllKeys__test_valid[required-rust] |
tests/test_cases/tests/test_cit_default_values.py |
403 |
||
testcase__TestResetSingleKey__test_valid[optional-cpp]_gaepj |
TestResetSingleKey__test_valid[optional-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
470 |
|
testcase__TestResetSingleKey__test_valid[optional-rust]_fetfz |
TestResetSingleKey__test_valid[optional-rust] |
tests/test_cases/tests/test_cit_default_values.py |
470 |
|
testcase__TestResetSingleKey__test_valid[required-cpp]_wavpj |
TestResetSingleKey__test_valid[required-cpp] |
tests/test_cases/tests/test_cit_default_values.py |
470 |
|
testcase__TestResetSingleKey__test_valid[required-rust]_ystth |
TestResetSingleKey__test_valid[required-rust] |
tests/test_cases/tests/test_cit_default_values.py |
470 |
|
testcase__TestSameInstanceIdDifferentValue__test_ok[cpp]_robim |
TestSameInstanceIdDifferentValue__test_ok[cpp] |
tests/test_cases/tests/test_cit_multiple_kvs.py |
116 |
|
testcase__TestSameInstanceIdDifferentValue__test_ok[rust]_gghod |
TestSameInstanceIdDifferentValue__test_ok[rust] |
tests/test_cases/tests/test_cit_multiple_kvs.py |
116 |
|
TestSameInstanceIdSameValue__test_ok[cpp] |
tests/test_cases/tests/test_cit_multiple_kvs.py |
80 |
||
TestSameInstanceIdSameValue__test_ok[rust] |
tests/test_cases/tests/test_cit_multiple_kvs.py |
80 |
||
TestSnapshotCountFirstFlush__test_ok[0-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
testcase__TestSnapshotCountFirstFlush__test_ok[0-rust]_gfwxh |
TestSnapshotCountFirstFlush__test_ok[0-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
TestSnapshotCountFirstFlush__test_ok[1-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
testcase__TestSnapshotCountFirstFlush__test_ok[1-rust]_gcomd |
TestSnapshotCountFirstFlush__test_ok[1-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
testcase__TestSnapshotCountFirstFlush__test_ok[10-cpp]_kswgs |
TestSnapshotCountFirstFlush__test_ok[10-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
testcase__TestSnapshotCountFirstFlush__test_ok[10-rust]_kvfhx |
TestSnapshotCountFirstFlush__test_ok[10-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
TestSnapshotCountFirstFlush__test_ok[3-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
testcase__TestSnapshotCountFirstFlush__test_ok[3-rust]_tsvwm |
TestSnapshotCountFirstFlush__test_ok[3-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
TestSnapshotCountFull__test_ok[0-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
TestSnapshotCountFull__test_ok[0-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
||
TestSnapshotCountFull__test_ok[1-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
TestSnapshotCountFull__test_ok[1-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
||
TestSnapshotCountFull__test_ok[10-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
TestSnapshotCountFull__test_ok[10-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
||
TestSnapshotCountFull__test_ok[3-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
|
TestSnapshotCountFull__test_ok[3-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
66 |
||
TestSnapshotMaxCount__test_ok[0-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
133 |
|
TestSnapshotMaxCount__test_ok[0-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
133 |
||
TestSnapshotMaxCount__test_ok[1-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
133 |
|
TestSnapshotMaxCount__test_ok[1-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
133 |
||
TestSnapshotMaxCount__test_ok[10-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
133 |
|
TestSnapshotMaxCount__test_ok[10-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
133 |
||
TestSnapshotMaxCount__test_ok[3-cpp] |
https://github.com/eclipse-score/persistency/issues/108 |
tests/test_cases/tests/test_cit_snapshots.py |
133 |
|
TestSnapshotMaxCount__test_ok[3-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
133 |
||
TestSnapshotPathsExist__test_ok[cpp] |
tests/test_cases/tests/test_cit_snapshots.py |
283 |
||
TestSnapshotPathsExist__test_ok[rust] |
tests/test_cases/tests/test_cit_snapshots.py |
283 |
||
testcase__TestSnapshotPathsNonexistent__test_error[cpp]_ouiha |
TestSnapshotPathsNonexistent__test_error[cpp] |
tests/test_cases/tests/test_cit_snapshots.py |
319 |
|
testcase__TestSnapshotPathsNonexistent__test_error[rust]_okwkw |
TestSnapshotPathsNonexistent__test_error[rust] |
tests/test_cases/tests/test_cit_snapshots.py |
319 |
|
TestSnapshotRestoreCurrent__test_error[cpp] |
tests/test_cases/tests/test_cit_snapshots.py |
213 |
||
testcase__TestSnapshotRestoreCurrent__test_error[rust]_jugdk |
TestSnapshotRestoreCurrent__test_error[rust] |
tests/test_cases/tests/test_cit_snapshots.py |
213 |
|
testcase__TestSnapshotRestoreNonexistent__test_error[cpp]_pmdda |
TestSnapshotRestoreNonexistent__test_error[cpp] |
tests/test_cases/tests/test_cit_snapshots.py |
252 |
|
testcase__TestSnapshotRestoreNonexistent__test_error[rust]_cghva |
TestSnapshotRestoreNonexistent__test_error[rust] |
tests/test_cases/tests/test_cit_snapshots.py |
252 |
|
testcase__TestSnapshotRestorePrevious__test_ok[10-cpp]_gqlxe |
TestSnapshotRestorePrevious__test_ok[10-cpp] |
tests/test_cases/tests/test_cit_snapshots.py |
177 |
|
testcase__TestSnapshotRestorePrevious__test_ok[10-rust]_kkovq |
TestSnapshotRestorePrevious__test_ok[10-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
177 |
|
TestSnapshotRestorePrevious__test_ok[3-cpp] |
tests/test_cases/tests/test_cit_snapshots.py |
177 |
||
testcase__TestSnapshotRestorePrevious__test_ok[3-rust]_wlhhz |
TestSnapshotRestorePrevious__test_ok[3-rust] |
tests/test_cases/tests/test_cit_snapshots.py |
177 |
|
TestSupportedDatatypesKeys__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
44 |
||
TestSupportedDatatypesKeys__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
44 |
||
testcase__TestSupportedDatatypesValues_Array__test_ok[cpp]_mifxj |
TestSupportedDatatypesValues_Array__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_Array__test_ok[rust]_shxqb |
TestSupportedDatatypesValues_Array__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_Bool__test_ok[cpp]_xpzpu |
TestSupportedDatatypesValues_Bool__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_Bool__test_ok[rust]_rckxx |
TestSupportedDatatypesValues_Bool__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_F64__test_ok[cpp]_rxgea |
TestSupportedDatatypesValues_F64__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_F64__test_ok[rust]_ccjpn |
TestSupportedDatatypesValues_F64__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_I32__test_ok[cpp]_bmwle |
TestSupportedDatatypesValues_I32__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_I32__test_ok[rust]_anigq |
TestSupportedDatatypesValues_I32__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_I64__test_ok[cpp]_kvkoj |
TestSupportedDatatypesValues_I64__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_I64__test_ok[rust]_veqyn |
TestSupportedDatatypesValues_I64__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_Object__test_ok[cpp]_nbvxm |
TestSupportedDatatypesValues_Object__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_Object__test_ok[rust]_ydgye |
TestSupportedDatatypesValues_Object__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_String__test_ok[cpp]_khjnu |
TestSupportedDatatypesValues_String__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_String__test_ok[rust]_pzyma |
TestSupportedDatatypesValues_String__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_U32__test_ok[cpp]_uqwst |
TestSupportedDatatypesValues_U32__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_U32__test_ok[rust]_bivln |
TestSupportedDatatypesValues_U32__test_ok[rust] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_U64__test_ok[cpp]_tfkqn |
TestSupportedDatatypesValues_U64__test_ok[cpp] |
tests/test_cases/tests/test_cit_supported_datatypes.py |
85 |
|
testcase__TestSupportedDatatypesValues_U64__test_ok[rust]_zsiih |
TestSupportedDatatypesValues_U64__test_ok[rust] |
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