Persistency Module Verification Report#
Persistency Module Verification Report
|
status: valid
security: NO
safety: QM
|
||||
Components#
Component Overview#
Component |
Safety |
Security |
Status |
|---|---|---|---|
ASIL_B |
YES |
valid |
persistency::kvs#
Component Requirements Statistics#
Component Architecture Statistics#
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 |
|---|---|---|---|---|
Async API |
ASIL_B |
valid |
||
Callback Support |
ASIL_B |
valid |
||
Concurrency |
ASIL_B |
valid |
||
Constraint Configuration |
ASIL_B |
valid |
||
Default Value Checksum |
ASIL_B |
valid |
||
Default Value Config |
ASIL_B |
valid |
||
Default Value Query |
ASIL_B |
valid |
||
Default Value Datatypes |
ASIL_B |
valid |
||
Engineering Mode |
ASIL_B |
valid |
||
Field Mode |
ASIL_B |
valid |
||
Key Encoding |
ASIL_B |
valid |
||
Key Length |
ASIL_B |
valid |
||
Key Naming |
ASIL_B |
valid |
||
Key Uniqueness |
ASIL_B |
valid |
||
Multi-Instance |
ASIL_B |
valid |
||
Permission Control |
ASIL_B |
valid |
||
Permission Error Handling |
ASIL_B |
valid |
||
Persistent Data Storage Checksum Write |
ASIL_B |
valid |
||
Persistent Data Storage Checksum Verify |
ASIL_B |
valid |
||
Persistent Data Schema |
ASIL_B |
valid |
||
Persistent Data Storage Backend |
ASIL_B |
valid |
||
Persistent Data Storage Format |
ASIL_B |
valid |
||
Persistent Data Versioning |
ASIL_B |
valid |
||
Persistent Data Storage Components |
ASIL_B |
valid |
||
Snapshot Creation |
ASIL_B |
valid |
||
Snapshot Deletion |
ASIL_B |
valid |
||
Snapshot IDs |
ASIL_B |
valid |
||
Snapshot Maximum Number |
ASIL_B |
valid |
||
Snapshot Restore |
ASIL_B |
valid |
||
Snapshot Rotation |
ASIL_B |
valid |
||
Value Data Types |
ASIL_B |
valid |
||
Value Default |
ASIL_B |
valid |
||
Value Length |
ASIL_B |
valid |
||
Value Reset |
ASIL_B |
valid |
||
Value Serialization |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
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 inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Dynamic View |
ASIL_B |
invalid |
||
Component Name 2 |
ASIL_B |
invalid |
||
Component Name (Static 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 |
|---|---|---|---|
Requirements Inspection |
No needs passed the filters |
No needs passed the filters |
|
Architecture Inspection |
No needs passed the filters |
No needs passed the filters |
|
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
No needs passed the filters |
No needs passed the filters |
DFA |
No needs passed the filters |
No needs passed the filters |
|
FMEA |
No needs passed the filters |
No needs passed the filters |
This report is generated from persistency’s own needs data. It uses the module verification report template introduced by docs-as-code. It complements persistency’s own hand-written verification report, Persistency Verification Re... (doc__persistency_manual_verification_report).