	A	B
1	Test Run	Passed
2	User	Evgeni Verbitski (evgen)
3	Date	2026-10-27
4	Start	22:45:53
5	End	22:46:00
6	Static Model Analysis	Passed
7	Static Analysis Result	100% (54/54)
8	Static Analysis Report	SMA_RES.html
9	Coverage of Design Ranges	100% (7/7)
10	Coverage of Requirements	100% (5/5)
11	Cyclomatic Complexity	2
12	Block Count	17
13	Operator Complexity	9
14	Dynamic Model Analysis	Passed
15	Cumulative Decision Coverage	100% (2/2)
16	Cumulative MCDC Coverage	n/a
17	Structural Coverage Report	COV_RES.html
18	Test Cases	100% (5/5)
19	Passed	5
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:45:52
4	Model	RES_harness.mdl
5	Revision	1.20
6	Solver	Fixed-Step Discrete
7	Sample Time	0.02
8	Test Object	Passed
9	System	RES_harness/RES
10	User	evgen
11	Last Saved	2026-10-27 22:18:09
12	Model	RES_lib.mdl
13	Model Version	1.9
14	System Type	Simulink Library
15	Simulation Type	MIL
16	Sample Time	0.02
17	Test Specification	Passed
18	Excel File	TST_RES.xlsx
19	User	Evgeni Verbitski
20	Last Saved	2026-10-27 22:19:04
21	Specification Version	1.13
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	I	J
1	Test Cases	Goal	Start	End	Test Result	REQ: RES-1	REQ: RES-2	REQ: RES-3	REQ: RES-4	REQ: RES-5
2	TC1_Drag	Air drag on a flat road grows with the square of the speed: 40, 160, 640, 1440, 2560 N plus 176.58 N rolling	2026-10-27 22:45:55	2026-10-27 22:45:56	Passed	x
3	TC2_Rolling	Rolling resistance of 176.58 N acts only while the car moves, 0 N at standstill	2026-10-27 22:45:56	2026-10-27 22:45:57	Passed		x
4	TC3_Slope	Standing car: the slope force alone, 147.15 N per percent, negative downhill	2026-10-27 22:45:57	2026-10-27 22:45:58	Passed			x
5	TC4_Sum	Drag, rolling and slope add up, with mixed signs	2026-10-27 22:45:58	2026-10-27 22:45:59	Passed				x
6	TC5_Range	Corners of the input box reach both output limits, -2207.25 N and 5273.83 N	2026-10-27 22:45:59	2026-10-27 22:46:00	Passed					x

Interface

	A	B	C	D	E	F	G	H	I
1	Name	Type	Data Type	Dimensions	Min	Max	Unit	Description	Format
2	v	I	single	1	0	85	m/s	Vehicle speed
3	roadGrade	I	single	1	-15	15	%	Road grade, positive uphill
4	fRes	O	single	1	-2207.25	5273.83	N	Total driving resistance, positive slows the car
5	DRAG_COEFF	P	single	1	0.4	0.4	N*s^2/m^2	Aerodynamic drag coefficient 0.5rhocw*A (fixed car data)
6	G	P	single	1	9.81	9.81	m/s^2	Gravity (fixed)
7	ROLL_COEFF	P	single	1	0.012	0.012	1	Rolling resistance coefficient (fixed car data)
8	VEH_MASS	P	single	1	1500	1500	kg	Vehicle mass (fixed car data)

Settings

function settings = EverTest_Settings() settings.WorkProducts.StaticAnalysisReport = 'report\SMA_RES.html'; settings.WorkProducts.StaticAnalysisEngine = 'EC'; settings.WorkProducts.StructuralCoverageReport = 'report\COV_$T.html'; settings.WorkProducts.VerificationReport = 'report\VER_RES.html'; settings.WorkProducts.VerificationOverview = ''; settings.WorkProducts.EverView = 'C:\class\work\speedModel\RES\report\WEB_RES.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 = 'Warn'; settings.Simulation.FastRestart = false;

TC1_Drag Air drag on a flat road grows with the square of the speed: 40, 160, 640, 1440, 2560 N plus 176.58 N rolling

REQ: RES-1

EverPlot(fRes)

EverPlot(v, roadGrade)

Test data

Log Output

### Warning: Redefined properties of inconsistent parameter:
###   DRAG_COEFF.Description
###   DRAG_COEFF.Min
###   DRAG_COEFF.Max
###   G.Description
###   G.Min
###   G.Max
###   ROLL_COEFF.Description
###   ROLL_COEFF.Min
###   ROLL_COEFF.Max
###   VEH_MASS.Description
### Above MATLAB workspace parameters were overwritten with the EverTest interface specification values.

RES_harness/RES - EverTest Verification Report

Summary

Environment

Requirements

Interface

Settings

TC1_Drag Air drag on a flat road grows with the square of the speed: 40, 160, 640, 1440, 2560 N plus 176.58 N rolling

EverPlot(fRes)

EverPlot(v, roadGrade)

Test data

Log Output

TC2_Rolling Rolling resistance of 176.58 N acts only while the car moves, 0 N at standstill

EverPlot(fRes)

EverPlot(v, roadGrade)

Test data

Log Output

TC3_Slope Standing car: the slope force alone, 147.15 N per percent, negative downhill

EverPlot(fRes)

EverPlot(v, roadGrade)

Test data

Log Output

TC4_Sum Drag, rolling and slope add up, with mixed signs

EverPlot(fRes)

EverPlot(v, roadGrade)

Test data

Log Output

TC5_Range Corners of the input box reach both output limits, -2207.25 N and 5273.83 N

EverPlot(fRes)

EverPlot(v, roadGrade)

Test data

Log Output