Component Requirements Statistics#

Overview#

../_images/need_pie_024bc.svg

In Detail#

../_images/need_pie_2b44d.svg
../_images/need_pie_6810b.svg
../_images/need_pie_6cf07.svg

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

DltProtocolTest__DISABLED_PackageFileDataShallReturnsNulloptIfItWorkedOnAlreadyClosedFile

disabled

All passed Tests#

SUCCESSFUL TESTS#

testcase

Result

Fully Verifies

Partially Verifies

Test Type

Derivation Technique

link

AdditionTest__HandlesNegativeNumbers

passed

AdditionTest__HandlesPositiveNumbers

passed

AdditionTest__HandlesZero

passed

AlternatingControlBlockTest__GetOppositeLinearControlBlockShallReturnkBlockEvenAsDefaultValue

passed

Analysis of boundary values

AlternatingControlBlockTest__GettingBlockEvenAndOddBasedOnCoutnerValue

passed

Analysis of requirements

AlternatingControlBlockTest__GettingOppositeBlockShallSucceed

passed

Analysis of requirements

AlternatingControlBlockTest__GettingReferenceBlock

passed

Analysis of requirements

AlternatingControlBlockTest__GettingReferenceConstBlock

passed

Analysis of requirements

AlternatingReaderTest__EnsureSafeSwitchingToReadDataBuffer

passed

Analysis of requirements

AlternatingReaderTest__EnsureSwitchingIncrementsInternalCounter

passed

Analysis of requirements

AlternatingReaderTest__EnsureToNotAcquireAnyBlockAndReturnNullInCaseTheSwitchingHappenedMoreThanOnce

passed

Analysis of requirements

BMW/DurationTest/0__InsertionOperatorChronoDuration

passed

requirements-based

requirements-analysis

BMW/DurationTest/1__InsertionOperatorChronoDuration

passed

requirements-based

requirements-analysis

BMW/DurationTest/2__InsertionOperatorChronoDuration

passed

requirements-based

requirements-analysis

BMW/DurationTest/3__InsertionOperatorChronoDuration

passed

requirements-based

requirements-analysis

BMW/DurationTest/4__InsertionOperatorChronoDuration

passed

requirements-based

requirements-analysis

BMW/DurationTest/5__InsertionOperatorChronoDuration

passed

requirements-based

requirements-analysis

ClampAddNullTerminatorTest__ClampAddNullTerminatorNoOverFlow

passed

ClampAddNullTerminatorTest__ClampAddNullTerminatorOverFlow

passed

ClampTest__ClampSourceOverflow

passed

CommonTests__GetExpectedNextAcquiredBlockId

passed

CommonTests__TypesShallBeLockFree

passed

Analysis of requirements

CommonTests__TypesShallBeTriviallyCopyable

passed

Interface test

Generation and analysis of equivalence classes

ConfigSessionFactoryUT__CreateSessionsAndHandleCommands

passed

DatarouterAppTest__AppInit

passed

DatarouterAppTest__AppRunDoNothing

passed

DatarouterAppTest__AppRunNoAdaptiveRuntime

passed

DatarouterAppTest__AppRunPrintVersion

passed

DatarouterAppTest__AppShutdown

passed

DataRouterBackendFixture__AppIDSetCorrectly

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__ConstructWithDynamicIdentifier

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__ConstructWithDynamicIdentifierAndChmodSuccess

passed

DataRouterBackendFixture__ContextIdSetCorrectly

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__DataRouterBackEndConstructedWithEmptyIdentifierWhenMkstempFail

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__LogLevelDebug

passed

Analysis of requirements

DataRouterBackendFixture__LogLevelError

passed

Analysis of requirements

DataRouterBackendFixture__LogLevelFatal

passed

Analysis of requirements

DataRouterBackendFixture__LogLevelInfo

passed

Analysis of requirements

DataRouterBackendFixture__LogLevelOff

passed

Analysis of requirements

DataRouterBackendFixture__LogLevelVerbose

passed

Analysis of requirements

DataRouterBackendFixture__LogLevelWarning

passed

Analysis of requirements

DataRouterBackendFixture__NumberOfArgsSetCorrectly

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__PayloadSetCorrectly

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__ToSmallAppIdSetCorrectlyWithZeroPadding

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__ToSmallCtxSetCorrectlyWithZeroPadding

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__WhenIdentifierIsNotDynamicUidShallBeUsed

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendFixture__WhenSafeIpcIsTrueMessageClientIsCreated

passed

Interface test

Generation and analysis of equivalence classes

DataRouterBackendTests__CheckSizeValid

passed

Interface test

Analysis of boundary values

DataRouterBackendTests__WhenAllPossibleSlotsUsedFailToAllocateMore

passed

Interface test

Analysis of boundary values

DatarouterMessageClientFactoryFixture__CallingCreateMoreThanOnceShallAbort

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFactoryFixture__CreateOnceShouldReturnClientWithExpectedValues

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__AcquireNotifyShouldSendExpectedAcquireResponse

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__ClientShouldShutdownAfterFailingToSendMessage

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__ConnectToDatarouterShouldReportErrorAndShutdownWhenCreateSenderFails

passed

Interface test

Error guessing based on knowledge or experience

DatarouterMessageClientFixture__ConnectToDatarouterShouldSendConnectMessage

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__CreateSenderFailsWhenFactoryReturnsNullptr

passed

Interface test

Error guessing based on knowledge or experience

DatarouterMessageClientFixture__CreateSenderShouldCreateSenderWithExpectedValues

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__FailedSetThreadNameShouldBeHandledGracefully

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__FailedToChownOwnMsrWriterFileForDataRouter

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__FailedToEmptySignalSet

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__GivenExitRequestDuringConnectionShouldNotSendConnectMessage

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__InvalidNotifyShouldNotSendAcquireResponse

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__RunShallNotBeCalledMoreThanOnce

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__RunShouldSetupAndConnect

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__SecondAcquireNotifyShouldNotUnlinkMwsrWriter

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__SendConnectMessageShouldSendExpectedPayload

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__SetThreadNameShouldSetLoggerThreadName

passed

Interface test

Generation and analysis of equivalence classes

DatarouterMessageClientFixture__StateCallbackKStoppedShouldTriggerInternalShutdown

passed

Verification of the control flow and data flow

Error guessing based on knowledge or experience

DatarouterMessageClientIdentifiersFixture__TestDataRouterMessageIDsGetters

passed

DatarouterMessageClientIdentifiersTest__HandlesEmptyAppId

passed

DatarouterMessageClientIdentifiersTest__HandlesEmptyReceiverIdentifier

passed

DatarouterMessageClientIdentifiersTest__HandlesMaxUidValues

passed

DatarouterMessageClientIdentifiersTest__HandlesZeroPid

passed

DatarouterMessageClientMockTest__ShutdownIsInvoked

passed

DataRouterMessagesTests__EqualOperatorShouldReturnFalseForDifferentAppids

passed

Interface test

Generation and analysis of equivalence classes

DataRouterMessagesTests__EqualOperatorShouldReturnFalseForDifferentDynamicDatarouterIdentifiers

passed

Interface test

Generation and analysis of equivalence classes

DataRouterMessagesTests__EqualOperatorShouldReturnFalseForDifferentRandomPart

passed

Interface test

Generation and analysis of equivalence classes

DataRouterMessagesTests__EqualOperatorShouldReturnFalseForDifferentUids

passed

Interface test

Generation and analysis of equivalence classes

DataRouterMessagesTests__EqualOperatorShouldReturnTrueForEqualConnectMessageFromClientInstances

passed

Interface test

Generation and analysis of equivalence classes

DataRouterMessagesTests__GetAppIdDynamicIdentifierShouldReturnCorrectValue

passed

Interface test

Generation and analysis of equivalence classes

DataRouterMessagesTests__GetGUIShouldReturnCorrectValue

passed

Interface test

Generation and analysis of equivalence classes

DataRouterMessagesTests__GetUseDynamicIdentifierShouldReturnCorrectValue

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogBin16

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogBin32

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogBin64

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogBin8

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogHex16

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogHex32

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogHex64

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogHex8

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogRawBuffer

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__Log_LogSlog2Message

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogBool

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogDouble

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogFloat

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogInt16_t

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogInt32_t

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogInt64_t

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogInt8_t

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogStringView

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogUint16_t

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogUint32_t

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogUint64_t

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__LogUint8_t

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__TooLargeSinglePayloadWillYieldTruncatedLog

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixture__TooManyArgumentsWillYieldTruncatedLog

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixtureWithDepletedBackend__WillReturnEmptySlot

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixtureWithLogLevelCheck__DisablesOrEnablesLogAccordingToLevel

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixtureWithLogLevelCheck__WillObtainEmptySlotForInsufficentLogLevel

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderFixtureWithLogLevelCheck__WillObtainSlotForSufficientLogLevel

passed

Interface test

Generation and analysis of equivalence classes

DataRouterRecorderTests__DatarouterRecorderShouldClearSlotOnStart

passed

Analysis of requirements

DiagnosticJobHandlerTest__ReadLogChannelNamesHandler_OK

passed

DiagnosticJobHandlerTest__ResetToDefaultHandler_OK

passed

DiagnosticJobHandlerTest__SetDefaultLogLevelHandler_OK

passed

DiagnosticJobHandlerTest__SetDefaultTraceStateHandler_OK

passed

DiagnosticJobHandlerTest__SetDltOutputEnableHandler_OK

passed

DiagnosticJobHandlerTest__SetLogChannelAssignmentHandler_OK

passed

DiagnosticJobHandlerTest__SetLogChannelThresholdHandler_OK

passed

DiagnosticJobHandlerTest__SetLogLevelHandler_OK

passed

DiagnosticJobHandlerTest__SetMessagingFilteringStateHandler_OK

passed

DiagnosticJobHandlerTest__SetTraceStateHandler_OK

passed

DiagnosticJobHandlerTest__StoreDltConfigHandler_OK

passed

DiagnosticJobParserTest__Assignment_InvalidAction_ReturnsNull

passed

DiagnosticJobParserTest__Assignment_WrongSize_ReturnsNull

passed

DiagnosticJobParserTest__DefaultLogLevel_InvalidLevel_ReturnsNull

passed

DiagnosticJobParserTest__DefaultLogLevel_WrongSize_ReturnsNull

passed

DiagnosticJobParserTest__EmptyCommandWillReturnNullPtr

passed

DiagnosticJobParserTest__LogLevel_InvalidThresholdByte_ReturnsNull

passed

DiagnosticJobParserTest__LogLevel_WrongSize_ReturnsNull

passed

DiagnosticJobParserTest__MessagingFiltering_WrongSize_ReturnsNull

passed

DiagnosticJobParserTest__OutputEnable_InvalidFlag_ReturnsNull1

passed

DiagnosticJobParserTest__OutputEnable_WrongSize_ReturnsNull

passed

DiagnosticJobParserTest__ReadLogChannelNames_OK

passed

DiagnosticJobParserTest__ResetToDefault_OK

passed

DiagnosticJobParserTest__SetDefaultLogLevel_OK

passed

DiagnosticJobParserTest__SetDefaultTraceState_OK

passed

DiagnosticJobParserTest__SetDltOutputEnable_OK

passed

DiagnosticJobParserTest__SetLogChannelAssignment_OK

passed

DiagnosticJobParserTest__SetLogChannelThreshold_OK

passed

DiagnosticJobParserTest__SetLogLevel_OK_ExplicitLevel

passed

DiagnosticJobParserTest__SetLogLevel_OK_UseDefault

passed

DiagnosticJobParserTest__SetMessagingFilteringState_OK

passed

DiagnosticJobParserTest__SetTraceState_OK

passed

DiagnosticJobParserTest__StoreDltConfig_OK

passed

DiagnosticJobParserTest__Threshold_InvalidLevel_ReturnsNull

passed

DiagnosticJobParserTest__Threshold_WrongSize_ReturnsNull

passed

DiagnosticJobParserTest__UnknownCommand_ReturnsNull

passed

DltChannelTest__TestSendUdpBufferingForVerbose

passed

DltChannelTest__TestSendUdpBufferingNonVerbose

passed

DltChannelTest__WhenCreatedDefault

passed

DltChannelTest__WhenLogLevelExceedsThreshold_Verbose

passed

DltChannelTest__WhenNonVerboseLogLevelExceedsThreshold

passed

DltChannelTest__WhenSendFailsWithLargeVerboseMessage

passed

DltChannelTest__WhenSendFailsWithOnlyNonVerboseMessages

passed

DltChannelTest__WhenSendFailsWithOnlyVerboseMessages

passed

DltChannelTest__WhenSendingFTVerboseHitsSleepCondition

passed

DltChannelTest__WhenSendingLargeMessage_GoesToElse

passed

DltChannelTest__WhenSendingNonverboseTwice

passed

DltChannelTest__WhenSendingNvVNv

passed

DltChannelTest__WhenSendingVerboseTwice

passed

DLTFormatFixture__BooleanValueFalseCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__BooleanValueTrueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__DoubleValueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__FloatValueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__Int16ValueTrueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__Int32ValueTrueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__Int64ValueTrueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__Int8ValueTrueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__RawValueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__RawValueDoesNotFitAny

passed

Analysis of requirements

DLTFormatFixture__RawValueDoesNotFitWhole

passed

Analysis of requirements

DLTFormatFixture__StringValueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__StringValueDoesNotFitNullTermination

passed

Analysis of requirements

DLTFormatFixture__TypeInfomrationForBoolean

passed

Analysis of requirements

DLTFormatFixture__TypeInfomrationForUint16

passed

Analysis of requirements

DLTFormatFixture__TypeInfomrationForUint32

passed

Analysis of requirements

DLTFormatFixture__TypeInfomrationForUint64

passed

Analysis of requirements

DLTFormatFixture__TypeInfomrationForUint8

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForBin16InBin

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForBin32InBin

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForBin64InBin

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForBin8InBin

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForDouble

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForFloat

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForHex16InHex

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForHex32InHex

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForHex64InHex

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForHex8InHex

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForInt16

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForInt32

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForInt64

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForInt8

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForRaw

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForString

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForUint16InHex

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForUint32InHex

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForUint64InHex

passed

Analysis of requirements

DLTFormatFixture__TypeInformationForUint8InHex

passed

Analysis of requirements

DLTFormatFixture__TypeInformationUint16InBinary

passed

Analysis of requirements

DLTFormatFixture__TypeInformationUint32InBinary

passed

Analysis of requirements

DLTFormatFixture__TypeInformationUint64InBinary

passed

Analysis of requirements

DLTFormatFixture__TypeInformationUInt8InBinary

passed

Analysis of requirements

DLTFormatFixture__TypeIsNotStoredIfNotWholePayloadFitsIntoBuffer

passed

Analysis of requirements

DLTFormatFixture__Uint16ValueTrueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__Uint32ValueTrueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__Uint64ValueTrueCorrectlyTransformed

passed

Analysis of requirements

DLTFormatFixture__Uint8ValueTrueCorrectlyTransformed

passed

Analysis of requirements

DltIdTest__DltIdSizeShouldBeEqualToFour

passed

DltIdTest__TestDltIdAssignmentOperator

passed

DltIdTest__TestDltIdAssignOperator

passed

DltIdTest__TestDltIdEqualityOperator

passed

DltIdTest__TestDltIdStringOperator

passed

DltIdTest__TestHashStruct

passed

DltIdTest__TestInitializeInstanceWithEmptyConstructionInTheStack

passed

DltIdTest__TestTheSingleargumentCharPointerConstructionAndGetTheData

passed

DltIdTest__TestTheSingleargumentStringConstruction

passed

DltIdTest__TestTheSingleargumentStringViewConstruction

passed

DltMessageBuilderFixture__ExtendedHeaderShallHaveSpecificElements

passed

Analysis of requirements

DltMessageBuilderFixture__HeaderShallHaveSpecificElements

passed

Analysis of requirements

DltMessageBuilderFixture__PayloadShallHaveSetText

passed

Analysis of requirements

DltMessageBuilderFixture__ShallDepleteAfterHeaderAndPayload

passed

Analysis of requirements

DltMessageBuilderFixture__StorageHeaderShallHaveSpecificElements

passed

Analysis of requirements

DltMessageBuilderFunctionTest__TestDisableDltExtendedHeader

passed

Analysis of requirements

DltNonverboseHandler_T__HandleCallSendNonVerboseWhenDltMsgDesc

passed

DltNonverboseHandler_T__HandleDoesNothingWhenOutputDisabled

passed

DltNonverboseHandler_T__HandleShouldNotCallSendNonVerboseWhenDescriptorIsNull

passed

DltNonverboseHandlerTest__HandleShouldCallSendNonVerbose

passed

DltProtocolTest__PackageFileDataShallReturnsNulloptIftheBufferSizeIsSmallerThanTheDataSize

passed

DltProtocolTest__PackageFileDataShallWriteDataCorrectlyWithCorrectData

passed

DltProtocolTest__PackageFileEndShallReturnsNulloptIftheBufferSizeIsSmallerThanTheDataSize

passed

DltProtocolTest__PackageFileEndShallWriteHeaderCorrectlyWithCorrectData

passed

DltProtocolTest__PackageFileErrorShallReturnFLER_FILE_NORIfTheFilePathIsExist

passed

DltProtocolTest__PackageFileErrorShallReturnFLER_FILE_NORPlusOneIfTheFilePathExistAndTheErrorMessageIsNotEmpty

passed

DltProtocolTest__PackageFileErrorShallReturnFLER_NO_FILE_NORIfTheFilePathIsExist

passed

DltProtocolTest__PackageFileHeaderShallReturnsNulloptIftheBufferSizeIsSmallerThanTheDataSize

passed

DltProtocolTest__PackageFileHeaderShallWriteHeaderCorrectlyWithCorrectData

passed

DltProtocolTest__PackageFileInformationShallReturnDataOnCorrectSize

passed

DltProtocolTest__PackageFileInformationShallReturnNulloptDueToBufferTooSmall

passed

DltServerCreatedWithConfigFixture__FlushChannelsExpectNoThrowException

passed

DltServerCreatedWithConfigFixture__GetQuotaCorrectAppNameExpectCorrectValue

passed

DltServerCreatedWithConfigFixture__GetQuotaCorrectWrongAppNameExpectDefaultValue

passed

DltServerCreatedWithConfigFixture__MakeConfigCommandHandlerReturnsValidFunction

passed

DltServerCreatedWithConfigFixture__MakeConfigCommandHandlerWithInvalidCommand

passed

DltServerCreatedWithConfigFixture__ReadLogChannelNamesDirectCall

passed

DltServerCreatedWithConfigFixture__ReadLogChannelNamesDirectCallContainsExpectedChannels

passed

DltServerCreatedWithConfigFixture__ResetToDefaultBehaviorRestoresInitialThresholds

passed

DltServerCreatedWithConfigFixture__ResetToDefaultDirectCallReloadsChannels

passed

DltServerCreatedWithConfigFixture__SendFVerboseAppIdWithCoreChannelExpectSendCallOnce

passed

DltServerCreatedWithConfigFixture__SendFVerboseNoAppIdWithCoreChannelExpectSendCallOnce

passed

DltServerCreatedWithConfigFixture__SendNonVerboseAppIdAcceptedByFilteringExpectSendCallTwice

passed

DltServerCreatedWithConfigFixture__SendNonVerboseFilteringDisabledExpectSendCallOnce

passed

DltServerCreatedWithConfigFixture__SendNonVerboseNoAppIdAcceptedByFilteringNotAssignedToChannelExpectSendCallOnce

passed

DltServerCreatedWithConfigFixture__SendVerboseAppIdAcceptedByFilteringExpectSendCallTwice

passed

DltServerCreatedWithConfigFixture__SendVerboseAppIdNotExpectedLogLevelExpectSendNoCall

passed

DltServerCreatedWithConfigFixture__SendVerboseNoAppIdAcceptedByFilteringNotAssignedToChannelExpectSendCallOnce

passed

DltServerCreatedWithConfigFixture__SetDefaultLogLevelBehaviorAffectsNewContexts

passed

DltServerCreatedWithConfigFixture__SetDefaultLogLevelCommandExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetDefaultLogLevelCommandReadLevelErrorExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetDefaultTraceStateCommandExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetDltOutputEnableBehaviorBlocksAllSends

passed

DltServerCreatedWithConfigFixture__SetDltOutputEnableCommandCallbackEnabledExpectCallbackCall

passed

DltServerCreatedWithConfigFixture__SetDltOutputEnableCommandWrongSizeExpectError

passed

DltServerCreatedWithConfigFixture__SetDltOutputEnableDirectCall

passed

DltServerCreatedWithConfigFixture__SetLogChannelAssignmentBehaviorRemovesChannel

passed

DltServerCreatedWithConfigFixture__SetLogChannelAssignmentCommandFoundChannelAssignmentFoundExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetLogChannelAssignmentCommandFoundChannelAssignmentFoundRemoveExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetLogChannelAssignmentCommandFoundChannelAssignmentNotFoundAddExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetLogChannelAssignmentCommandNoChannelsExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetLogChannelAssignmentWrongChannel

passed

DltServerCreatedWithConfigFixture__SetLogChannelAssignmentWrongCommandExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetLogChannelThresholdBehaviorFiltersLowerLevels

passed

DltServerCreatedWithConfigFixture__SetLogChannelThresholdChannelFoundCommandExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetLogChannelThresholdChannelMissingDirectCallReturnsError

passed

DltServerCreatedWithConfigFixture__SetLogChannelThresholdChannelNotFoundCommandExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetLogChannelThresholdWrongCommandExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetLogLevelBehaviorIncreaseThresholdAllowsVerbose

passed

DltServerCreatedWithConfigFixture__SetLogLevelBehaviorResetToDefaultBlocksVerboseAgain

passed

DltServerCreatedWithConfigFixture__SetMessagingFilteringStateBehaviorBypassesThresholds

passed

DltServerCreatedWithConfigFixture__SetMessagingFilteringStateCommandExpectReadCallback

passed

DltServerCreatedWithConfigFixture__SetTraceStateCommandExpectReadCallback

passed

DltServerCreatedWithConfigFixture__StoreDltConfigDirectCall

passed

DltServerCreatedWithoutConfigFixture__CallbackReceivesCorrectBooleanValuePerTransition

passed

DltServerCreatedWithoutConfigFixture__ConcurrentDisableSameValueCallbackFiredOnce

passed

DltServerCreatedWithoutConfigFixture__ConcurrentEnableSameValueNoCallbackFired

passed

DltServerCreatedWithoutConfigFixture__ConcurrentOppositeValuesCallbackCountOneOrTwo

passed

DltServerCreatedWithoutConfigFixture__ConcurrentReaderSeesOnlyValidBooleanValues

passed

DltServerCreatedWithoutConfigFixture__ConcurrentToggleStormFlagRemainsConsistent

passed

DltServerCreatedWithoutConfigFixture__IsOutputEnabledReflectsDltEnabled

passed

DltServerCreatedWithoutConfigFixture__QuotaEnforcementEnabledExpectFalse

passed

DltServerCreatedWithoutConfigFixture__QuotaEnforcementEnabledExpectTrue

passed

DltServerCreatedWithoutConfigFixture__SendFTVerboseAppIdNoCoreChannelExpectSendCallOnce

passed

DltServerCreatedWithoutConfigFixture__SetDltOutputEnableToTrueExpectIsOutputEnabledTrue

passed

DltServerCreatedWithoutConfigFixture__WhenCreatedDefault

passed

DltServerCreatedWithoutConfigFixture__WhenCreatedDefaultDltEnabledTrue

passed

DltServerTest__AppendIdValidInputDataExpectValidResult

passed

DltServerTest__ExtractIdNonValidInputDataExpectNonValidResult

passed

DltServerTest__ExtractIdValidInputDataExpectValidResult

passed

DltServerWrongChannelsTest__SetLogChannelAssignmentCommandFoundChannelAssignmentFoundRemoveFailedExpectReadCallback

passed

DltSetLogLevelTest__JSON_ERROR_NO_FILTERS

passed

DltSetLogLevelTest__JSON_ERROR_NON_VERBOSE_FILTERS_NOT_STRING

passed

DltSetLogLevelTest__JSON_ERROR_NON_VERBOSE_FILTERS

passed

DltSetLogLevelTest__JSON_ERROR_VERBOSE_FILTERS

passed

DltSetLogLevelTest__JSON_ERROR_VERBOSE_FILTERS_NOT_STRING

passed

DltSetLogLevelTest__JSON_FILE_ERROR

passed

DltSetLogLevelTest__JSON_OK

passed

DltSetLogLevelTest__NO_JSON_FILE

passed

DltVerboseHandlerTest__HandleDoesNothingWhenOutputDisabled

passed

DltVerboseHandlerTest__sendVerboseTest

passed

DynamicDataRouterIdentifiersFalseFixture__SendConnectMessageDynamicDataRouterIdentifiersFalseShouldSendExpectedPayload

passed

Interface test

Generation and analysis of equivalence classes

FileRecorderFactoryConfigFixture__CreateFileLoggingBackendFalied

passed

FileRecorderFactoryConfigFixture__FileConfigurionShallCallFileCreationAndReturnFileRecorder

passed

Analysis of requirements

FileRecorderFixture__LogBin16

passed

Analysis of requirements

FileRecorderFixture__LogBin32

passed

Analysis of requirements

FileRecorderFixture__LogBin64

passed

Analysis of requirements

FileRecorderFixture__LogBin8

passed

Analysis of requirements

FileRecorderFixture__LogBool

passed

Analysis of requirements

FileRecorderFixture__LogDouble

passed

Analysis of requirements

FileRecorderFixture__LogFloat

passed

Analysis of requirements

FileRecorderFixture__LogHex16

passed

Analysis of requirements

FileRecorderFixture__LogHex32

passed

Analysis of requirements

FileRecorderFixture__LogHex64

passed

Analysis of requirements

FileRecorderFixture__LogHex8

passed

Analysis of requirements

FileRecorderFixture__LogInt16

passed

Analysis of requirements

FileRecorderFixture__LogInt32

passed

Analysis of requirements

FileRecorderFixture__LogInt64

passed

Analysis of requirements

FileRecorderFixture__LogInt8

passed

Analysis of requirements

FileRecorderFixture__LogRawBuffer

passed

Analysis of requirements

FileRecorderFixture__LogSlog2Message

passed

Analysis of requirements

FileRecorderFixture__LogStringView

passed

Analysis of requirements

FileRecorderFixture__LogUint16

passed

Analysis of requirements

FileRecorderFixture__LogUint32

passed

Analysis of requirements

FileRecorderFixture__LogUint64

passed

Analysis of requirements

FileRecorderFixture__LogUint8

passed

Analysis of requirements

FileRecorderFixture__TooLargeSinglePayloadWillYieldTruncatedLog

passed

Analysis of requirements

FileRecorderFixture__TooManyArgumentsWillYieldTruncatedLog

passed

Analysis of requirements

FileRecorderFixtureWithLogLevelCheck__DisablesOrEnablesLogAccordingToLevel

passed

Analysis of requirements

FileRecorderFixtureWithLogLevelCheck__WillObtainEmptySlotForInsufficentLogLevel

passed

Analysis of requirements

FileRecorderFixtureWithLogLevelCheck__WillObtainEmptySlotsWhenNoSlotsReserved

passed

Analysis of requirements

FileRecorderFixtureWithLogLevelCheck__WillObtainSlotForSufficientLogLevel

passed

Analysis of requirements

FileRecorderTests__FileRecorderShouldClearSlotOnStart

passed

Analysis of requirements

FileRegistrantTest__FileBackendCreatorReturnsNonNullRecorder

passed

Interface test

Analysis of functional dependencies

FileRegistrantTest__FileBackendIsRegisteredAfterStaticInitialization

passed

Verification of the control flow and data flow

Analysis of functional dependencies

FileTransferStreamHandlerFactoryTest__CreateWithFileTransferFeatureEnabledShallReturnConcreteFileTransferStreamHandler

passed

ISessionTest__ISessionTestSuccessfully

passed

LinearControlBlock__LengthExceedingMaxThresholdShouldReturnTruncated

passed

Analysis of requirements

LinearControlBlockTests__BytesShallNotFitInRemainingCCapacityIfOffsetBiggerThanTheBufferSize

passed

Analysis of requirements

LinearReaderTests__LengthExceedingMaxThresholdShouldReturnEmpty

passed

Analysis of requirements

LogEntryDeserialize__PayloadSpanShallBeAccessible

passed

LoggerFallback__AllArgsNulloptShallReturnFailsafeFallback

passed

Interface test

Generation and analysis of equivalence classes

LoggerFallback__WhenProperWriterNotProvidedFailSafeFallbackShallBeReturned

passed

Interface test

Generation and analysis of equivalence classes

LoggerFixture__GetSharedMemoryWriterShallFailWhenThereIsNoSharedMemoryAllocatedUsingLoggerInstanceInitialization

passed

Analysis of requirements

LoggerFixture__GetSharedMemoryWriterShallFailWhenThereIsNoSharedMemoryAllocatedUsingLoggerInstanceInitializationAndCallingRegisterType

passed

Analysis of requirements

LoggerFixture__WhenContextIdNotInContextLogLevelMapGetTypeThresholdReturnsVerbose

passed

Analysis of requirements

LoggerFixture__WhenCreatingSharedMemoryWriterwithNotEnoughBufferSizeRegesteringNewTypeShallFail

passed

Analysis of requirements

LoggerFixture__WhenCreatingSharedMemoryWriterwithOneKiloBytesBufferSizeRegesteringNewTypeShallFail

passed

Analysis of requirements

LoggerFixture__WhenProvidingCorrectNvConfigGetTypeLevelAndThreshold

passed

Analysis of requirements

LoggerFixture__WhenProvidingNvConfigWithErrorShallGetErrorContent

passed

Analysis of requirements

LoggerFixture__WhenProvidingWrongCtxIdWillLeadToVerboseLogLevelThreshold

passed

Analysis of requirements

LoggerFixture__WhenTraceWithLoggerIsNotEnabled

passed

Analysis of requirements

LoggerFixture__WhenTypeRegistrationFailsDroppedLogsCounterIsIncremented

passed

Analysis of requirements

LoggingErrorDomainTest__TestkNoChannelsFoundCode

passed

Interface test

Error guessing based on knowledge or experience

LoggingErrorDomainTest__TestkNoFileFoundCode

passed

Interface test

Error guessing based on knowledge or experience

LoggingErrorDomainTest__TestkParseErrorCode

passed

Interface test

Error guessing based on knowledge or experience

LoggingErrorDomainTest__TestUnknownCode

passed

Interface test

Analysis of boundary values

LogLevelSetCorrectly/DataRouterBackendFixture__LogLevelSetCorrectly/0

passed

Interface test

Generation and analysis of equivalence classes

LogLevelSetCorrectly/DataRouterBackendFixture__LogLevelSetCorrectly/1

passed

Interface test

Generation and analysis of equivalence classes

LogLevelSetCorrectly/DataRouterBackendFixture__LogLevelSetCorrectly/2

passed

Interface test

Generation and analysis of equivalence classes

LogLevelSetCorrectly/DataRouterBackendFixture__LogLevelSetCorrectly/3

passed

Interface test

Generation and analysis of equivalence classes

LogLevelSetCorrectly/DataRouterBackendFixture__LogLevelSetCorrectly/4

passed

Interface test

Generation and analysis of equivalence classes

LogLevelSetCorrectly/DataRouterBackendFixture__LogLevelSetCorrectly/5

passed

Interface test

Generation and analysis of equivalence classes

LogParserTest__FilterForwarderWithSingleForwarder

passed

LogParserTest__SingleMessageHandler

passed

LogParserTest__TestWrongTypeParameter

passed

LogParserTest__WeCanNotParseASharedMemoryRecordIfTheTypeIdentifierIsNotWithinTheIndexParserMap

passed

LogParserTest__WeCanNotParseIfTheIndexIsNotWithinTheIndexParserMap

passed

LogParserTest__WeCanNotParseIfTheSizeOfTheSerializedMessageSmallerThanTheExpectedBufferSizeUint32

passed

LogStream__CanLogRecursive

passed

requirements-analysis

LogStream__CorrectlyHandleStartStop

passed

requirements-based

requirements-analysis

LogStream__TypeSupport

passed

requirements-analysis

LogStream__WhenTryToGetStreamWithEmptyStringViewShallReturnDfltStream

passed

requirements-based

requirements-analysis

LogStreamFactoryTest__GetStreamOutsideLogging

passed

LogStreamFixture__CanLogACustomType

passed

requirements-analysis

LogStreamFixture__CanLogAmpStringView

passed

requirements-analysis

LogStreamFixture__CanLogAnEnumClassWithoutUnderlyingType

passed

LogStreamFixture__CanLogAnEnumClassWithUnderlyingType

passed

LogStreamFixture__CanLogBin16

passed

requirements-analysis

LogStreamFixture__CanLogBin32

passed

requirements-analysis

LogStreamFixture__CanLogBin64

passed

requirements-analysis

LogStreamFixture__CanLogBin8

passed

requirements-analysis

LogStreamFixture__CanLogBool

passed

requirements-analysis

LogStreamFixture__CanLogCharArrayLiteral

passed

requirements-analysis

LogStreamFixture__CanLogConstStringReference

passed

requirements-analysis

LogStreamFixture__CanLogDouble

passed

requirements-analysis

LogStreamFixture__CanLogFloat

passed

requirements-analysis

LogStreamFixture__CanLogHex16

passed

requirements-analysis

LogStreamFixture__CanLogHex32

passed

requirements-analysis

LogStreamFixture__CanLogHex64

passed

requirements-analysis

LogStreamFixture__CanLogHex8

passed

requirements-analysis

LogStreamFixture__CanLogInt16

passed

requirements-analysis

LogStreamFixture__CanLogInt32

passed

requirements-analysis

LogStreamFixture__CanLogInt64

passed

requirements-analysis

LogStreamFixture__CanLogInt8

passed

requirements-analysis

LogStreamFixture__CanLogPtrToNonConstChar

passed

requirements-analysis

LogStreamFixture__CanLogRawBuffer

passed

requirements-analysis

LogStreamFixture__CanLogSlog2Message

passed

requirements-analysis

LogStreamFixture__CanLogStdArrayOfChar

passed

requirements-analysis

LogStreamFixture__CanLogStdStringView

passed

requirements-analysis

LogStreamFixture__CanLogStringView

passed

requirements-analysis

LogStreamFixture__CanLogUint16

passed

requirements-analysis

LogStreamFixture__CanLogUint32

passed

requirements-analysis

LogStreamFixture__CanLogUint64

passed

requirements-analysis

LogStreamFixture__CanLogUint8

passed

requirements-analysis

LogStreamFixture__LogStreamMoveConstructorShallDetachMovedFromInstance

passed

requirements-analysis

LogStreamFixture__UsesFallbackRecorderWithinOtherRecorder

passed

requirements-analysis

LogStreamFixture__WhenTryToLogEmptyAmpStringViewShallNotLog

passed

requirements-analysis

LogStreamFixture__WhenTryToLogEmptyRawBufferShallNotLog

passed

requirements-based

requirements-analysis

LogStreamFixture__WhenTryToLogEmptyStdStringViewShallNotLog

passed

requirements-analysis

LogStreamFixture__WhenTryToLogEmptyStringViewShallNotLog

passed

requirements-analysis

LogStreamFlush__AvoidFormattingCallsWhenSlotIsNotAvailable

passed

requirements-analysis

LogStreamFlush__WhenEmptyAppIdStringProvidedExpectDefaultOneReturned

passed

requirements-analysis

LogStreamFlush__WhenFlushingLogStreamAfterLogUint8ShallBeAbleToLogBoolAgain

passed

requirements-analysis

MessagePassingFactoryTests__CreateReceiverShouldReturnValue

passed

Interface test

Generation and analysis of equivalence classes

MessagePassingFactoryTests__CreateSenderShouldReturnValue

passed

Interface test

Generation and analysis of equivalence classes

MessagePassingServerFixture__ConnectCallbackReturnsClientPid

passed

MessagePassingServerFixture__DisconnectDuringNotifyShouldNotCrash

passed

MessagePassingServerFixture__EnobufsFromNotifyShouldNotKillSession

passed

MessagePassingServerFixture__FinishPreviousSessionWhileLockedCoversBody

passed

MessagePassingServerFixture__MessageCallbackEmptyMessage

passed

MessagePassingServerFixture__MessageCallbackUnknownMessageType

passed

MessagePassingServerFixture__MessageCallbackUnsupportedAcquireRequest

passed

MessagePassingServerFixture__NonEnobufsNotifyFailureShouldStillKillSession

passed

MessagePassingServerFixture__OnConnectRequestMessageTooSmall

passed

MessagePassingServerFixture__OnConnectRequestStopRequestedCoversEarlyExit

passed

MessagePassingServerFixture__RunWorkerThreadConnectionTimeoutExpired

passed

MessagePassingServerFixture__SentWithReplyCallbackReturnsBlank

passed

MessagePassingServerFixture__StaleConnectionAcquireResponseShouldBeIgnored

passed

MessagePassingServerFixture__TestFailedForSettingThreadName

passed

MessagePassingServerFixture__TestFailedStartListening

passed

MessagePassingServerFixture__TestNoSession

passed

MessagePassingServerFixture__TestOneConnectAcquireRelease

passed

MessagePassingServerFixture__TestSamePidWhileQueued

passed

MessagePassingServerFixture__TestSamePidWhileRunning

passed

MessagePassingServerFixture__TestStartListeningFailure

passed

MessagePassingServerFixture__TestTripleConnectDifferentPids

passed

MessagePassingServerFixture__TestTripleConnectSamePid

passed

MessagePassingServerFixture__WatchdogMissCountShouldResetOnValidResponse

passed

MessagePassingServerFixture__WatchdogShouldTearDownUnresponsiveClient

passed

MessagePassingServerTests__SessionHandleAcquireRequestNotReady

passed

MessagePassingServerTests__sessionHandleCreateTest

passed

MessagePassingServerTests__sessionWrapperCreateTest

passed

MwsrFileNameEmptyFixture__SendConnectMessageMwsrFileNameEmptyShouldSendExpectedPayload

passed

Interface test

Generation and analysis of equivalence classes

OptionsTest__ParseHelpShortOptionH

passed

OptionsTest__ParseMissingArg

passed

OptionsTest__ParseNoAdaptiveRuntimeShortOptionN

passed

OptionsTest__ParseNoAdaptiveRuntimeShortOptionV

passed

OptionsTest__ParseNoArguments

passed

OptionsTest__ParseUnknownOption

passed

OptionsTest__ParseUnknownOptionDoubleQuestionDashDash

passed

OptionsTest__ParseUnknownOptionSimiColon

passed

OptionsTest__ParseVerboseLongOptionHelp

passed

OptionsTest__ParseVerboseLongOptionNoAdaptiveRuntime

passed

OptionsTest__ParseVerboseLongOptionV

passed

OptionsTest__ParseVerboseShortOptionV

passed

OptionsTest__ParseVersionLongOption

passed

OversizedRequests/SharedMemoryWriterOversizedRequestsFixture__WriteWithTooBigRequestShallBeRejected/0

passed

Analysis of requirements

OversizedRequests/SharedMemoryWriterOversizedRequestsFixture__WriteWithTooBigRequestShallBeRejected/1

passed

Analysis of requirements

PersistentDictionaryFactoryTestStub__CreatePersistentDictionaryShallReturnStubPersistentDictionary

passed

PthreadMockFixture__ServerIgnoresSetnameError

passed

ReaderFactoryFixture__FailingCallToFstatShallResultInEmptyOptional

passed

Interface test

Generation and analysis of equivalence classes

ReaderFactoryFixture__FstatInvalidReturnShallResultInEmptyOptional

passed

Interface test

Generation and analysis of equivalence classes

ReaderFactoryFixture__FstatReturningSizeTooSmallShallResultInEmptyOptional

passed

Interface test

Generation and analysis of equivalence classes

ReaderFactoryFixture__MmapFailingShallResultInEmptyOptional

passed

Interface test

Generation and analysis of equivalence classes

ReaderFactoryFixture__ProperSetupShallResultValidReader

passed

Interface test

Generation and analysis of equivalence classes

ReaderFactoryFixture__SharedDataMemberPointingOutOfBoundsShallResultInEmptyOptional

passed

Analysis of requirements

ReaderFactoryFixture__UnexpectedPidShallResultInEmptyOptional

passed

Interface test

Generation and analysis of equivalence classes

ReaderFactoryFixture__UnmapFailureShallResultValidReader

passed

Interface test

Generation and analysis of equivalence classes

ReaderFactoryTests__DefaultShallCreateReaderFactoryImpl

passed

Interface test

Generation and analysis of equivalence classes

ReaderFactoryTests__NullPtrResourceShallNotCreateReaderFactoryImpl

passed

Interface test

Generation and analysis of equivalence classes

RecorderFactoryConfigFixture__MultipleLogModesShallReturnCompositeRecorder

passed

Analysis of requirements

RecorderFactoryConfigFixture__RemoteConfiguredShallReturnDataRouterRecorder

passed

Analysis of requirements

RemoteRegistrantTest__RemoteBackendIsRegisteredAfterStaticInitialization

passed

Verification of the control flow and data flow

Analysis of functional dependencies

ResetToDefaultTest__ResetToDefaultCommandChannelsSizeTooBigNoReadCallback

passed

ResetToDefaultTest__ResetToDefaultCommandEmptyChannelsNoReadCallback

passed

RuntimeFixture__CanRetrieveFallbackRecorder

passed

Interface test

Generation and analysis of equivalence classes

RuntimeFixture__CanRetrieveSetRecorder

passed

Interface test

Generation and analysis of equivalence classes

RuntimeFixture__CanSetALoggingBackend

passed

Interface test

Generation and analysis of equivalence classes

RuntimeFixture__DefaultRecorderShallBeReturned

passed

Interface test

Generation and analysis of equivalence classes

RuntimeFixture__WithLoggerContainerHasFreeCapacityExpectedThatNewLoggerContainsCorrectContext

passed

Interface test

Generation and analysis of equivalence classes

RuntimeTest__RuntimeInitializationWithPointer

passed

Interface test

Generation and analysis of equivalence classes

score/mw/log/rust/score_log_bridge/test-960828928/tests

passed

SerializeDeserialize__DataSerializedFromDeserializeOffsetReturnZero

passed

SerializeDeserialize__DataSerializedFromDeserializeVectorSizeLocationNullptr

passed

SerializeDeserialize__DataSerializedFromDeserializeVectorSizeLocationZero2

passed

SerializeDeserialize__DataSerializedFromVectorShouldBeAccessibleUsingSpan

passed

SessionHandle__PassMessage

passed

SessionWrapperMove__CanMoveAndDestructWithoutCrash

passed

SessionWrapperTest__HandleCommand

passed

SessionWrapperTest__ResetRunningWhileLocked

passed

SessionWrapperTest__TryEnqueueForDeleteWithSessionAlreadyRunningNoEnqueue

passed

SessionWrapperTest__TryEnqueueForDeleteWithSessionTriggersEnqueue

passed

SessionWrapperTestEnqueueForDeleteWhileLockedTest/SessionWrapperParamTest__EnqueueForDeleteWhileLockedTest/0

passed

SessionWrapperTestEnqueueForDeleteWhileLockedTest/SessionWrapperParamTest__EnqueueForDeleteWhileLockedTest/1

passed

SessionWrapperTestEnqueueForDeleteWhileLockedTest/SessionWrapperParamTest__EnqueueForDeleteWhileLockedTest/2

passed

SessionWrapperTestEnqueueForDeleteWhileLockedTest/SessionWrapperParamTest__EnqueueForDeleteWhileLockedTest/3

passed

SessionWrapperTestEnqueueForDeleteWhileLockedTest/SessionWrapperParamTest__EnqueueForDeleteWhileLockedTest/4

passed

SessionWrapperTestEnqueueForDeleteWhileLockedTest/SessionWrapperParamTest__EnqueueForDeleteWhileLockedTest/5

passed

SessionWrapperTestEnqueueForDeleteWhileLockedTest/SessionWrapperParamTest__EnqueueForDeleteWhileLockedTest/6

passed

SessionWrapperTestEnqueueForDeleteWhileLockedTest/SessionWrapperParamTest__EnqueueForDeleteWhileLockedTest/7

passed

SharedMemoryReaderFixture__CorruptedHeaderSizeTooSmallShallIgnoreEntry

passed

Analysis of requirements

SharedMemoryReaderFixture__CorruptedRegistrationHeaderSizeTooSmallShallIgnoreEntry

passed

Analysis of requirements

SharedMemoryReaderFixture__GetterShallReadSharedDataNumberOfDropsBufferFull

passed

Analysis of requirements

SharedMemoryReaderFixture__GetterShallReadSharedDataNumberOfDropsInvalidSize

passed

Analysis of requirements

SharedMemoryReaderFixture__GetterShallReadSharedDataNumberOfDropsWithTypeRegistrationFailed

passed

SharedMemoryReaderFixture__GetterShallReadSharedDataSizeOfDropsBufferFull

passed

Analysis of requirements

SharedMemoryReaderFixture__ReadDetached

passed

Analysis of requirements

SharedMemoryReaderFixture__ReaderNotifiedShallAcquireData

passed

Analysis of requirements

SharedMemoryReaderFixture__ReaderNotifiedShallReturnNulloptWhenNotReleasedByWriters

passed

Analysis of requirements

SharedMemoryReaderFixture__ReaderNotNotifiedShallNotPerformReads

passed

Analysis of requirements

SharedMemoryReaderFixture__RingBufferSizeShallReturnValueBasedOnControlBlock

passed

Analysis of requirements

SharedMemoryReaderFixture__UnmapCallbackShallBeCalledWhenDestructing

passed

Analysis of requirements

SharedMemoryReaderFixture__UnmapCallbackShallNotBeCalledWhenMoving

passed

Analysis of requirements

SharedMemoryReaderFixture__WriterAcquireShallAllowDataToBeWritten

passed

Analysis of requirements

SharedMemoryReaderFixture__WriterDetachedShallAllowDataToBeReadWithoutSwitching

passed

Analysis of requirements

SharedMemoryWriterFixture__BasicRegisterShallReturnValue

passed

Analysis of requirements

SharedMemoryWriterFixture__MultipleConcurentRegistrationShallBeValidInCount

passed

Analysis of requirements

SharedMemoryWriterFixture__MultipleConcurrentWritesShallAllBeReceivedValidInCountAndValue

passed

Analysis of requirements

SharedMemoryWriterFixture__OversizedTypeRegisterShallReturnEmpty

passed

Analysis of requirements

SharedMemoryWriterFixture__RegistrationInSequenceShallYieldUniqueTypes

passed

Analysis of requirements

SharedMemoryWriterFixture__ShallHandleOverflowAndNotFail

passed

Analysis of requirements

SharedMemoryWriterFixture__SingleWriteReadShallBeReadPresentingTheSameValues

passed

Analysis of requirements

SignalHandlingTest__PThreadBlockSigTerm_AllSucceed_ReturnsSuccess

passed

SignalHandlingTest__PThreadBlockSigTerm_PthreadSigMaskFails_ReturnsError

passed

SignalHandlingTest__PThreadBlockSigTerm_SigAddSetFails_ReturnsError

passed

SignalHandlingTest__PThreadBlockSigTerm_SigEmptySetFails_ReturnsError

passed

SignalHandlingTest__PThreadUnblockSigTerm_AllSucceed_ReturnsSuccess

passed

SignalHandlingTest__PThreadUnblockSigTerm_PthreadSigMaskFails_ReturnsError

passed

SignalHandlingTest__PThreadUnblockSigTerm_SigAddSetFails_ReturnsError

passed

SignalHandlingTest__PThreadUnblockSigTerm_SigEmptySetFails_ReturnsError

passed

SocketserverConfigTest__BothValuesPresentTakeDefaultThreshold

passed

SocketserverConfigTest__DefaultThresholdValuePresentTakeIt

passed

SocketserverConfigTest__DefaultThresoldValuePresentTakeIt

passed

SocketserverConfigTest__GetBoolCallExpected

passed

SocketserverConfigTest__GetStringCallExpected

passed

SocketserverConfigTest__JsonEmptyChannelsErrorExpected

passed

SocketserverConfigTest__JsonFilteringEnabledExpectConfigFilterTrue

passed

SocketserverConfigTest__JsonOldFormatErrorExpected

passed

SocketserverConfigTest__JsonQuotasEnabledActivated

passed

SocketserverConfigTest__JsonQuotasEnabledDeactivated

passed

SocketserverConfigTest__JsonQuotasEnabledExpectConfigFilterTrue

passed

SocketserverConfigTest__JsonWithoutChannelsErrorExpected

passed

SocketserverConfigTest__NoValuesSetkVerboseAsDefault

passed

SocketserverConfigTest__PersistentDictionaryCorrectJsonNoErrorsExpected

passed

SocketserverConfigTest__PersistentDictionaryEmptyChannelsErrorExpected

passed

SocketserverConfigTest__PersistentDictionaryEmptyJsonErrorExpected

passed

SocketserverConfigTest__PersistentDictionaryNoFilteringEnabledExpectTrueByDefault

passed

SocketserverConfigTest__ReadCorrectLogChannelsNoErrorsExpected

passed

SocketserverConfigTest__ReadDltEnabledTrueResultExpected

passed

SocketserverConfigTest__ReadEmptyLogChannelErrorExpected

passed

SocketserverConfigTest__ReadNonExistingPathErrorExpected

passed

SocketserverConfigTest__WriteDltEnabledCallSetBoolExpected

passed

SocketserverConfigTest__WriteDltFilledPersistentConfigNoErrorExpected

passed

SocketServerCreateDltServerTest__CreateDltServerExecutesSuccessfully

passed

Interface test

Analysis of boundary values

SocketServerCreateDltServerTest__CreateDltServerReturnsNullOnConfigError

passed

Fault injection test

Error guessing based on knowledge or experience

SocketServerCreateDltServerTest__CreateUnixDomainServerFactoryLambdaInvokesCreateConfigSession

passed

Interface test

Analysis of boundary values

SocketServerHelperTest__ResolveSharedMemoryFileNameWithDynamicIdentifier

passed

Interface test

Generation and analysis of equivalence classes

SocketServerHelperTest__ResolveSharedMemoryFileNameWithStaticIdentifier

passed

Interface test

Generation and analysis of equivalence classes

SocketServerInitializePersistentStorageTest__InitializeWithDltDisabled

passed

Interface test

Analysis of boundary values

SocketServerInitializePersistentStorageTest__InitializeWithDltEnabled

passed

Interface test

Analysis of boundary values

SocketServerInitializePersistentStorageTest__LoadDltLambdaCallsReadDlt

passed

Interface test

Error guessing based on knowledge or experience

SocketServerInitializePersistentStorageTest__StoreDltLambdaCallsWriteDlt

passed

Interface test

Error guessing based on knowledge or experience

SocketServerRemainingFunctionsTest__CreateConfigSessionExecutesSuccessfully

passed

Interface test

Error guessing based on knowledge or experience

SocketServerRemainingFunctionsTest__CreateEnableHandlerCreatesCallbackSuccessfully

passed

Interface test

Error guessing based on knowledge or experience

SocketServerRemainingFunctionsTest__CreateMessagePassingSessionCloseFailure

passed

Fault injection test

Error guessing based on knowledge or experience

SocketServerRemainingFunctionsTest__CreateMessagePassingSessionErrorPath

passed

Fault injection test

Error guessing based on knowledge or experience

SocketServerRemainingFunctionsTest__CreateMessagePassingSessionSuccessPath

passed

Interface test

Error guessing based on knowledge or experience

SocketServerRemainingFunctionsTest__CreateUnixDomainServerExecutesSuccessfully

passed

Interface test

Error guessing based on knowledge or experience

SocketServerRemainingFunctionsTest__LoadNvConfigErrorPath

passed

Fault injection test

Error guessing based on knowledge or experience

SocketServerRemainingFunctionsTest__LoadNvConfigSuccessPath

passed

Interface test

Error guessing based on knowledge or experience

SocketServerTest__SetThreadNameFailureHandling

passed

Fault injection test

Error guessing based on knowledge or experience

SocketServerTest__SetThreadNameParameterless

passed

Interface test

Error guessing based on knowledge or experience

SocketServerTest__SetThreadNameSuccess

passed

Interface test

Generation and analysis of equivalence classes

StatisticsReporterFixture__UpdateShallGiveUpIfAlreadyReporting

passed

Analysis of requirements

StatisticsReporterFixture__UpdateShallGiveUpIfNotYetTimeToReport

passed

Analysis of requirements

StatisticsReporterFixture__UpdateShallReportIfOverDue

passed

Analysis of requirements

StatisticsReporterFixture__UpdateShallReportWarningIfOverDueAndErrors

passed

Analysis of requirements

StatisticsReporterFixture__UpdateShallReportWarningMessageIsTooooLong

passed

Analysis of requirements

StubConfigSessionFactoryUT__CreateConcreteSession_ReturnsValidSession

passed

StubConfigSessionFactoryUT__CreateConfigSession_ReturnsValidSession

passed

StubConfigSessionFactoryUT__CreateConfigSession_WorksWithDifferentHandlerTypes

passed

StubConfigSessionFactoryUT__MultipleSessionCreation

passed

StubConfigSessionUT__Constructor_AcceptsAnyHandlerType

passed

StubConfigSessionUT__Constructor_AcceptsHandleAndHandler

passed

StubConfigSessionUT__IsSessionInterface

passed

StubConfigSessionUT__OnClosedByPeer_DoesNothing

passed

StubConfigSessionUT__OnCommand_DoesNothing

passed

StubConfigSessionUT__Tick_ReturnsTrue

passed

SumTest__SumNoOverflow

passed

SumTest__SumOverflow

passed

TempMarker__PolymorphicThroughISession

passed

TempMarker__TickAlwaysFalse

passed

tests/rust/test-1416572525/rust_hello_test

passed

third_party/score_requirement_model/requirement_metamodel_test

passed

third_party/traceability/config/trlc/score_model/requirement_metamodel_test

passed

TraceFixtureTest__TraceDebugFunctionCallsTraceLevel

passed

Analysis of requirements

TraceFixtureTest__TraceFatalFunctionCallsTraceLevel

passed

Analysis of requirements

TraceFixtureTest__TraceInfoFunctionCallsTraceLevel

passed

Analysis of requirements

TraceFixtureTest__TraceVerboseFunctionCallsTraceLevel

passed

Analysis of requirements

TraceFixtureTest__TraceWarnFunctionCallsTraceLevel

passed

Analysis of requirements

TraceFixtureTest__WhenTraceWithLogEnabledAndTraceLevelDoesNotExceed

passed

Analysis of requirements

TraceFixtureTest__WhenTraceWithLogLevelEnabledButLevelExceeded

passed

Analysis of requirements

UdpStreamOutput__ConstructionAndDestructionOnHeap

passed

UdpStreamOutput__ConstructionAndDestructionOnStack

passed

UdpStreamOutput__ConstructionAndDestructionOnStackwithdstAddrAsNullptr

passed

UdpStreamOutput__InvalidIpForMultInterface

passed

UdpStreamOutput__MoveConstructor_ConstructionAndDestructionOnStack

passed

UdpStreamOutputFixture__BindMethodShallNotReturnValueInCaseOfFailure

passed

UdpStreamOutputFixture__BindMethodShallReturnValueIfItSucceeded

passed

UdpStreamOutputFixture__SendMethodShallFailIfSendmmsgFailed

passed

UdpStreamOutputFixture__SendMethodShallFailIfSendmsgFailed

passed

UdpStreamOutputFixture__SendMethodShallSucceedIfSendmmsgSucceeded

passed

UdpStreamOutputFixture__SendMethodShallSucceedIfSendmmsgSucceededWithMmsg_spanNotEmpty

passed

UdpStreamOutputFixture__SendMethodShallSucceedIfSendmsgSucceeded

passed

UdpStreamOutputFixture__SetsockoptMethodShallNotReturnValueInCaseOfFailure

passed

UnixDomainCommon__SetupSignalsFailurePath

passed

UnixDomainCommonTestFixture__Constructor_unix_domain_common

passed

UnixDomainCommonTestFixture__recv_socket_message_FirstRecvFailedWithWrongHeaderSize

passed

UnixDomainCommonTestFixture__recv_socket_message_FirstRecvReturnError

passed

UnixDomainCommonTestFixture__recv_socket_message_FirstRecvSucceededandSecondRecvReturnError

passed

UnixDomainCommonTestFixture__recv_socket_message_FirstRecvSucceededandSecondSucceeded

passed

UnixDomainCommonTestFixture__recv_socket_message_FirstRecvSucceededandSecondSucceededWithZeroValue

passed

UnixDomainCommonTestFixture__recv_socket_message_SocketMessangerHeaderForTypekSharedMemoryFileHandle

passed

UnixDomainCommonTestFixture__recv_socket_message_SocketMessangerHeaderForWrongType

passed

UnixDomainCommonTestFixture__send_socket_message_Failed

passed

UnixDomainCommonTestFixture__send_socket_message_RetuenError

passed

UnixDomainCommonTestFixture__send_socket_message_RetuenError_Twice

passed

UnixDomainCommonTestFixture__send_socket_message_Succeeded

passed

UnixDomainCommonTestFixture__send_socket_message_WithFileHandleLessThanZero

passed

UnixDomainCommonTestFixture__SendAncillaryDataOverSocket_FailedSendMsgFailedWithWrongValue

passed

UnixDomainCommonTestFixture__SendAncillaryDataOverSocket_SendmsgReturnError

passed

UnixDomainCommonTestFixture__SendAncillaryDataOverSocket_SendmsgReturnError_Twice

passed

UnixDomainCommonTestFixture__SendAncillaryDataOverSocket_Succeeded

passed

UnixDomainServer__NotifiesClosedByPeer

passed

UnixDomainServer__ServerCatchesSessionFailure

passed

UnixDomainServer__WorkerRequeuesOnTrueTick

passed

UnixDomainServerAcceptTest__AcceptsOneClientConnection

passed

UnixDomainServerCleanup__DestructorProcessesPendingConnections

passed

UnixDomainServerExceptions__CatchStdExceptionInServerRoutine

passed

UnixDomainServerExtractedMethods__ProcessActiveConnectionsRemovesOrphanedFd

passed

UnixDomainServerExtractedMethods__ProcessIdleConnectionsRemovesOrphanedFd

passed

UnixDomainServerExtractedMethods__ProcessIdleConnectionsSkipsActiveConnections

passed

UnixDomainServerHandleCmd__AllBranchesViaFramedMessages

passed

UnixDomainServerHandleCommand__IdleClientTriggersDeleteBranch

passed

UnixDomainServerSessionWrapper__BasicFlagsAndTimeout

passed

UnixDomainServerSessionWrapper__ServerSessionWrapperWithRealFactory

passed

UnixDomainServerSocketFixture__FailedToPoll

passed

UnixDomainServerSocketFixture__ServerFailedToAcceptClientConnection

passed

UnixDomainServerSocketFixture__ServerFailedToCreateBind

passed

UnixDomainServerSocketFixture__ServerFailedToCreateSocket

passed

UnixDomainServerSocketFixture__ServerFailedToListen

passed

UnixDomainSockAddr__NonAbstractRoundTrip

passed

UtilityTest__log_levels

passed

WaitFreeAlternatingWriterTests__EnsureAtomicRequirements

passed

Analysis of requirements

WaitFreeAlternatingWriterTests__WriteBufferFullShouldReturnExpectedData

passed

Analysis of requirements

WaitFreeLinearWriter__AcquireMoreThanMaximumShouldFail

passed

Analysis of requirements

WaitFreeLinearWriter__BufferSizeExceededShouldReturnEmpty

passed

Analysis of requirements

WaitFreeLinearWriter__BufferSizeExceededUpperLimitShouldReturnEmpty

passed

Analysis of requirements

WaitFreeLinearWriter__EnsureAtomicRequirements

passed

Analysis of requirements

WaitFreeLinearWriter__FailedAcquireShouldTerminateBuffer

passed

Analysis of requirements

WaitFreeLinearWriter__FailedAcquireWithNoFreeSpaceShouldNotTerminateBuffer

passed

Analysis of requirements

WaitFreeLinearWriter__TooManyConcurrentWriterShouldReturnEmpty

passed

Analysis of requirements

WaitFreeLinearWriter__WriteBufferFullShouldReturnExpectedData

passed

Analysis of requirements

WaitFreeLinearWriter__WriterBigDataTest

passed

Analysis of requirements

WriterFactory__MissingOsalMmanShallResultInEmptyOptional

passed

Analysis of requirements

WriterFactory__MissingOsalShallResultInEmptyOptional

passed

Analysis of requirements

WriterFactory__MissingOsalUnistdAndOsalMmanShallResultInEmptyOptional

passed

Analysis of requirements

WriterFactory__MissingStatOsalShallResultInEmptyOptional

passed

Analysis of requirements

WriterFactory__MissingStdlibShallResultInEmptyOptional

passed

Analysis of requirements

WriterFactoryFixture__FailureToMapFileShallResultInEmptyOptionalResult

passed

Analysis of requirements

WriterFactoryFixture__FailureToOpenFileShallResultInEmptyOptionalResult

passed

Analysis of requirements

WriterFactoryFixture__FailureToTruncateFileShallResultInEmptyOptionalResult

passed

Analysis of requirements

WriterFactoryFixture__InDynamicFileExistanceShallNotBeChecked

passed

Analysis of requirements

WriterFactoryFixture__MakeSureThatOpenCallWillOnlyBeDoneWithCorrectOpenReadFlags

passed

Analysis of requirements

WriterFactoryFixture__MmapReturingImproperAlignedMemoryShallCallUnmapAndReturnEmpty

passed

Analysis of requirements

WriterFactoryFixture__MmapReturnsNullptrValueShallCallUnmapAndReturnEmpty

passed

Analysis of requirements

WriterFactoryFixture__UnexpectedBufferSizeWithOverflowShallMakeCerrOutput

passed

WriterFactoryFixture__WhenAllMocksReturnValidShallResultValidOptionalResult

passed

Analysis of requirements

WriterFactoryFixture__WhenMmapIsValidAndUnmmapIsFailingItShallPrintCerrMessage

passed

Analysis of requirements

WriterFactoryFixture__WhenTheFileExistsAndCannotBeUnlinkedItShallContinueWithExecution

passed

Analysis of requirements

WriterFactoryFixture__WhenTheFileExistsItShallBeUnlinked

passed

Analysis of requirements

Details About Testcases#

../_images/need_pie_9afba.svg ../_images/need_pie_91b7b.svg