	A	B
1	Test Run	Passed
2	User	Evgeni Verbitski (evgen)
3	Date	2026-10-27
4	Start	22:47:05
5	End	22:47:19
6	Static Model Analysis	Passed
7	Static Analysis Result	100% (54/54)
8	Static Analysis Report	SMA_CCC.html
9	Coverage of Design Ranges	100% (7/7)
10	Coverage of Requirements	100% (3/3)
11	Cyclomatic Complexity	5
12	Block Count	14
13	Operator Complexity	7
14	Dynamic Model Analysis	Passed
15	Cumulative Decision Coverage	100% (8/8)
16	Cumulative MCDC Coverage	n/a
17	Structural Coverage Report	COV_CCC.html
18	Test Cases	100% (12/12)
19	Passed	12
20	Failed	0
21	Warned	0
22	Ignored	0
Environment
	A	B
1	Test Harness	Passed
2	User	evgen
3	Date	2026-10-27 22:47:05
4	Model	CCC_harness.mdl
5	Revision	1.71
6	Solver	Fixed-Step Discrete
7	Sample Time	0.02
8	Test Object	Passed
9	System	CCC_harness/CCC
10	User	evgen
11	Last Saved	2026-10-23 23:43:17
12	Model	CCC_lib.mdl
13	Model Version	1.12
14	System Type	Simulink Library
15	Simulation Type	MIL
16	Sample Time	0.02
17	Test Specification	Passed
18	Excel File	CCC_TST.xlsx
19	User	Evgeni Verbitski
20	Last Saved	2026-10-27 21:45:31
21	Specification Version	1.112
22	Test Environment	Passed
23	Windows	Windows 11 Pro (10.0) 64-bit
24	MATLAB	24.2 (R2024b) 64-bit
25	EverCheck	v26.1.32
26	EverTest	v26.1.115
27	Excel	Excel 16.0

Requirements

	A	B	C	D	E	F	G	H
1	Test Cases	Goal	Start	End	Test Result	REQ: CCC-1	REQ: CCC-2	REQ: CCC-3
2	BaseTest	Disable dominance.	2026-10-27 22:47:08	2026-10-27 22:47:09	Passed
3	TC1_DisableDominance	Disable dominance.	2026-10-27 22:47:09	2026-10-27 22:47:10	Passed	x
4	TC2_ResetWhileDisabled	State reset while disabled (fresh re-engagement).	2026-10-27 22:47:10	2026-10-27 22:47:11	Passed	x
5	TC3_ControlLaw	Discrete PI law vs exact references.	2026-10-27 22:47:11	2026-10-27 22:47:12	Passed		x
6	TC4_Saturation	Exact clamping at both bounds.	2026-10-27 22:47:12	2026-10-27 22:47:13	Passed		x
7	TC5_AntiWindup	Anti-windup, prompt recovery.	2026-10-27 22:47:13	2026-10-27 22:47:14	Passed		x
8	TC6_SteadyState	Steady-state constancy.	2026-10-27 22:47:14	2026-10-27 22:47:15	Passed		x
9	TC7_RapidToggle	Toggle robustness, determinism.	2026-10-27 22:47:15	2026-10-27 22:47:15	Passed			x
10	TC8_Init	Clean initialization.	2026-10-27 22:47:15	2026-10-27 22:47:16	Passed	x
11	TC9_Totality	Totality at input-range corners.	2026-10-27 22:47:16	2026-10-27 22:47:17	Passed			x
12	TC10_ParamCorners	Control law at parameter corner.	2026-10-27 22:47:17	2026-10-27 22:47:18	Passed			x
13	TC11_Reset	Off is a level reset: I held at 0 while off (internal).	2026-10-27 22:47:18	2026-10-27 22:47:19	Passed	x

Interface

	A	B	C	D	E	F	G	H	I
1	Name	Type	Data Type	Dimensions	Min	Max	Unit	Description	Format
2	setSpeed	I	single	1	0	150	km/h	Driver-requested speed
3	getSpeed	I	single	1	0	250	km/h	Current vehicle speed
4	enCruise	I	boolean	1	0	1	1	Cruise on/off flag
5	cmdThrottle	O	single	1	0	100	%	Commanded throttle position
6	pass	O	boolean	1	[]	1	1	Metamorphic Relationship
7	Ki	P	single	1	[0.5	1]	1	Integral gain (per cycle)
8	Kp	P	single	1	[1	3]	1	Proportional gain

Settings

function settings = EverTest_Settings() settings.WorkProducts.StaticAnalysisReport = 'report\SMA_CCC.html'; settings.WorkProducts.StaticAnalysisEngine = 'EC'; settings.WorkProducts.StructuralCoverageReport = 'report\COV_$T.html'; settings.WorkProducts.VerificationReport = 'report\VER_CCC.html'; settings.WorkProducts.VerificationOverview = ''; settings.WorkProducts.EverView = 'C:\class\work\speedModel\CCC\report\WEB_CCC.html'; settings.WorkProducts.RequirementPattern = 'REQ:'; settings.WorkProducts.SearchRequirementLinks = false; 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.VerificationValidation.MaximumTimeSteps = 10; settings.Simulation.DebugMode = false; settings.Simulation.RealTimeMode = false; settings.Simulation.Tolerance = '0.01'; settings.Simulation.NumberFormat = ''; settings.Simulation.MissingTimeSteps = 'Ignore'; settings.Simulation.FastRestart = false;

CCC_harness/CCC - EverTest Verification Report

Summary

Environment

Requirements

Interface

Settings

BaseTest Disable dominance.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC1_DisableDominance Disable dominance.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC2_ResetWhileDisabled State reset while disabled (fresh re-engagement).

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC3_ControlLaw Discrete PI law vs exact references.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC4_Saturation Exact clamping at both bounds.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC5_AntiWindup Anti-windup, prompt recovery.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC6_SteadyState Steady-state constancy.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC7_RapidToggle Toggle robustness, determinism.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC8_Init Clean initialization.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC9_Totality Totality at input-range corners.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC10_ParamCorners Control law at parameter corner.

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output

TC11_Reset Off is a level reset: I held at 0 while off (internal).

EverPlot(setSpeed, 'b--', getSpeed, 'bd', enCruise*10, 'k', cmdThrottle, 'ro')

Test data

Log Output