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

No needs passed the filters

All passed Tests

SUCCESSFUL TESTS

testcase	Result	Fully Verifies	Partially Verifies	Test Type	Derivation Technique	link
TestBasic__test_returncode_ok[cpp]	passed					testcase__TestBasic__test_returncode_ok[cpp]_jekkw
TestBasic__test_returncode_ok[rust]	passed					testcase__TestBasic__test_returncode_ok[rust]_ijyxd
TestBasic__test_trace_ok[cpp]	passed					testcase__TestBasic__test_trace_ok[cpp]_cokik
TestBasic__test_trace_ok[rust]	passed					testcase__TestBasic__test_trace_ok[rust]_mlrkk
TestChecksumOnProvidedDefaults__test_valid[optional-cpp]	passed	comp_req__kvs__default_val_chksum	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_val_chksum	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_val_chksum	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_val_chksum	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	testcase__TestDefaultValues__test_valid[optional-cpp]_ugjnn
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	testcase__TestDefaultValues__test_valid[required-cpp]_ttngy
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	testcase__TestDefaultValues__test_valid[without-cpp]_eorih
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	testcase__TestDefaultValues__test_valid[without-rust]_kekbn
TestExplicitFlush__test_data_stored[rust]	passed	comp_req__kvs__explicit_flush		requirements-based	requirements-analysis	testcase__TestExplicitFlush__test_data_stored[rust]_lpere
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		comp_req__kvs__concurrency; comp_req__kvs__multi_instance	requirements-based	requirements-analysis	testcase__TestMultipleInstanceIds__test_ok[cpp]_vmcec
TestMultipleInstanceIds__test_ok[rust]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance	requirements-based	requirements-analysis	testcase__TestMultipleInstanceIds__test_ok[rust]_ssadi
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	testcase__TestRemoveKey__test_valid[optional-cpp]_szhpe
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	testcase__TestRemoveKey__test_valid[optional-rust]_rgveo
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	testcase__TestRemoveKey__test_valid[required-cpp]_epdkc
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	testcase__TestRemoveKey__test_valid[required-rust]_qrctx
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	testcase__TestRemoveKey__test_valid[without-cpp]_mzndz
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	testcase__TestRemoveKey__test_valid[without-rust]_hieuv
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	requirements-based	requirements-analysis	testcase__TestResetAllKeys__test_valid[optional-cpp]_bveou
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	requirements-based	requirements-analysis	testcase__TestResetAllKeys__test_valid[optional-rust]_jmwrm
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	requirements-based	requirements-analysis	testcase__TestResetAllKeys__test_valid[required-cpp]_jztja
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	requirements-based	requirements-analysis	testcase__TestResetAllKeys__test_valid[required-rust]_yyesu
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		comp_req__kvs__concurrency; comp_req__kvs__multi_instance	requirements-based	requirements-analysis	testcase__TestSameInstanceIdDifferentValue__test_ok[cpp]_ljfsz
TestSameInstanceIdDifferentValue__test_ok[rust]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance	requirements-based	requirements-analysis	testcase__TestSameInstanceIdDifferentValue__test_ok[rust]_qxkzc
TestSameInstanceIdSameValue__test_ok[cpp]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance	requirements-based	requirements-analysis	testcase__TestSameInstanceIdSameValue__test_ok[cpp]_jmglt
TestSameInstanceIdSameValue__test_ok[rust]	passed		comp_req__kvs__concurrency; comp_req__kvs__multi_instance	requirements-based	requirements-analysis	testcase__TestSameInstanceIdSameValue__test_ok[rust]_ivsmu
TestSnapshotCountFirstFlush__test_ok[0-cpp]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[0-cpp]_faady
TestSnapshotCountFirstFlush__test_ok[0-rust]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[0-rust]_vtnkl
TestSnapshotCountFirstFlush__test_ok[1-cpp]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[1-cpp]_lhqzx
TestSnapshotCountFirstFlush__test_ok[1-rust]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[1-rust]_tttfm
TestSnapshotCountFirstFlush__test_ok[3-cpp]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[3-cpp]_sfmeu
TestSnapshotCountFirstFlush__test_ok[3-rust]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFirstFlush__test_ok[3-rust]_ydjxa
TestSnapshotCountFull__test_ok[0-cpp]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[0-cpp]_vcprs
TestSnapshotCountFull__test_ok[0-rust]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[0-rust]_giwzo
TestSnapshotCountFull__test_ok[1-cpp]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[1-cpp]_kzvfn
TestSnapshotCountFull__test_ok[1-rust]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[1-rust]_yzzdf
TestSnapshotCountFull__test_ok[3-cpp]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[3-cpp]_irqqk
TestSnapshotCountFull__test_ok[3-rust]	passed		comp_req__kvs__snapshot_create_api	requirements-based	requirements-analysis	testcase__TestSnapshotCountFull__test_ok[3-rust]_itwve
TestSnapshotMaxCount__test_ok[0-cpp]	passed		comp_req__kvs__snapshot_max_num_cfg	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[0-cpp]_cifsh
TestSnapshotMaxCount__test_ok[0-rust]	passed		comp_req__kvs__snapshot_max_num_cfg	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[0-rust]_mqmvd
TestSnapshotMaxCount__test_ok[1-cpp]	passed		comp_req__kvs__snapshot_max_num_cfg	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[1-cpp]_bcaay
TestSnapshotMaxCount__test_ok[1-rust]	passed		comp_req__kvs__snapshot_max_num_cfg	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[1-rust]_lyyii
TestSnapshotMaxCount__test_ok[3-cpp]	passed		comp_req__kvs__snapshot_max_num_cfg	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[3-cpp]_pttie
TestSnapshotMaxCount__test_ok[3-rust]	passed		comp_req__kvs__snapshot_max_num_cfg	inspection	boundary-values	testcase__TestSnapshotMaxCount__test_ok[3-rust]_jvvto
TestSnapshotPathsExist__test_ok[cpp]	passed		comp_req__kvs__snapshot_create_api	interface-test	requirements-analysis	testcase__TestSnapshotPathsExist__test_ok[cpp]_zajxv
TestSnapshotPathsExist__test_ok[rust]	passed		comp_req__kvs__snapshot_create_api	interface-test	requirements-analysis	testcase__TestSnapshotPathsExist__test_ok[rust]_orlbv
TestSnapshotPathsNonexistent__test_error[cpp]	passed		comp_req__kvs__snapshot_create_api	fault-injection	requirements-analysis	testcase__TestSnapshotPathsNonexistent__test_error[cpp]_zlbor
TestSnapshotPathsNonexistent__test_error[rust]	passed		comp_req__kvs__snapshot_create_api	fault-injection	requirements-analysis	testcase__TestSnapshotPathsNonexistent__test_error[rust]_tjglg
TestSnapshotRestoreCurrent__test_error[cpp]	passed		comp_req__kvs__snapshot_create_api	fault-injection	requirements-analysis	testcase__TestSnapshotRestoreCurrent__test_error[cpp]_jdkrn
TestSnapshotRestoreCurrent__test_error[rust]	passed		comp_req__kvs__snapshot_create_api	fault-injection	requirements-analysis	testcase__TestSnapshotRestoreCurrent__test_error[rust]_ogojb
TestSnapshotRestoreNonexistent__test_error[cpp]	passed		comp_req__kvs__snapshot_create_api; comp_req__kvs__snapshot_restore_api	fault-injection	requirements-analysis	testcase__TestSnapshotRestoreNonexistent__test_error[cpp]_kmvhb
TestSnapshotRestoreNonexistent__test_error[rust]	passed		comp_req__kvs__snapshot_create_api; comp_req__kvs__snapshot_restore_api	fault-injection	requirements-analysis	testcase__TestSnapshotRestoreNonexistent__test_error[rust]_wvckh
TestSnapshotRestorePrevious__test_ok[3-cpp]	passed	comp_req__kvs__snapshot_restore_api	comp_req__kvs__snapshot_create_api; comp_req__kvs__snapshot_overwrite	control-flow-analysis	requirements-analysis	testcase__TestSnapshotRestorePrevious__test_ok[3-cpp]_knxbm
TestSnapshotRestorePrevious__test_ok[3-rust]	passed	comp_req__kvs__snapshot_restore_api	comp_req__kvs__snapshot_create_api; comp_req__kvs__snapshot_overwrite	control-flow-analysis	requirements-analysis	testcase__TestSnapshotRestorePrevious__test_ok[3-rust]_cjfnf
TestSupportedDatatypesKeys__test_invalid_keys_rejected[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__key_length; comp_req__kvs__key_naming	interface-test	requirements-analysis	testcase__TestSupportedDatatypesKeys__test_invalid_keys_rejected[cpp]_hasav
TestSupportedDatatypesKeys__test_invalid_keys_rejected[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__key_length; comp_req__kvs__key_naming	interface-test	requirements-analysis	testcase__TestSupportedDatatypesKeys__test_invalid_keys_rejected[rust]_jiwib
TestSupportedDatatypesKeys__test_valid_keys_accepted[cpp]	passed		comp_req__kvs__key_encoding; comp_req__kvs__key_length; comp_req__kvs__key_naming	interface-test	requirements-analysis	testcase__TestSupportedDatatypesKeys__test_valid_keys_accepted[cpp]_nyhfu
TestSupportedDatatypesKeys__test_valid_keys_accepted[rust]	passed		comp_req__kvs__key_encoding; comp_req__kvs__key_length; comp_req__kvs__key_naming	interface-test	requirements-analysis	testcase__TestSupportedDatatypesKeys__test_valid_keys_accepted[rust]_sfhan
TestSupportedDatatypesValues_Array__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_Array__test_ok[rust]_frsra
TestSupportedDatatypesValues_Bool__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_Bool__test_ok[rust]_wcvre
TestSupportedDatatypesValues_F64__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_F64__test_ok[rust]_kqeja
TestSupportedDatatypesValues_I32__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_I32__test_ok[rust]_rtlxp
TestSupportedDatatypesValues_I64__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_I64__test_ok[rust]_grmmp
TestSupportedDatatypesValues_Object__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_Object__test_ok[rust]_rbcwi
TestSupportedDatatypesValues_String__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_String__test_ok[rust]_svpnw
TestSupportedDatatypesValues_U32__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_U32__test_ok[rust]_kkrgq
TestSupportedDatatypesValues_U64__test_ok[cpp]	passed		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__value_data_types	interface-test	requirements-analysis	testcase__TestSupportedDatatypesValues_U64__test_ok[rust]_swpye

Details About Testcases