Inputs: 4 Outputs: 7 Locals: 1 Parameter: 1

General

Property	Value
Operating System	Windows 10 amd64 10.0
Tool Version	24.3p0
Profile Creator	developer
Profile Creation Date	11/09/2024 15:22
Profile Modifier	developer
Profile Modification Date	11/09/2024 15:40
Profile Path	C:\actions-runner-webinar\_work\testing-automotive-cpp\testing-automotive-cpp\tst\InfotainmentSystem.epp

Architectures

C-Code

Constants

Property	Value
-Infinity	-Infinity
Infinity	Infinity
NaN	NaN
NO_DEVICE_ID	-1

Report Base

Property	Value
Scope	stepFunction
Path	accessor.cpp:1:stepFunction
Child Scopes	updateSystemState

Execution Modes

SIL

Property	Value
Creator	developer
Import Date	14/09/2024 19:25
Source Code Files	C:\actions-runner-webinar\_work\testing-automotive-cpp\testing-automotive-cpp\src\BluetoothConnector.cpp C:\actions-runner-webinar\_work\testing-automotive-cpp\testing-automotive-cpp\src\InfotainmentSystem.cpp C:\actions-runner-webinar\_work\testing-automotive-cpp\testing-automotive-cpp\src\NavigationSystem.cpp C:\actions-runner-webinar\_work\testing-automotive-cpp\testing-automotive-cpp\src\VolumeControl.cpp C:\actions-runner-webinar\_work\testing-automotive-cpp\testing-automotive-cpp\src\SystemStateReporter.c C:\actions-runner-webinar\_work\testing-automotive-cpp\testing-automotive-cpp\tst\accessor.cpp
Include Paths	C:\actions-runner-webinar\_work\testing-automotive-cpp\testing-automotive-cpp\incl E:\home\WindowsFolders\My Documents\GitHub\thabok\testing-automotive-cpp\incl
Pre-Processor Definitions
Host Compiler	(Internal) MinGW 64 Compiler (C) (8.1.0)
Compliance Mode	CPP

Natural Language Requirements

Infotainment

Global Tolerances

Test Execution Results Overview

	TestCase	Length	Requirement (report base)	Scope	Folder	Result (SIL)
	01.1_HighVolumeStopNavigation	101	01 - Infotainment 01.1 - High volume shall stop navigation	stepFunction	Default Test Cases	Passed
	01.2 - new test saturate volume	100	01 - Infotainment 01.2 - Saturate volume on bluetooth connect	stepFunction	Default Test Cases	Passed
	01.2_SaturateVolumeOnBtConnect	101	01 - Infotainment 01.2 - Saturate volume on bluetooth connect	stepFunction	Default Test Cases	Passed
	01.3_CheckBitfieldSystemState	7	01 - Infotainment 01.3 - System State	updateSystemState	Default Test Cases	Passed
	01.4_PreventBtConOverride	3	01 - Infotainment 01.4 - Prevent override of active bluetooth connection	stepFunction	Default Test Cases	Passed
	02.1_ApplyRequestedVolume	6	02 - VolumeControl 02.1 - Apply requested volume	stepFunction	Default Test Cases	Passed
	02.2_IndicateVolumeAboveThreshold	4	02 - VolumeControl 02.2 - Indicate volume above threshold	stepFunction	Default Test Cases	Passed
	03.1_StartNavigation	4	03 - NavigationSystem 03.1 - Start Navigation	stepFunction	Default Test Cases	Passed
	03.2_StopNavigation	2	03 - NavigationSystem 03.2 - Stop Navigation	stepFunction	Default Test Cases	Passed
	04.2_ConnectDevice	2	04 - BluetoothConnector 04.1 - Detect active requests 04.2 - Connect device	stepFunction	Default Test Cases	Passed
	04.3_DisconnectDevice	3	04 - BluetoothConnector 04.3 - Disconnect device	stepFunction	Default Test Cases	Passed

Detailed Execution Results (failed only)

Infotainment

Requirement ID	Description	Test Cases	Covered	Passed (SIL)
01 - Infotainment	Section for requirements on the Infotainment component level	5	Covered	100%
01.1 - High volume shall stop navigation	A volume above the defined threshold shall disable the navigation.	1	Covered	100%
01.3 - System State	The system state bitfield shall reflected the status of the navigation system and bluetooth system	1	Covered	100%
01.2 - Saturate volume on bluetooth connect	When the bluetooth connector accepts an active connection request, the volume shall be saturated to the volume threshold value to prevent sudden driver distraction.	2	Covered	100%
01.4 - Prevent override of active bluetooth connection	When the Bluetooth connector has an active connection and the Infotainment System tries to connect another device, the Bluetooth Connector will throw an Exception. This shall cause the Infotainment System's global error flag to become active.	1	Covered	100%
02 - VolumeControl	Section for requirements related to the VolumeControl component.	2	Covered	100%
02.1 - Apply requested volume	Setting the volume shall apply the user request if it is in the expected range [0,100]	1	Covered	100%
02.2 - Indicate volume above threshold	If the effective volume is higher than the defined volume threshold, the tooLoud flag shall be enabled (and disabled when it's <= the threshold).	1	Covered	100%
03 - NavigationSystem	Section for requirements related to the NavigationSystem component.	2	Covered	100%
03.1 - Start Navigation	The navigation system's start function shall activate the navigation system and set the currentRouteLength to the requested length (if the requested length is greater than 0)	1	Covered	100%
03.2 - Stop Navigation	The navigation system's stop function shall disable the navigation system and reset the currentRouteLength to 0	1	Covered	100%
04 - BluetoothConnector	Section for requirements related to the BluetoothConnector component. The infotainment system's step function shall correctly show the required interactions of its subcomponents.	2	Covered	100%
04.1 - Detect active requests	The bluetooth connector shall indicate if a connection request is active (connection request id > 0)	1	Covered	100%
04.2 - Connect device	The bluetooth connector's connect device function shall accept active connection requests, activate the bluetooth connected flag and set the connected device id	1	Covered	100%
04.3 - Disconnect device	The bluetooth connector's disconnnect device function shall reset the bluetooth connected flag and reset the connected device to -1	1	Covered	100%

Code Coverage Statistics

	Properties	Handled		Covered		Unreachable (n/inf)		Justified
Statement (STM)	66	66	100.0%	66	100.0%	0	0.0%	0	0.0%
Decision/Branch (D)	26	24	92.3%	24	92.3%	0	0.0%	0	0.0%
Condition (C)	12	12	100.0%	12	100.0%	0	0.0%	0	0.0%
C/DC and MC/DC (MCDC)	55	53	96.4%	53	96.4%	0	0.0%	0	0.0%
Function (F)	13	13	100.0%	13	100.0%	0	0.0%	0	0.0%
Function Call (FC)	2	2	100.0%	2	100.0%	0	0.0%	0	0.0%
Switch-Case (SC)	4	4	100.0%	4	100.0%	0	0.0%	0	0.0%
Relational Operator (RO)	10	7	70.0%	7	70.0%	0	0.0%	0	0.0%

Robustness Checks Statistics

	Properties	Handled		Covered		Unreachable (n/inf)		Justified
Division By Zero (DZ)	0	0	n/a	0	n/a	0	n/a	0	n/a
Downcast (CA)	0	0	n/a	0	n/a	0	n/a	0	n/a

Domain Checks Statistics

User-defined Coverage Goals Statistics

Code Coverage Statistics

	Properties	Handled		Covered		Unreachable (n/inf)		Justified
Statement (STM)	66	66	100.0%	66	100.0%	0	0.0%	0	0.0%
Decision/Branch (D)	26	24	92.3%	24	92.3%	0	0.0%	0	0.0%
Condition (C)	12	12	100.0%	12	100.0%	0	0.0%	0	0.0%
C/DC and MC/DC (MCDC)	55	53	96.4%	53	96.4%	0	0.0%	0	0.0%
Function (F)	13	13	100.0%	13	100.0%	0	0.0%	0	0.0%
Function Call (FC)	2	2	100.0%	2	100.0%	0	0.0%	0	0.0%
Switch-Case (SC)	4	4	100.0%	4	100.0%	0	0.0%	0	0.0%
Relational Operator (RO)	10	7	70.0%	7	70.0%	0	0.0%	0	0.0%

Robustness Checks Statistics

	Properties	Handled		Covered		Unreachable (n/inf)		Justified
Division By Zero (DZ)	0	0	n/a	0	n/a	0	n/a	0	n/a
Downcast (CA)	0	0	n/a	0	n/a	0	n/a	0	n/a

Domain Checks Statistics

User-defined Coverage Goals Statistics