EverTest Report for LighTsControl

	A	B
1	Test Run	Passed
2	User	Evgeni Verbitski (TechDirector)
3	Date	2020-05-27
4	Start	19:05:55
5	End	19:06:24
6	Test Harness	Passed
7	User	TechDirector
8	Date	2020-05-27 19:05:54
9	Model	LTC_R2018b.slx
10	Revision	1.739
11	Solver	Fixed-Step Discrete
12	Sample Time	0.02
13	Test Object	Passed
14	System	LTC_R2018b/LighTsControl_var/LighTsControl
15	User	TechDirector
16	Last Saved	2019-10-17 15:01:55
17	Model	LighTsControl_lib.mdl
18	Model Version	1.10
19	System Type	Simulink Library
20	Simulation Type	MIL
21	Sample Time	0.02
22	Complexity Metrics	Passed
23	Block Count	30
24	Cyclomatic Complexity	7
25	Operator Complexity	8
26	Test Environment	Passed
27	Windows	Windows 7 Professional (6.1) 64-bit
28	MATLAB	9.5 (R2018b) 64-bit
29	EverCheck	v3.9.61
30	EverTest	v4.6.142
31	Excel	Excel 2013 (15.0)
32	Static Model Analysis	Passed
33	Static Analysis Result	Passed
34	Static Analysis Report	SMA_LighTsControl.html
35	Coverage of Design Ranges	100%
36	Coverage of Requirements	100%
37	Dynamic Model Analysis	Passed
38	Cumulative Decision Coverage	100%
39	Cumulative MCDC Coverage	100%
40	Structural Coverage Report	COV_LighTsControl.html
41	Test Cases	Passed

Requirements

	A	B	C	D	E	F	G	H
1	Test Cases	Test Result	REQ: LTC_UC1_REQ1	REQ: LTC_UC2_REQ1	REQ: LTC_UC2_REQ2	REQ: LTC_UC2_REQ3	REQ: LTC_UC2_REQ4	REQ: LTC_UC2_REQ5
2	Driver Intention Switch	Passed	x
3	AUTO State Modes	Passed		x
4	AUTO Initial State	Passed			x
5	AUTO State Debounce	Passed				x
6	AUTO Light Off State	Passed					x
7	AUTO Light ON State	Passed						x
8	BVA Parameter Max	Passed
9	BVA_Parameter_Min	Passed

Interface

	A	B	C	D	E	F	G	H
1	Name	Type	Data Type	Dimensions	Min	Max	Unit	Description
2	light_switch	I	uint32	1	0	2	1
3	light_intensity	I	uint32	1	0	100	1
4	headlight	O	boolean	1	0	1	1
5	MinLightOff	P	uint32	1	30	95	lumen
6	MinLightOn	P	uint32	1	5	70	lumen
7	HysteresisStepsOff	P	uint32	1	1	1000	1
8	HysteresisStepsOn	P	uint32	1	1	1000	1

Settings

function settings = EverTest_Settings() settings.WorkProducts.StaticAnalysisReport = '..\tst\SMA_LighTsControl.html'; settings.WorkProducts.StaticAnalysisEngine = 'EC'; settings.WorkProducts.StructuralCoverageReport = '..\tst\COV_$T.html'; settings.WorkProducts.VerificationReport = '..\tst\VER_LighTsControl.html'; settings.WorkProducts.RequirementPattern = 'REQ:'; settings.WorkProducts.GoalPattern = 'GOAL:'; settings.WorkProducts.MaximumColumnWidth = 200; settings.ImportFiles.CheckIdList = 'Safety_Check_IDs.m'; settings.ImportFiles.StartCallback = ''; settings.ImportFiles.FinishCallback = ''; settings.ExportDirectories.EXACT = ''; settings.ExportDirectories.GenerateEXACT = false; settings.ExportDirectories.MDF = ''; settings.ExportDirectories.GenerateMDF = false; settings.ExportDirectories.XML = ''; settings.ExportDirectories.ErrorLogging = ''; settings.VerificationValidation.GenerateStaticAnalysis = true; settings.VerificationValidation.GenerateStructuralCoverageReport = true; settings.VerificationValidation.ShowDecisionCoverage = true; settings.VerificationValidation.ShowMcdcCoverage = true; settings.VerificationValidation.RunDesignRangesCoverage = true; settings.VerificationValidation.GenerateVerificationReport = true; settings.Simulation.DebugMode = false; settings.Simulation.RealTimeMode = false; settings.Simulation.Tolerance = '0.00000001'; settings.Simulation.MissingTimeSteps = 'Ignore';

Driver Intention Switch Positive test of all switch states REQ: LTC_UC1_REQ1

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	GOAL: Positive test of all switch states	0	0	31	0	0	30	20	2	2
3	REQ: LTC_UC1_REQ1	0.02				0
4	There are three switch positions <br>to express drivers intention:	0.04				0
5	- Headlight is ON.	0.06				0
6	- Headlight is OFF;	0.08				0
7	- Headlight is AUTO (ON if low light intensity);	0.1				0
8	>ON: 2	0.12	2		1	1
9	EverPlot('auto_switch.png')	0.14				1
10	EverPlot(light_switch+13, 'bx', headlight+13, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.16				1
11	>OFF: 0	0.18	0		0	0
12	>AUTO: 1	0.24	1	31	0	0
13		0.26		29		0
14		0.28		27		0
15		0.3		25		0
16		0.32		23		0
17		0.34		21		0
18	>MinLightOn	0.36		19		0
19		0.38		17		0
20	>Switch on after delay	0.4		15	1	1
21		0.42		17		1
22		0.44		19		1
23		0.46		21		1
24		0.48		23		1
25		0.5		25		1
26		0.52		27		1
27		0.54		29		1
28	>MinLightOff	0.56		31		1
29		0.58		33		1
30	>Switch off after delay	0.6		35	0	0
31		0.62		37		0
32		0.72				0

Log Output

### Test case: Driver Intention Switch
### Retrieving Test Data
### Subtest 1
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 0.72
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Formatting output data
### Highlight specification data
### Performing Design Range Coverage analysis
****************************************
### Test case finished

AUTO State Modes REQ: LTC_UC2_REQ1

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	REQ: LTC_UC2_REQ1	0	1	59	1	1	70	60	2	2
3	>MinLightOff	0.02		71		1
4		0.04				1
5	>Switch off after delay	0.06			0	0
6	>MinLightOn	0.08		59		0
7		0.1				0
8	>Switch on after delay	0.12			1	1
9	>MinLightOff	0.14		71		1
10	EverPlot(light_switch+57, 'bx', headlight+57, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.16				1
11	>Switch off after delay	0.18			0	0
12		0.22				0

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	REQ: LTC_UC2_REQ1	0	1	71	0	0	70	60	2	2
3	EverPlot(light_switch+57, 'bx', headlight+57, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.02				0
4		0.04				0
5		0.06			0	0
6	>MinLightOn	0.08		59		0
7		0.1				0
8	>Switch on after delay	0.12			1	1
9	>MinLightOff	0.14		71		1
10		0.16				1
11	>Switch off after delay	0.18			0	0
12		0.22				0

Log Output

### Test case: AUTO State Modes
### Retrieving Test Data
### Subtest 1
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 0.22
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Subtest 2
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 0.22
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Formatting output data
### Highlight specification data
### Performing Design Range Coverage analysis
****************************************
### Test case finished

AUTO Initial State REQ: LTC_UC2_REQ2

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	REQ: LTC_UC2_REQ2;	0	1	64	1	1	70	65	3	3
3	>MinLightOff	0.02		71		1
4	EverPlot(light_switch+60, 'bx', headlight+60, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.04				1
5		0.06				1
6	>Switch Off after Debounce	0.08			0	0
7		0.1				0
8		0.12				0

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	REQ: LTC_UC2_REQ2;	0	1	71	0	0	70	65	3	3
3	>MinLightOn	0.02		64		0
4	EverPlot(light_switch+60, 'bx', headlight+60, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.04				0
5		0.06				0
6	>Switch On after Debounce	0.08			1	1
7		0.1				1
8		0.12				1

Log Output

### Test case: AUTO Initial State
### Retrieving Test Data
### Subtest 1
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 0.12
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Subtest 2
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 0.12
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Formatting output data
### Highlight specification data
### Performing Design Range Coverage analysis
****************************************
### Test case finished

AUTO State Debounce REQ: LTC_UC2_REQ3

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	REQ: LTC_UC2_REQ3;	0	0	62	0	0	70	65	3	5
3	The state transitions between main states shall be debounced by introducing specified time delays (HysteresisStepsOff, HysteresisStepsOn) after which the transitions may be executed while the transition condition is true.	0.02				0
4	AUTO	0.06	1	71	1	1
5	No Debouncing for initial switch ON/OFF	0.08				1
6	Transition ON->OFF	0.12			0	0
7	EverPlot(light_switch+60, 'bx', headlight+60, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.14		62		0
8	Transition OFF->ON	0.24			1	1
9		0.26		71		1
10	Verhinderte Transition: Debounce	0.3		62		1
11		0.34		71		1
12	>Transition ON->OFF	0.4			0	0
13		0.42		62		0
14	>Cancelled Transition: Debounce	0.46		71		0
15	>Manual ON	0.52	2		1	1
16	>AUTO	0.6	1		0	0
17	>Initial Switch ON/OFF: No Debounce	0.66				0
18		1				0

Log Output

### Test case: AUTO State Debounce
### Retrieving Test Data
### Subtest 1
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 1
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Formatting output data
### Highlight specification data
### Performing Design Range Coverage analysis
****************************************
### Test case finished

AUTO Light Off State REQ: LTC_UC2_REQ4

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	REQ: LTC_UC2_REQ4;	0	0	55	0	0	70	60	3	5
3	IF (light_switch > MinLightOff)	0.02				0
4	&& after HysteresisStepsOff steps	0.04				0
5	THEN	0.06				0
6	headlight_auto(k) = false;	0.08				0
7	ELSE	0.1				0
8	headlight_auto(k) = headlight_auto(k-1);	0.12				0
9	END	0.14				0
10	EverPlot(light_switch+50, 'bx', headlight+50, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.16				0
11	>AUTO -> Init ON	0.18	1		1	1
12		0.2				1
13		0.22		72		1
14		0.24				1
15		0.26				1
16		0.28			0	0
17	>Manual ON	0.3	2	58	1	1
18	>AUTO -> Init OFF	0.34	1		0	0
19		0.36				0
20		0.38				0
21	>Transition OFF->ON	0.4			1	1
22		0.5				1

Log Output

### Test case: AUTO Light Off State
### Retrieving Test Data
### Subtest 1
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 0.5
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Formatting output data
### Highlight specification data
### Performing Design Range Coverage analysis
****************************************
### Test case finished

AUTO Light ON State REQ: LTC_UC2_REQ5

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	REQ: LTC_UC2_REQ5;	0	0	71	0	0	70	60	3	5
3	IF (light_switch < MinLightOn)	0.02				0
4	&& after HysteresisStepsOn steps	0.04				0
5	THEN	0.06				0
6	headlight_auto(k) = true;	0.08				0
7	ELSE	0.1				0
8	headlight_auto(k) = headlight_auto(k-1);	0.12				0
9	END	0.14				0
10	EverPlot(light_switch+50, 'bx', headlight+50, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.16				0
11	>AUTO -> Init ON	0.18	1			0
12		0.2		55		0
13		0.22			0	0
14		0.24				0
15	>Transition OFF->ON	0.3			1	1
16	>Manual OFF	0.34	0	72	0	0
17	>AUTO -> Init ON	0.38	1		1	1
18	>Transition ON->OFF	0.4			0	0
19		0.48				0

Log Output

### Test case: AUTO Light ON State
### Retrieving Test Data
### Subtest 1
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 0.48
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Formatting output data
### Highlight specification data
### Performing Design Range Coverage analysis
****************************************
### Test case finished

BVA Parameter Max Boundary-Check

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	GOAL: Boundary-Check	0	2	69	1	1	95	70	1000	1000
3	EverPlot(light_switch+80, 'bx', headlight+80, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	5	0		0	0
4		10	2		1	1
5		15	0		0	0
6		20	1		1	1
7		25		100		1
8	>Switch Off after Delay	45			0	0
9		50		69		0
10	>Switch On after Delay	70			1	1
11		80				1
12		85				1

Log Output

### Test case: BVA Parameter Max
### Retrieving Test Data
### Subtest 1
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 85
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Formatting output data
### Highlight specification data
### Performing Design Range Coverage analysis
****************************************
### Test case finished

BVA_Parameter_Min Boundary-Check

🔍

	A	B	C	D	E	F	G	H	I	J
1	Description	t	light_switch	light_intensity	headlight_ref	headlight	MinLightOff	MinLightOn	HysteresisStepsOff	HysteresisStepsOn
2	GOAL: Boundary-Check	0	1	0	1	1	30	5	1	1
3	EverPlot(light_switch, 'bx', headlight, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--')	0.02				1
4		0.04				1
5		0.06		33		1
6	>Switch Off after Delay	0.08			0	0
7		0.14		20		0
8		0.22		3		0
9	>Switch On after Delay	0.24			1	1
10		0.3				1

Log Output

### Test case: BVA_Parameter_Min
### Retrieving Test Data
### Subtest 1
### Checking data limits
### Setting simulation data
### Initializing 4 parameters for simulation
### Checking model step size
### Starting simulation with end time: 0.3
### Deleting temporary log file
### Collecting output data
### Converting output data
### Checking for missing time steps
### Store output data
### Map output data
### Subtest completed
### Formatting output data
### Highlight specification data
### Performing Design Range Coverage analysis
****************************************
### Test case finished

EverTest Report for LighTsControl

Summary

Requirements

Interface

Settings

Driver Intention Switch Positive test of all switch states REQ: LTC_UC1_REQ1

Log Output

AUTO State Modes REQ: LTC_UC2_REQ1

Log Output

AUTO Initial State REQ: LTC_UC2_REQ2

Log Output

AUTO State Debounce REQ: LTC_UC2_REQ3

Log Output

AUTO Light Off State REQ: LTC_UC2_REQ4

Log Output

AUTO Light ON State REQ: LTC_UC2_REQ5

Log Output

BVA Parameter Max Boundary-Check

Log Output

BVA_Parameter_Min Boundary-Check

Log Output