Component Requirements Statistics#
Overview#
In Detail#
Failed Tests
Hint: This table should be empty. Before a PR can be merged all tests have to be successful.
No needs passed the filters
Skipped / Disabled Tests
testcase |
Result |
Fully Verifies |
Partially Verifies |
Test Type |
Derivation Technique |
link |
|---|---|---|---|---|---|---|
TestSnapshotCountFirstFlush__test_ok[0-cpp] |
skipped |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFirstFlush__test_ok[1-cpp] |
skipped |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFirstFlush__test_ok[10-cpp] |
skipped |
requirements-based |
requirements-analysis |
testcase__TestSnapshotCountFirstFlush__test_ok[10-cpp]_awzke |
||
TestSnapshotCountFirstFlush__test_ok[3-cpp] |
skipped |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFull__test_ok[0-cpp] |
skipped |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFull__test_ok[1-cpp] |
skipped |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFull__test_ok[10-cpp] |
skipped |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFull__test_ok[3-cpp] |
skipped |
requirements-based |
requirements-analysis |
|||
TestSnapshotMaxCount__test_ok[0-cpp] |
skipped |
inspection |
boundary-values |
|||
TestSnapshotMaxCount__test_ok[1-cpp] |
skipped |
inspection |
boundary-values |
|||
TestSnapshotMaxCount__test_ok[10-cpp] |
skipped |
inspection |
boundary-values |
|||
TestSnapshotMaxCount__test_ok[3-cpp] |
skipped |
inspection |
boundary-values |
All passed Tests#
testcase |
Result |
Fully Verifies |
Partially Verifies |
Test Type |
Derivation Technique |
link |
|---|---|---|---|---|---|---|
TestBasic__test_returncode_ok[cpp] |
passed |
|||||
TestBasic__test_returncode_ok[rust] |
passed |
|||||
TestBasic__test_trace_ok[cpp] |
passed |
|||||
TestBasic__test_trace_ok[rust] |
passed |
|||||
TestChecksumOnProvidedDefaults__test_valid[optional-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestChecksumOnProvidedDefaults__test_valid[optional-cpp]_hhlvb |
|
TestChecksumOnProvidedDefaults__test_valid[optional-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestChecksumOnProvidedDefaults__test_valid[optional-rust]_snrut |
|
TestChecksumOnProvidedDefaults__test_valid[required-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestChecksumOnProvidedDefaults__test_valid[required-cpp]_bkatm |
|
TestChecksumOnProvidedDefaults__test_valid[required-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestChecksumOnProvidedDefaults__test_valid[required-rust]_ycgdc |
|
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 |
requirements-based |
requirements-analysis |
||
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 |
requirements-based |
requirements-analysis |
testcase__TestDefaultValues__test_valid[optional-rust]_tbmqi |
|
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 |
requirements-based |
requirements-analysis |
||
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 |
requirements-based |
requirements-analysis |
testcase__TestDefaultValues__test_valid[required-rust]_haweg |
|
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 |
requirements-based |
requirements-analysis |
||
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 |
requirements-based |
requirements-analysis |
||
TestExplicitFlush__test_data_stored[rust] |
passed |
requirements-based |
requirements-analysis |
|||
TestMalformedDefaultsFile__test_invalid[optional-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestMalformedDefaultsFile__test_invalid[optional-cpp]_ljqnh |
|
TestMalformedDefaultsFile__test_invalid[optional-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestMalformedDefaultsFile__test_invalid[optional-rust]_sjllh |
|
TestMalformedDefaultsFile__test_invalid[required-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestMalformedDefaultsFile__test_invalid[required-cpp]_yuusv |
|
TestMalformedDefaultsFile__test_invalid[required-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestMalformedDefaultsFile__test_invalid[required-rust]_lawdy |
|
TestMissingDefaultsFile__test_invalid[required-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestMissingDefaultsFile__test_invalid[required-cpp]_wrbtk |
|
TestMissingDefaultsFile__test_invalid[required-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestMissingDefaultsFile__test_invalid[required-rust]_gerzv |
|
TestMultipleInstanceIds__test_ok[cpp] |
passed |
requirements-based |
requirements-analysis |
|||
TestMultipleInstanceIds__test_ok[rust] |
passed |
requirements-based |
requirements-analysis |
|||
TestRemoveKey__test_valid[optional-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestRemoveKey__test_valid[optional-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestRemoveKey__test_valid[required-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestRemoveKey__test_valid[required-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestRemoveKey__test_valid[without-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestRemoveKey__test_valid[without-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestResetAllKeys__test_valid[optional-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestResetAllKeys__test_valid[optional-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestResetAllKeys__test_valid[required-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestResetAllKeys__test_valid[required-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
||
TestResetSingleKey__test_valid[optional-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestResetSingleKey__test_valid[optional-cpp]_wwddq |
|
TestResetSingleKey__test_valid[optional-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestResetSingleKey__test_valid[optional-rust]_nnicy |
|
TestResetSingleKey__test_valid[required-cpp] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestResetSingleKey__test_valid[required-cpp]_csxsl |
|
TestResetSingleKey__test_valid[required-rust] |
passed |
comp_req__kvs__default_value_cfg; comp_req__kvs__value_default |
requirements-based |
requirements-analysis |
testcase__TestResetSingleKey__test_valid[required-rust]_mktix |
|
TestSameInstanceIdDifferentValue__test_ok[cpp] |
passed |
requirements-based |
requirements-analysis |
testcase__TestSameInstanceIdDifferentValue__test_ok[cpp]_ljfsz |
||
TestSameInstanceIdDifferentValue__test_ok[rust] |
passed |
requirements-based |
requirements-analysis |
testcase__TestSameInstanceIdDifferentValue__test_ok[rust]_qxkzc |
||
TestSameInstanceIdSameValue__test_ok[cpp] |
passed |
requirements-based |
requirements-analysis |
|||
TestSameInstanceIdSameValue__test_ok[rust] |
passed |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFirstFlush__test_ok[0-rust] |
passed |
requirements-based |
requirements-analysis |
testcase__TestSnapshotCountFirstFlush__test_ok[0-rust]_vtnkl |
||
TestSnapshotCountFirstFlush__test_ok[1-rust] |
passed |
requirements-based |
requirements-analysis |
testcase__TestSnapshotCountFirstFlush__test_ok[1-rust]_tttfm |
||
TestSnapshotCountFirstFlush__test_ok[10-rust] |
passed |
requirements-based |
requirements-analysis |
testcase__TestSnapshotCountFirstFlush__test_ok[10-rust]_raleo |
||
TestSnapshotCountFirstFlush__test_ok[3-rust] |
passed |
requirements-based |
requirements-analysis |
testcase__TestSnapshotCountFirstFlush__test_ok[3-rust]_ydjxa |
||
TestSnapshotCountFull__test_ok[0-rust] |
passed |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFull__test_ok[1-rust] |
passed |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFull__test_ok[10-rust] |
passed |
requirements-based |
requirements-analysis |
|||
TestSnapshotCountFull__test_ok[3-rust] |
passed |
requirements-based |
requirements-analysis |
|||
TestSnapshotMaxCount__test_ok[0-rust] |
passed |
inspection |
boundary-values |
|||
TestSnapshotMaxCount__test_ok[1-rust] |
passed |
inspection |
boundary-values |
|||
TestSnapshotMaxCount__test_ok[10-rust] |
passed |
inspection |
boundary-values |
|||
TestSnapshotMaxCount__test_ok[3-rust] |
passed |
inspection |
boundary-values |
|||
TestSnapshotPathsExist__test_ok[cpp] |
passed |
interface-test |
requirements-analysis |
|||
TestSnapshotPathsExist__test_ok[rust] |
passed |
interface-test |
requirements-analysis |
|||
TestSnapshotPathsNonexistent__test_error[cpp] |
passed |
fault-injection |
requirements-analysis |
testcase__TestSnapshotPathsNonexistent__test_error[cpp]_zlbor |
||
TestSnapshotPathsNonexistent__test_error[rust] |
passed |
fault-injection |
requirements-analysis |
testcase__TestSnapshotPathsNonexistent__test_error[rust]_tjglg |
||
TestSnapshotRestoreCurrent__test_error[cpp] |
passed |
fault-injection |
requirements-analysis |
|||
TestSnapshotRestoreCurrent__test_error[rust] |
passed |
fault-injection |
requirements-analysis |
testcase__TestSnapshotRestoreCurrent__test_error[rust]_ogojb |
||
TestSnapshotRestoreNonexistent__test_error[cpp] |
passed |
comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_restore |
fault-injection |
requirements-analysis |
testcase__TestSnapshotRestoreNonexistent__test_error[cpp]_kmvhb |
|
TestSnapshotRestoreNonexistent__test_error[rust] |
passed |
comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_restore |
fault-injection |
requirements-analysis |
testcase__TestSnapshotRestoreNonexistent__test_error[rust]_wvckh |
|
TestSnapshotRestorePrevious__test_ok[10-cpp] |
passed |
comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate |
control-flow-analysis |
requirements-analysis |
testcase__TestSnapshotRestorePrevious__test_ok[10-cpp]_wquqk |
|
TestSnapshotRestorePrevious__test_ok[10-rust] |
passed |
comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate |
control-flow-analysis |
requirements-analysis |
testcase__TestSnapshotRestorePrevious__test_ok[10-rust]_mnrat |
|
TestSnapshotRestorePrevious__test_ok[3-cpp] |
passed |
comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate |
control-flow-analysis |
requirements-analysis |
||
TestSnapshotRestorePrevious__test_ok[3-rust] |
passed |
comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate |
control-flow-analysis |
requirements-analysis |
testcase__TestSnapshotRestorePrevious__test_ok[3-rust]_cjfnf |
|
TestSupportedDatatypesKeys__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
||
TestSupportedDatatypesKeys__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
||
TestSupportedDatatypesValues_Array__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_Array__test_ok[cpp]_mheac |
|
TestSupportedDatatypesValues_Array__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_Array__test_ok[rust]_frsra |
|
TestSupportedDatatypesValues_Bool__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_Bool__test_ok[cpp]_nmxqw |
|
TestSupportedDatatypesValues_Bool__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_Bool__test_ok[rust]_wcvre |
|
TestSupportedDatatypesValues_F64__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_F64__test_ok[cpp]_jtues |
|
TestSupportedDatatypesValues_F64__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_F64__test_ok[rust]_kqeja |
|
TestSupportedDatatypesValues_I32__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_I32__test_ok[cpp]_zqjee |
|
TestSupportedDatatypesValues_I32__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_I32__test_ok[rust]_rtlxp |
|
TestSupportedDatatypesValues_I64__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_I64__test_ok[cpp]_xzxdq |
|
TestSupportedDatatypesValues_I64__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_I64__test_ok[rust]_grmmp |
|
TestSupportedDatatypesValues_Object__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_Object__test_ok[cpp]_rbavu |
|
TestSupportedDatatypesValues_Object__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_Object__test_ok[rust]_rbcwi |
|
TestSupportedDatatypesValues_String__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_String__test_ok[cpp]_lirir |
|
TestSupportedDatatypesValues_String__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_String__test_ok[rust]_svpnw |
|
TestSupportedDatatypesValues_U32__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_U32__test_ok[cpp]_oxnfs |
|
TestSupportedDatatypesValues_U32__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_U32__test_ok[rust]_kkrgq |
|
TestSupportedDatatypesValues_U64__test_ok[cpp] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_U64__test_ok[cpp]_bkphd |
|
TestSupportedDatatypesValues_U64__test_ok[rust] |
passed |
comp_req__kvs__key_encoding; comp_req__kvs__value_data_types |
interface-test |
requirements-analysis |
testcase__TestSupportedDatatypesValues_U64__test_ok[rust]_swpye |