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

SKIPPED/DISABLED TESTS

testcase	Result	Fully Verifies	Partially Verifies	Test Type	Derivation Technique	link
TestSnapshotCountFirstFlush__test_ok[0-cpp]	skipped		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[0-cpp]_znnxz
TestSnapshotCountFirstFlush__test_ok[1-cpp]	skipped		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[1-cpp]_defsl
TestSnapshotCountFirstFlush__test_ok[10-cpp]	skipped		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[10-cpp]_kswgs
TestSnapshotCountFirstFlush__test_ok[3-cpp]	skipped		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[3-cpp]_ffwqz
TestSnapshotCountFull__test_ok[0-cpp]	skipped		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[0-cpp]_ipmim
TestSnapshotCountFull__test_ok[1-cpp]	skipped		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[1-cpp]_hzvee
TestSnapshotCountFull__test_ok[10-cpp]	skipped		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[10-cpp]_dvfvz
TestSnapshotCountFull__test_ok[3-cpp]	skipped		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[3-cpp]_bwgah
TestSnapshotMaxCount__test_ok[0-cpp]	skipped		comp_req__kvs__snapshot_max_num	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[0-cpp]_uhgwe
TestSnapshotMaxCount__test_ok[1-cpp]	skipped		comp_req__kvs__snapshot_max_num	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[1-cpp]_uipyt
TestSnapshotMaxCount__test_ok[10-cpp]	skipped		comp_req__kvs__snapshot_max_num	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[10-cpp]_pxfha
TestSnapshotMaxCount__test_ok[3-cpp]	skipped		comp_req__kvs__snapshot_max_num	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[3-cpp]_ebwcl

All passed Tests

SUCCESSFUL TESTS

testcase	Result	Fully Verifies	Partially Verifies	Test Type	Derivation Technique	link
TestChecksumOnProvidedDefaults__test_valid[optional-cpp]	passed	comp_req__kvs__default_val_chksum	comp_req__kvs__value_default; comp_req__kvs__default_value_cfg	requirements-based	requirements-analysis	testcase__TestChecksumOnProvidedDefaults__test_valid[optional-cpp]_phpwp
TestChecksumOnProvidedDefaults__test_valid[optional-rust]	passed	comp_req__kvs__default_val_chksum	comp_req__kvs__value_default; comp_req__kvs__default_value_cfg	requirements-based	requirements-analysis	testcase__TestChecksumOnProvidedDefaults__test_valid[optional-rust]_lpsyh
TestChecksumOnProvidedDefaults__test_valid[required-cpp]	passed	comp_req__kvs__default_val_chksum	comp_req__kvs__value_default; comp_req__kvs__default_value_cfg	requirements-based	requirements-analysis	testcase__TestChecksumOnProvidedDefaults__test_valid[required-cpp]_yqpml
TestChecksumOnProvidedDefaults__test_valid[required-rust]	passed	comp_req__kvs__default_val_chksum	comp_req__kvs__value_default; comp_req__kvs__default_value_cfg	requirements-based	requirements-analysis	testcase__TestChecksumOnProvidedDefaults__test_valid[required-rust]_lwwik
TestDefaultValues__test_valid[optional-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query	requirements-based	requirements-analysis	testcase__TestDefaultValues__test_valid[optional-cpp]_sbucx
TestDefaultValues__test_valid[optional-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query	requirements-based	requirements-analysis	testcase__TestDefaultValues__test_valid[optional-rust]_fvxxw
TestDefaultValues__test_valid[required-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query	requirements-based	requirements-analysis	testcase__TestDefaultValues__test_valid[required-cpp]_zhjnt
TestDefaultValues__test_valid[required-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query	requirements-based	requirements-analysis	testcase__TestDefaultValues__test_valid[required-rust]_izzvz
TestDefaultValues__test_valid[without-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query	requirements-based	requirements-analysis	testcase__TestDefaultValues__test_valid[without-cpp]_mchrw
TestDefaultValues__test_valid[without-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query	requirements-based	requirements-analysis	testcase__TestDefaultValues__test_valid[without-rust]_jltsr
TestExplicitFlush__test_data_stored[rust]	passed	comp_req__kvs__persist_data_com		requirements-based	requirements-analysis	testcase__TestExplicitFlush__test_data_stored[rust]_fxjyv
TestMalformedDefaultsFile__test_invalid[optional-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestMalformedDefaultsFile__test_invalid[optional-cpp]_lqbty
TestMalformedDefaultsFile__test_invalid[optional-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestMalformedDefaultsFile__test_invalid[optional-rust]_qdoke
TestMalformedDefaultsFile__test_invalid[required-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestMalformedDefaultsFile__test_invalid[required-cpp]_fbkta
TestMalformedDefaultsFile__test_invalid[required-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestMalformedDefaultsFile__test_invalid[required-rust]_wxawd
TestMissingDefaultsFile__test_invalid[required-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestMissingDefaultsFile__test_invalid[required-cpp]_rewdg
TestMissingDefaultsFile__test_invalid[required-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestMissingDefaultsFile__test_invalid[required-rust]_vhswu
TestMultipleInstanceIds__test_ok[cpp]	passed		comp_req__kvs__multi_instance; comp_req__kvs__concurrency	requirements-based	requirements-analysis	testcase__TestMultipleInstanceIds__test_ok[cpp]_otntr
TestMultipleInstanceIds__test_ok[rust]	passed		comp_req__kvs__multi_instance; comp_req__kvs__concurrency	requirements-based	requirements-analysis	testcase__TestMultipleInstanceIds__test_ok[rust]_uxqtc
TestRemoveKey__test_valid[optional-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestRemoveKey__test_valid[optional-cpp]_udvqz
TestRemoveKey__test_valid[optional-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestRemoveKey__test_valid[optional-rust]_enfqp
TestRemoveKey__test_valid[required-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestRemoveKey__test_valid[required-cpp]_hikul
TestRemoveKey__test_valid[required-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestRemoveKey__test_valid[required-rust]_kvcrm
TestRemoveKey__test_valid[without-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestRemoveKey__test_valid[without-cpp]_dkafz
TestRemoveKey__test_valid[without-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestRemoveKey__test_valid[without-rust]_alapq
TestResetAllKeys__test_valid[optional-cpp]	passed	comp_req__kvs__value_reset	comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestResetAllKeys__test_valid[optional-cpp]_fgubz
TestResetAllKeys__test_valid[optional-rust]	passed	comp_req__kvs__value_reset	comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestResetAllKeys__test_valid[optional-rust]_kkhdc
TestResetAllKeys__test_valid[required-cpp]	passed	comp_req__kvs__value_reset	comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestResetAllKeys__test_valid[required-cpp]_fcemd
TestResetAllKeys__test_valid[required-rust]	passed	comp_req__kvs__value_reset	comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types	requirements-based	requirements-analysis	testcase__TestResetAllKeys__test_valid[required-rust]_jorvw
TestResetSingleKey__test_valid[optional-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg	requirements-based	requirements-analysis	testcase__TestResetSingleKey__test_valid[optional-cpp]_gaepj
TestResetSingleKey__test_valid[optional-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg	requirements-based	requirements-analysis	testcase__TestResetSingleKey__test_valid[optional-rust]_fetfz
TestResetSingleKey__test_valid[required-cpp]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg	requirements-based	requirements-analysis	testcase__TestResetSingleKey__test_valid[required-cpp]_wavpj
TestResetSingleKey__test_valid[required-rust]	passed		comp_req__kvs__value_default; comp_req__kvs__default_value_cfg	requirements-based	requirements-analysis	testcase__TestResetSingleKey__test_valid[required-rust]_ystth
TestSameInstanceIdDifferentValue__test_ok[cpp]	passed		comp_req__kvs__multi_instance; comp_req__kvs__concurrency	requirements-based	requirements-analysis	testcase__TestSameInstanceIdDifferentValue__test_ok[cpp]_robim
TestSameInstanceIdDifferentValue__test_ok[rust]	passed		comp_req__kvs__multi_instance; comp_req__kvs__concurrency	requirements-based	requirements-analysis	testcase__TestSameInstanceIdDifferentValue__test_ok[rust]_gghod
TestSameInstanceIdSameValue__test_ok[cpp]	passed		comp_req__kvs__multi_instance; comp_req__kvs__concurrency	requirements-based	requirements-analysis	testcase__TestSameInstanceIdSameValue__test_ok[cpp]_egmfr
TestSameInstanceIdSameValue__test_ok[rust]	passed		comp_req__kvs__multi_instance; comp_req__kvs__concurrency	requirements-based	requirements-analysis	testcase__TestSameInstanceIdSameValue__test_ok[rust]_jlznf
TestSnapshotCountFirstFlush__test_ok[0-rust]	passed		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[0-rust]_gfwxh
TestSnapshotCountFirstFlush__test_ok[1-rust]	passed		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[1-rust]_gcomd
TestSnapshotCountFirstFlush__test_ok[10-rust]	passed		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[10-rust]_kvfhx
TestSnapshotCountFirstFlush__test_ok[3-rust]	passed		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[3-rust]_tsvwm
TestSnapshotCountFull__test_ok[0-rust]	passed		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[0-rust]_onbcp
TestSnapshotCountFull__test_ok[1-rust]	passed		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[1-rust]_bdbji
TestSnapshotCountFull__test_ok[10-rust]	passed		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[10-rust]_qgxyc
TestSnapshotCountFull__test_ok[3-rust]	passed		comp_req__kvs__snapshot_creation	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[3-rust]_htmdo
TestSnapshotMaxCount__test_ok[0-rust]	passed		comp_req__kvs__snapshot_max_num	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[0-rust]_jkzza
TestSnapshotMaxCount__test_ok[1-rust]	passed		comp_req__kvs__snapshot_max_num	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[1-rust]_xrdbn
TestSnapshotMaxCount__test_ok[10-rust]	passed		comp_req__kvs__snapshot_max_num	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[10-rust]_dhtkd
TestSnapshotMaxCount__test_ok[3-rust]	passed		comp_req__kvs__snapshot_max_num	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[3-rust]_munnv
TestSnapshotPathsExist__test_ok[cpp]	passed		comp_req__kvs__snapshot_creation	interface-test	requirements-analysis	testcase__TestSnapshotPathsExist__test_ok[cpp]_krukn
TestSnapshotPathsExist__test_ok[rust]	passed		comp_req__kvs__snapshot_creation	interface-test	requirements-analysis	testcase__TestSnapshotPathsExist__test_ok[rust]_iauvm
TestSnapshotPathsNonexistent__test_error[cpp]	passed		comp_req__kvs__snapshot_creation	fault-injection	requirements-analysis	testcase__TestSnapshotPathsNonexistent__test_error[cpp]_ouiha
TestSnapshotPathsNonexistent__test_error[rust]	passed		comp_req__kvs__snapshot_creation	fault-injection	requirements-analysis	testcase__TestSnapshotPathsNonexistent__test_error[rust]_okwkw
TestSnapshotRestoreCurrent__test_error[cpp]	passed		comp_req__kvs__snapshot_creation	fault-injection	requirements-analysis	testcase__TestSnapshotRestoreCurrent__test_error[cpp]_uhhhr
TestSnapshotRestoreCurrent__test_error[rust]	passed		comp_req__kvs__snapshot_creation	fault-injection	requirements-analysis	testcase__TestSnapshotRestoreCurrent__test_error[rust]_jugdk
TestSnapshotRestoreNonexistent__test_error[cpp]	passed		comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_restore	fault-injection	requirements-analysis	testcase__TestSnapshotRestoreNonexistent__test_error[cpp]_pmdda
TestSnapshotRestoreNonexistent__test_error[rust]	passed		comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_restore	fault-injection	requirements-analysis	testcase__TestSnapshotRestoreNonexistent__test_error[rust]_cghva
TestSnapshotRestorePrevious__test_ok[10-cpp]	passed	comp_req__kvs__snapshot_restore	comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate	control-flow-analysis	requirements-analysis	testcase__TestSnapshotRestorePrevious__test_ok[10-cpp]_gqlxe
TestSnapshotRestorePrevious__test_ok[10-rust]	passed	comp_req__kvs__snapshot_restore	comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate	control-flow-analysis	requirements-analysis	testcase__TestSnapshotRestorePrevious__test_ok[10-rust]_kkovq
TestSnapshotRestorePrevious__test_ok[3-cpp]	passed	comp_req__kvs__snapshot_restore	comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate	control-flow-analysis	requirements-analysis	testcase__TestSnapshotRestorePrevious__test_ok[3-cpp]_zaxcr
TestSnapshotRestorePrevious__test_ok[3-rust]	passed	comp_req__kvs__snapshot_restore	comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate	control-flow-analysis	requirements-analysis	testcase__TestSnapshotRestorePrevious__test_ok[3-rust]_wlhhz
TestSupportedDatatypesKeys__test_ok[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesKeys__test_ok[cpp]_rkqus
TestSupportedDatatypesKeys__test_ok[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesKeys__test_ok[rust]_pqksq
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]_mifxj
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]_shxqb
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]_xpzpu
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]_rckxx
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]_rxgea
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]_ccjpn
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]_bmwle
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]_anigq
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]_kvkoj
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]_veqyn
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]_nbvxm
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]_ydgye
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]_khjnu
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]_pzyma
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]_uqwst
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]_bivln
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]_tfkqn
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]_zsiih

Details About Testcases