EverTest Report for LighTsControl

Test Run
User Evgeni Verbitski (TechDirector)
Date 08.05.2019
Start 18:56:24
End 18:56:37
Result Passed
Test Environment
Windows Windows 7 Professional (6.1) 64-bit
Excel Excel 2013 (15.0)
MATLAB 9.5 (R2018b) 64-bit
EverTest 4.4.692
Test Harness
User TechDirector
Date 08.05.2019 18:56:24
Model LTC_R2018b
Revision 1.564
Solver Fixed-Step Discrete
Sample Time 0.02
Start Callback n/a
Finish Callback n/a
Test Object
System LTC_R2018b/LighTsControl_var/LighTsControl
User TechDirector
Last Saved 18.03.2019 13:52:22
Model LighTsControl_lib
Model Version 1.8
System Type Simulink Library
Simulation Type MIL
Sample Time 0.02
Block Count 30
Operator Complexity 8
Cyclomatic Complexity 7
Work Products
Static Analysis Report SMA_LighTsControl.html
Structural Coverage Report COV_LighTsControl.html
Verification Report VER_LighTsControl.html
Static Model Analysis
CheckSet Test Result Passed Failed Warned Ignored
Safety_Check_IDs.m Passed 54 0 0 0
Dynamic Model Analysis
Analysis Type Test Result Passed Failed Warned Ignored Percent
Boundary Values Analysis Passed 14 0 0 0 100%
Cumulative Decision Coverage Passed 100%
Cumulative MCDC Coverage Passed 100%
Test Case Test Result Passed Failed Warned Ignored Decision MCDC
Driver Intention Switch Passed 31 0 0 0 100% 100%
AUTO State Modes Passed 22 0 0 0 81% 100%
AUTO Initial State Passed 16 0 0 0 81% 100%
AUTO State Debounce Passed 17 0 0 0 100% 100%
AUTO Light Off State Passed 22 0 0 0 100% 100%
AUTO Light ON State Passed 22 0 0 0 90% 100%
BVA Parameter Max Passed 10 0 0 0 100% 100%
BVA_Parameter_Min Passed 9 0 0 0 81% 100%

Name Type Data Type Dimensions Min Max Unit Description
light_switch I uint32 1 0 2 1
light_intensity I uint32 1 0 100 1
headlight O boolean 1 0 1 1
MinLightOff P uint32 1 30 95 lumen
MinLightOn P uint32 1 5 70 lumen
HysteresisStepsOff P uint32 1 1 1000 1
HysteresisStepsOn P uint32 1 1 1000 1

Test Cases REQ: LTC_UC1_REQ1 REQ: LTC_UC2_REQ1 REQ: LTC_UC2_REQ2 REQ: LTC_UC2_REQ3 REQ: LTC_UC2_REQ4 REQ: LTC_UC2_REQ5
Driver Intention Switch x
AUTO State Modes x
AUTO Initial State x
AUTO State Debounce x
AUTO Light Off State x
AUTO Light ON State x
BVA Parameter Max
BVA_Parameter_Min

Positive test of all switch states REQ: LTC_UC1_REQ1

🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
GOAL: Positive test of all switch states 0 0 31 0 0 30 20 2 2
REQ: LTC_UC1_REQ1 0.02 0
There are three switch positions
to express drivers intention:
0.04 0
- Headlight is ON. 0.06 0
- Headlight is OFF; 0.08 0
- Headlight is AUTO (ON if low light intensity); 0.1 0
>ON: 2 0.12 2 1 1
EverPlot(light_switch+13, 'bx', headlight+13, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.14 1
0.16 1
>OFF: 0 0.18 0 0 0
>AUTO: 1 0.24 1 31 0 0
0.26 29 0
0.28 27 0
0.3 25 0
0.32 23 0
0.34 21 0
>MinLightOn 0.36 19 0
0.38 17 0
>Switch on after delay 0.4 15 1 1
0.42 17 1
0.44 19 1
0.46 21 1
0.48 23 1
0.5 25 1
0.52 27 1
0.54 29 1
>MinLightOff 0.56 31 1
0.58 33 1
>Switch off after delay 0.6 35 0 0
0.62 37 0
0.64 39 0

REQ: LTC_UC2_REQ1

🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
REQ: LTC_UC2_REQ1 0 1 59 1 1 70 60 2 2
>MinLightOff 0.02 71 1
0.04 1
>Switch off after delay 0.06 0 0
>MinLightOn 0.08 59 0
0.1 0
>Switch on after delay 0.12 1 1
>MinLightOff 0.14 71 1
EverPlot(light_switch+57, 'bx', headlight+57, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.16 1
>Switch off after delay 0.18 0 0
0.2 0
🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
REQ: LTC_UC2_REQ1 0 1 71 0 0 70 60 2 2
EverPlot(light_switch+57, 'bx', headlight+57, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.02 0
0.04 0
0.06 0 0
>MinLightOn 0.08 59 0
0.1 0
>Switch on after delay 0.12 1 1
>MinLightOff 0.14 71 1
0.16 1
>Switch off after delay 0.18 0 0
0.2 0

REQ: LTC_UC2_REQ2

🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
REQ: LTC_UC2_REQ2; 0 1 64 1 1 70 65 3 3
>MinLightOff 0.02 71 1
EverPlot(light_switch+60, 'bx', headlight+60, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.04 1
0.06 1
>Switch Off after Debounce 0.08 0 0
0.1 0
0.12 0
0.14 0
🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
REQ: LTC_UC2_REQ2; 0 1 71 0 0 70 65 3 3
>MinLightOn 0.02 64 0
EverPlot(light_switch+60, 'bx', headlight+60, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.04 0
0.06 0
>Switch On after Debounce 0.08 1 1
0.1 1
0.12 1
0.14 1

REQ: LTC_UC2_REQ3

🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
REQ: LTC_UC2_REQ3; 0 0 62 0 0 70 65 3 5
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
AUTO 0.06 1 71 1 1
No Debouncing for initial switch ON/OFF 0.08 1
Transition ON->OFF 0.12 0 0
EverPlot(light_switch+60, 'bx', headlight+60, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.14 62 0
Transition OFF->ON 0.24 1 1
0.26 71 1
Verhinderte Transition: Debounce 0.3 62 1
0.34 71 1
Transition ON->OFF 0.4 0 0
0.42 62 0
>Verhinderte Transition: Debounce 0.46 71 0
>Manual ON 0.52 2 1 1
>AUTO 0.54 1 0 0
>No Debouncing for initial switch ON/OFF 0.56 0
0.6 0

REQ: LTC_UC2_REQ4

🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
REQ: LTC_UC2_REQ4; 0 0 55 0 0 70 60 3 5
IF (light_switch > MinLightOff) 0.02 0
&& after HysteresisStepsOff steps 0.04 0
THEN 0.06 0
headlight_auto(k) = false; 0.08 0
ELSE 0.1 0
headlight_auto(k) = headlight_auto(k-1); 0.12 0
END 0.14 0
EverPlot(light_switch+50, 'bx', headlight+50, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.16 0
>AUTO -> Init ON (headlight_auto(k-1)) 0.18 1 1 1
0.2 1
0.22 72 1
0.24 1
0.26 1
0.28 0 0
>Manual ON 0.3 2 58 1 1
>AUTO -> Init OFF (headlight_auto(k-1)) 0.32 1 0 0
0.34 0
0.36 0
0.38 0
>Transition OFF->ON 0.4 1 1
0.42 1

REQ: LTC_UC2_REQ5

🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
REQ: LTC_UC2_REQ5; 0 0 71 0 0 70 60 3 5
IF (light_switch < MinLightOn) 0.02 0
&& after HysteresisStepsOn steps 0.04 0
THEN 0.06 0
headlight_auto(k) = true; 0.08 0
ELSE 0.1 0
headlight_auto(k) = headlight_auto(k-1); 0.12 0
END 0.14 0
EverPlot(light_switch+50, 'bx', headlight+50, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.16 0
>AUTO -> Init ON (headlight_auto(k-1)) 0.18 1 0
0.2 55 0
0.22 0
0.24 0
0.26 0
0.28 0 0
>Transition OFF->ON 0.3 1 1
>Manual OFF 0.32 0 72 0 0
>AUTO -> Init ON (headlight_auto(k-1)) 0.34 1 1 1
0.36 1
>Transition ON->OFF 0.38 0 0
0.4 0
0.42 0

Boundary-Check

🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
GOAL: Boundary-Check 0 2 69 1 1 95 70 1000 1000
EverPlot(light_switch+80, 'bx', headlight+80, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 5 0 0 0
10 2 1 1
15 0 0 0
20 1 1 1
25 100 1
>Switch Off after Delay 45 0 0
50 69 0
>Switch On after Delay 70 1 1
80 1

Boundary-Check

🔍
Description t light_switch light_intensity headlight_ref headlight MinLightOff MinLightOn HysteresisStepsOff HysteresisStepsOn
GOAL: Boundary-Check 0 1 0 1 1 30 5 1 1
EverPlot(light_switch, 'bx', headlight, 'go', light_intensity, 'r' ,MinLightOff, 'k--', MinLightOn, 'k--') 0.02 1
0.04 1
0.06 33 1
>Switch Off after Delay 0.08 0 0
0.14 20 0
0.22 3 0
>Switch On after Delay 0.24 1 1
0.36 1

Generated on 08-May-2019 18:56:39 by EverTest v4.4.692, EverBits GmbH