Simulink Design Verifier Report

ujalaharnesslast_Harness1
uetim
 Simulink Design Verifier Report

Simulink Design Verifier Report: ujalaharnesslast_Harness1

uetim

Publication date 29-Jan-2024 02:35:16

2
Table of Contents
1. Summary .................................................................................................................... 1
2. Analysis Information .................................................................................................. 2
Model Information ................................................................................................. 2
Analysis Options ..................................................................................................... 2
3. Test Objectives Status ................................................................................................. 3
Objectives Undecided ............................................................................................. 3
4. Model Items .............................................................................................................. 11
Test Sequence ....................................................................................................... 11
Test Sequence."[after(1,sec) ]" ............................................................................... 12
Test Sequence."[after(1,sec) ]" ............................................................................... 12
Test Sequence."[after(1,sec) ]" ............................................................................... 12
Test Sequence."[after(1,sec) ]" ............................................................................... 12
Test Sequence."[after(1,sec) ]" ............................................................................... 13
Test Sequence."[after(1,sec) ]" ............................................................................... 13
Test Sequence."[after(1,sec) ]" ............................................................................... 13
Test Sequence."[after(1,sec) ]" ............................................................................... 13
G- system/Switch ................................................................................................... 13
Test Assessment Block.Run."[(In1== 0 && In2== 0 && In3..." ................................ 14
Test Assessment Block.Run."[(In1== 0 && In2== 0 && In3..." ................................ 14
Test Assessment Block.Run."[~in(step_1_1)]" ........................................................ 15
Test Assessment Block.Run."[(In1== 0 && In2== 1 && In3..." ................................ 15
Test Assessment Block.Run."[~in(step_1_2)]" ........................................................ 16
Test Assessment Block.Run."[(In1== 0 && In2== 1 && In3..." ................................ 16
Test Assessment Block.Run."[~in(step_1_3)]" ........................................................ 17
Test Assessment Block.Run."[(In1== 1 && In2== 0 && In3..." ................................ 17
Test Assessment Block.Run."[~in(step_1_4)]" ........................................................ 17
Test Assessment Block.Run."[(In1== 1 && In2== 0 && In3..." ................................ 18
Test Assessment Block.Run."[~in(step_1_5)]" ........................................................ 18
Test Assessment Block.Run."[(In1== 1 && In2== 1 && In3..." ................................ 19
Test Assessment Block.Run."[~in(step_1_6)]" ........................................................ 19
Test Assessment Block.Run."[~in(step_1_8)]" ........................................................ 19
Test Assessment Block.Run."[~in(step_1_7)]" ........................................................ 20
Test Assessment Block.Run ................................................................................... 20

iii
Chapter 1. Summary
Analysis Information.

Model: ujalaharnesslast_Harness1
Mode: Test generation
Test generation target: Model
Status: In progress
Elapsed Time: 2s

Objectives Status.

Number of Objectives: 130

Objectives Undecided: 130

1
Chapter 2. Analysis Information
Table of Contents
Model Information ......................................................................................................... 2
Analysis Options ............................................................................................................. 2

Model Information
File: ujalaharnesslast_Harness1
Version: 1.9
Time Stamp: Mon Jan 29 02:31:32 2024
Author: uetim

Analysis Options
Mode: TestGeneration
Test generation target: Model
Test Suite Optimization: CombinedObjectives (Nonlinear Extended)
Maximum Testcase Steps: 10000time steps
Test Conditions: UseLocalSettings
Test Objectives: UseLocalSettings
Model Coverage Objectives: ConditionDecision
Include Relational Boundary Objectiv- off
es:
Maximum Analysis Time: 300s
Block Replacement: off
Parameters Analysis: off
Include expected output values: off
Randomize data that do not affect the off
outcome:
Save Data: on
Save Harness: off
Save Report: off

2
Chapter 3. Test Objectives Status
Table of Contents
Objectives Undecided ..................................................................................................... 3

Objectives Undecided
Simulink Design Verifier was not able to process these objectives with the current options.

# Type Model Item Description Analys- Test Ca-

is Time se
(sec)
1 Decisi- Test Sequence Chart: Substate executed -1 n/a
on State "step_1"
2 Decisi- Test Sequence Chart: Substate executed -1 n/a
on State "step_2"
3 Decisi- Test Sequence Chart: Substate executed -1 n/a
on State "step_3"
4 Decisi- Test Sequence Chart: Substate executed -1 n/a
on State "step_4"
5 Decisi- Test Sequence Chart: Substate executed -1 n/a
on State "step_5"
6 Decisi- Test Sequence Chart: Substate executed -1 n/a
on State "step_6"
7 Decisi- Test Sequence Chart: Substate executed -1 n/a
on State "step_7"
8 Decisi- Test Sequence Chart: Substate executed -1 n/a
on State "step_8"
9 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) F -1 n/a
on c) ]"
10 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) T -1 n/a
on c) ]"
11 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) F -1 n/a
on c) ]"
12 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) T -1 n/a
on c) ]"
13 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) F -1 n/a
on c) ]"
14 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) T -1 n/a
on c) ]"
15 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) F -1 n/a
on c) ]"
16 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) T -1 n/a
on c) ]"

3
 Test Objectives Status

# Type Model Item Description Analys- Test Ca-

is Time se
(sec)
17 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) F -1 n/a
on c) ]"
18 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) T -1 n/a
on c) ]"
19 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) F -1 n/a
on c) ]"
20 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) T -1 n/a
on c) ]"
21 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) F -1 n/a
on c) ]"
22 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) T -1 n/a
on c) ]"
23 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) F -1 n/a
on c) ]"
24 Decisi- Test Sequence."[after(1,se- Transition: after(1,sec) T -1 n/a
on c) ]"
25 Decisi- G- system/Switch trigger > threshold false -1 n/a
on (output is from 3rd input
port)
26 Decisi- G- system/Switch trigger > threshold true (o- -1 n/a
on utput is from 1st input po-
rt)
27 Conditi- Test Assessment Block.Ru- Transition: In1== 0 T -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
28 Conditi- Test Assessment Block.Ru- Transition: In1== 0 F -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
29 Conditi- Test Assessment Block.Ru- Transition: In2== 0 T -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
30 Conditi- Test Assessment Block.Ru- Transition: In2== 0 F -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
31 Conditi- Test Assessment Block.Ru- Transition: In3== 0 T -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
32 Conditi- Test Assessment Block.Ru- Transition: In3== 0 F -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
33 Decisi- Test Assessment Block.Ru- Transition: (In1== 0 && In- -1 n/a
on n."[(In1== 0 && In2== 0 && 2== 0 && In3== 0) F
In3..."

4
 Test Objectives Status

# Type Model Item Description Analys- Test Ca-

is Time se
(sec)
34 Decisi- Test Assessment Block.Ru- Transition: (In1== 0 && In- -1 n/a
on n."[(In1== 0 && In2== 0 && 2== 0 && In3== 0) T
In3..."
35 Conditi- Test Assessment Block.Ru- Transition: In1== 0 T -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
36 Conditi- Test Assessment Block.Ru- Transition: In1== 0 F -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
37 Conditi- Test Assessment Block.Ru- Transition: In2== 0 T -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
38 Conditi- Test Assessment Block.Ru- Transition: In2== 0 F -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
39 Conditi- Test Assessment Block.Ru- Transition: In3== 1 T -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
40 Conditi- Test Assessment Block.Ru- Transition: In3== 1 F -1 n/a
on n."[(In1== 0 && In2== 0 &&
In3..."
41 Decisi- Test Assessment Block.Ru- Transition: (In1== 0 && In- -1 n/a
on n."[(In1== 0 && In2== 0 && 2== 0 && In3== 1) F
In3..."
42 Decisi- Test Assessment Block.Ru- Transition: (In1== 0 && In- -1 n/a
on n."[(In1== 0 && In2== 0 && 2== 0 && In3== 1) T
In3..."
43 Conditi- Test Assessment Block.Ru- Transition: in(step_1_1) T -1 n/a
on n."[~in(step_1_1)]"
44 Conditi- Test Assessment Block.Ru- Transition: in(step_1_1) F -1 n/a
on n."[~in(step_1_1)]"
45 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_1) F -1 n/a
on n."[~in(step_1_1)]"
46 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_1) T -1 n/a
on n."[~in(step_1_1)]"
47 Conditi- Test Assessment Block.Ru- Transition: In1== 0 T -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
48 Conditi- Test Assessment Block.Ru- Transition: In1== 0 F -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
49 Conditi- Test Assessment Block.Ru- Transition: In2== 1 T -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."

5
 Test Objectives Status

# Type Model Item Description Analys- Test Ca-

is Time se
(sec)
50 Conditi- Test Assessment Block.Ru- Transition: In2== 1 F -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
51 Conditi- Test Assessment Block.Ru- Transition: In3== 0 T -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
52 Conditi- Test Assessment Block.Ru- Transition: In3== 0 F -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
53 Decisi- Test Assessment Block.Ru- Transition: (In1== 0 && In- -1 n/a
on n."[(In1== 0 && In2== 1 && 2== 1 && In3== 0) F
In3..."
54 Decisi- Test Assessment Block.Ru- Transition: (In1== 0 && In- -1 n/a
on n."[(In1== 0 && In2== 1 && 2== 1 && In3== 0) T
In3..."
55 Conditi- Test Assessment Block.Ru- Transition: in(step_1_2) T -1 n/a
on n."[~in(step_1_2)]"
56 Conditi- Test Assessment Block.Ru- Transition: in(step_1_2) F -1 n/a
on n."[~in(step_1_2)]"
57 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_2) F -1 n/a
on n."[~in(step_1_2)]"
58 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_2) T -1 n/a
on n."[~in(step_1_2)]"
59 Conditi- Test Assessment Block.Ru- Transition: In1== 0 T -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
60 Conditi- Test Assessment Block.Ru- Transition: In1== 0 F -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
61 Conditi- Test Assessment Block.Ru- Transition: In2== 1 T -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
62 Conditi- Test Assessment Block.Ru- Transition: In2== 1 F -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
63 Conditi- Test Assessment Block.Ru- Transition: In3== 1 T -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
64 Conditi- Test Assessment Block.Ru- Transition: In3== 1 F -1 n/a
on n."[(In1== 0 && In2== 1 &&
In3..."
65 Decisi- Test Assessment Block.Ru- Transition: (In1== 0 && In- -1 n/a
on n."[(In1== 0 && In2== 1 && 2== 1 && In3== 1) F
In3..."

6
 Test Objectives Status

# Type Model Item Description Analys- Test Ca-

is Time se
(sec)
66 Decisi- Test Assessment Block.Ru- Transition: (In1== 0 && In- -1 n/a
on n."[(In1== 0 && In2== 1 && 2== 1 && In3== 1) T
In3..."
67 Conditi- Test Assessment Block.Ru- Transition: in(step_1_3) T -1 n/a
on n."[~in(step_1_3)]"
68 Conditi- Test Assessment Block.Ru- Transition: in(step_1_3) F -1 n/a
on n."[~in(step_1_3)]"
69 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_3) F -1 n/a
on n."[~in(step_1_3)]"
70 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_3) T -1 n/a
on n."[~in(step_1_3)]"
71 Conditi- Test Assessment Block.Ru- Transition: In1== 1 T -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
72 Conditi- Test Assessment Block.Ru- Transition: In1== 1 F -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
73 Conditi- Test Assessment Block.Ru- Transition: In2== 0 T -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
74 Conditi- Test Assessment Block.Ru- Transition: In2== 0 F -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
75 Conditi- Test Assessment Block.Ru- Transition: In3== 0 T -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
76 Conditi- Test Assessment Block.Ru- Transition: In3== 0 F -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
77 Decisi- Test Assessment Block.Ru- Transition: (In1== 1 && In- -1 n/a
on n."[(In1== 1 && In2== 0 && 2== 0 && In3== 0) F
In3..."
78 Decisi- Test Assessment Block.Ru- Transition: (In1== 1 && In- -1 n/a
on n."[(In1== 1 && In2== 0 && 2== 0 && In3== 0) T
In3..."
79 Conditi- Test Assessment Block.Ru- Transition: in(step_1_4) T -1 n/a
on n."[~in(step_1_4)]"
80 Conditi- Test Assessment Block.Ru- Transition: in(step_1_4) F -1 n/a
on n."[~in(step_1_4)]"
81 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_4) F -1 n/a
on n."[~in(step_1_4)]"
82 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_4) T -1 n/a
on n."[~in(step_1_4)]"

7
 Test Objectives Status

# Type Model Item Description Analys- Test Ca-

is Time se
(sec)
83 Conditi- Test Assessment Block.Ru- Transition: In1== 1 T -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
84 Conditi- Test Assessment Block.Ru- Transition: In1== 1 F -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
85 Conditi- Test Assessment Block.Ru- Transition: In2== 0 T -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
86 Conditi- Test Assessment Block.Ru- Transition: In2== 0 F -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
87 Conditi- Test Assessment Block.Ru- Transition: In3== 1 T -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
88 Conditi- Test Assessment Block.Ru- Transition: In3== 1 F -1 n/a
on n."[(In1== 1 && In2== 0 &&
In3..."
89 Decisi- Test Assessment Block.Ru- Transition: (In1== 1 && In- -1 n/a
on n."[(In1== 1 && In2== 0 && 2== 0 && In3== 1) F
In3..."
90 Decisi- Test Assessment Block.Ru- Transition: (In1== 1 && In- -1 n/a
on n."[(In1== 1 && In2== 0 && 2== 0 && In3== 1) T
In3..."
91 Conditi- Test Assessment Block.Ru- Transition: in(step_1_5) T -1 n/a
on n."[~in(step_1_5)]"
92 Conditi- Test Assessment Block.Ru- Transition: in(step_1_5) F -1 n/a
on n."[~in(step_1_5)]"
93 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_5) F -1 n/a
on n."[~in(step_1_5)]"
94 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_5) T -1 n/a
on n."[~in(step_1_5)]"
95 Conditi- Test Assessment Block.Ru- Transition: In1== 1 T -1 n/a
on n."[(In1== 1 && In2== 1 &&
In3..."
96 Conditi- Test Assessment Block.Ru- Transition: In1== 1 F -1 n/a
on n."[(In1== 1 && In2== 1 &&
In3..."
97 Conditi- Test Assessment Block.Ru- Transition: In2== 1 T -1 n/a
on n."[(In1== 1 && In2== 1 &&
In3..."
98 Conditi- Test Assessment Block.Ru- Transition: In2== 1 F -1 n/a
on n."[(In1== 1 && In2== 1 &&
In3..."

8
 Test Objectives Status

# Type Model Item Description Analys- Test Ca-

is Time se
(sec)
99 Conditi- Test Assessment Block.Ru- Transition: In3== 0 T -1 n/a
on n."[(In1== 1 && In2== 1 &&
In3..."
100 Conditi- Test Assessment Block.Ru- Transition: In3== 0 F -1 n/a
on n."[(In1== 1 && In2== 1 &&
In3..."
101 Decisi- Test Assessment Block.Ru- Transition: (In1== 1 && In- -1 n/a
on n."[(In1== 1 && In2== 1 && 2== 1 && In3== 0) F
In3..."
102 Decisi- Test Assessment Block.Ru- Transition: (In1== 1 && In- -1 n/a
on n."[(In1== 1 && In2== 1 && 2== 1 && In3== 0) T
In3..."
103 Conditi- Test Assessment Block.Ru- Transition: in(step_1_6) T -1 n/a
on n."[~in(step_1_6)]"
104 Conditi- Test Assessment Block.Ru- Transition: in(step_1_6) F -1 n/a
on n."[~in(step_1_6)]"
105 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_6) F -1 n/a
on n."[~in(step_1_6)]"
106 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_6) T -1 n/a
on n."[~in(step_1_6)]"
107 Conditi- Test Assessment Block.Ru- Transition: in(step_1_8) T -1 n/a
on n."[~in(step_1_8)]"
108 Conditi- Test Assessment Block.Ru- Transition: in(step_1_8) F -1 n/a
on n."[~in(step_1_8)]"
109 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_8) F -1 n/a
on n."[~in(step_1_8)]"
110 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_8) T -1 n/a
on n."[~in(step_1_8)]"
111 Conditi- Test Assessment Block.Ru- Transition: in(step_1_7) T -1 n/a
on n."[~in(step_1_7)]"
112 Conditi- Test Assessment Block.Ru- Transition: in(step_1_7) F -1 n/a
on n."[~in(step_1_7)]"
113 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_7) F -1 n/a
on n."[~in(step_1_7)]"
114 Decisi- Test Assessment Block.Ru- Transition: ~in(step_1_7) T -1 n/a
on n."[~in(step_1_7)]"
115 Decisi- Test Assessment Block.Run State: Substate executed -1 n/a
on State "step_1_1"
116 Decisi- Test Assessment Block.Run State: Substate executed -1 n/a
on State "step_1_2"
117 Decisi- Test Assessment Block.Run State: Substate executed -1 n/a
on State "step_1_3"

9
 Test Objectives Status

# Type Model Item Description Analys- Test Ca-

is Time se
(sec)
118 Decisi- Test Assessment Block.Run State: Substate executed -1 n/a
on State "step_1_4"
119 Decisi- Test Assessment Block.Run State: Substate executed -1 n/a
on State "step_1_5"
120 Decisi- Test Assessment Block.Run State: Substate executed -1 n/a
on State "step_1_6"
121 Decisi- Test Assessment Block.Run State: Substate executed -1 n/a
on State "step_1_7"
122 Decisi- Test Assessment Block.Run State: Substate executed -1 n/a
on State "step_1_8"
123 Decisi- Test Assessment Block.Run State: Substate exited wh- -1 n/a
on en parent exits State "step-
_1_1"
124 Decisi- Test Assessment Block.Run State: Substate exited wh- -1 n/a
on en parent exits State "step-
_1_2"
125 Decisi- Test Assessment Block.Run State: Substate exited wh- -1 n/a
on en parent exits State "step-
_1_3"
126 Decisi- Test Assessment Block.Run State: Substate exited wh- -1 n/a
on en parent exits State "step-
_1_4"
127 Decisi- Test Assessment Block.Run State: Substate exited wh- -1 n/a
on en parent exits State "step-
_1_5"
128 Decisi- Test Assessment Block.Run State: Substate exited wh- -1 n/a
on en parent exits State "step-
_1_6"
129 Decisi- Test Assessment Block.Run State: Substate exited wh- -1 n/a
on en parent exits State "step-
_1_7"
130 Decisi- Test Assessment Block.Run State: Substate exited wh- -1 n/a
on en parent exits State "step-
_1_8"

10
Chapter 4. Model Items

Table of Contents
Test Sequence ............................................................................................................... 11
Test Sequence."[after(1,sec) ]" ....................................................................................... 12
Test Sequence."[after(1,sec) ]" ....................................................................................... 12
Test Sequence."[after(1,sec) ]" ....................................................................................... 12
Test Sequence."[after(1,sec) ]" ....................................................................................... 12
Test Sequence."[after(1,sec) ]" ....................................................................................... 13
Test Sequence."[after(1,sec) ]" ....................................................................................... 13
Test Sequence."[after(1,sec) ]" ....................................................................................... 13
Test Sequence."[after(1,sec) ]" ....................................................................................... 13
G- system/Switch ........................................................................................................... 13
Test Assessment Block.Run."[(In1== 0 && In2== 0 && In3..." ........................................ 14
Test Assessment Block.Run."[(In1== 0 && In2== 0 && In3..." ........................................ 14
Test Assessment Block.Run."[~in(step_1_1)]" ................................................................ 15
Test Assessment Block.Run."[(In1== 0 && In2== 1 && In3..." ........................................ 15
Test Assessment Block.Run."[~in(step_1_2)]" ................................................................ 16
Test Assessment Block.Run."[(In1== 0 && In2== 1 && In3..." ........................................ 16
Test Assessment Block.Run."[~in(step_1_3)]" ................................................................ 17
Test Assessment Block.Run."[(In1== 1 && In2== 0 && In3..." ........................................ 17
Test Assessment Block.Run."[~in(step_1_4)]" ................................................................ 17
Test Assessment Block.Run."[(In1== 1 && In2== 0 && In3..." ........................................ 18
Test Assessment Block.Run."[~in(step_1_5)]" ................................................................ 18
Test Assessment Block.Run."[(In1== 1 && In2== 1 && In3..." ........................................ 19
Test Assessment Block.Run."[~in(step_1_6)]" ................................................................ 19
Test Assessment Block.Run."[~in(step_1_8)]" ................................................................ 19
Test Assessment Block.Run."[~in(step_1_7)]" ................................................................ 20
Test Assessment Block.Run ........................................................................................... 20

This section presents, for each object in the model defining coverage objectives, the list
of objectives and their individual status at the end of the analysis. It should match the
coverage report obtained from running the generated test suite on the model, either from
the harness model or by using the sldvruntest command.

Test Sequence
#: Type Description Status Test
Case
1 Decision Chart: Substate execut- Undec- n/a
ed State "step_1" ided
2 Decision Chart: Substate execut- Undec- n/a
ed State "step_2" ided
3 Decision Chart: Substate execut- Undec- n/a
ed State "step_3" ided
4 Decision Chart: Substate execut- Undec- n/a
ed State "step_4" ided

11
 Model Items

#: Type Description Status Test

Case
5 Decision Chart: Substate execut- Undec- n/a
ed State "step_5" ided
6 Decision Chart: Substate execut- Undec- n/a
ed State "step_6" ided
7 Decision Chart: Substate execut- Undec- n/a
ed State "step_7" ided
8 Decision Chart: Substate execut- Undec- n/a
ed State "step_8" ided

Test Sequence."[after(1,sec) ]"

#: Type Description Status Test
Case
9 Decision Transition: after(1,sec) Undec- n/a
F ided
10 Decision Transition: after(1,sec) Undec- n/a
T ided

Test Sequence."[after(1,sec) ]"

#: Type Description Status Test
Case
11 Decision Transition: after(1,sec) Undec- n/a
F ided
12 Decision Transition: after(1,sec) Undec- n/a
T ided

Test Sequence."[after(1,sec) ]"

#: Type Description Status Test
Case
13 Decision Transition: after(1,sec) Undec- n/a
F ided
14 Decision Transition: after(1,sec) Undec- n/a
T ided

Test Sequence."[after(1,sec) ]"

#: Type Description Status Test
Case
15 Decision Transition: after(1,sec) Undec- n/a
F ided
16 Decision Transition: after(1,sec) Undec- n/a
T ided

12
 Model Items

Test Sequence."[after(1,sec) ]"

#: Type Description Status Test
Case
17 Decision Transition: after(1,sec) Undec- n/a
F ided
18 Decision Transition: after(1,sec) Undec- n/a
T ided

Test Sequence."[after(1,sec) ]"

#: Type Description Status Test
Case
19 Decision Transition: after(1,sec) Undec- n/a
F ided
20 Decision Transition: after(1,sec) Undec- n/a
T ided

Test Sequence."[after(1,sec) ]"

#: Type Description Status Test
Case
21 Decision Transition: after(1,sec) Undec- n/a
F ided
22 Decision Transition: after(1,sec) Undec- n/a
T ided

Test Sequence."[after(1,sec) ]"

#: Type Description Status Test
Case
23 Decision Transition: after(1,sec) Undec- n/a
F ided
24 Decision Transition: after(1,sec) Undec- n/a
T ided

G- system/Switch
#: Type Description Status Test
Case
25 Decision trigger > threshold fal- Undec- n/a
se (output is from 3rd ided
input port)

13
 Model Items

#: Type Description Status Test

Case
26 Decision trigger > threshold tr- Undec- n/a
ue (output is from 1st ided
input port)

Test Assessment Block.Run."[(In1== 0 && In2-

== 0 && In3..."
#: Type Description Status Test
Case
27 Condition Transition: In1== 0 T Undec- n/a
ided
28 Condition Transition: In1== 0 F Undec- n/a
ided
29 Condition Transition: In2== 0 T Undec- n/a
ided
30 Condition Transition: In2== 0 F Undec- n/a
ided
31 Condition Transition: In3== 0 T Undec- n/a
ided
32 Condition Transition: In3== 0 F Undec- n/a
ided
33 Decision Transition: (In1== 0 Undec- n/a
&& In2== 0 && In3== ided
0) F
34 Decision Transition: (In1== 0 Undec- n/a
&& In2== 0 && In3== ided
0) T

Test Assessment Block.Run."[(In1== 0 && In2-

== 0 && In3..."
#: Type Description Status Test
Case
35 Condition Transition: In1== 0 T Undec- n/a
ided
36 Condition Transition: In1== 0 F Undec- n/a
ided
37 Condition Transition: In2== 0 T Undec- n/a
ided
38 Condition Transition: In2== 0 F Undec- n/a
ided
39 Condition Transition: In3== 1 T Undec- n/a
ided

14
 Model Items

#: Type Description Status Test

Case
40 Condition Transition: In3== 1 F Undec- n/a
ided
41 Decision Transition: (In1== 0 Undec- n/a
&& In2== 0 && In3== ided
1) F
42 Decision Transition: (In1== 0 Undec- n/a
&& In2== 0 && In3== ided
1) T

Test Assessment Block.Run."[~in(step_1_1)]"

#: Type Description Status Test
Case
43 Condition Transition: in(step_1_- Undec- n/a
1) T ided
44 Condition Transition: in(step_1_- Undec- n/a
1) F ided
45 Decision Transition: ~in(step_1- Undec- n/a
_1) F ided
46 Decision Transition: ~in(step_1- Undec- n/a
_1) T ided

Test Assessment Block.Run."[(In1== 0 && In2-

== 1 && In3..."
#: Type Description Status Test
Case
47 Condition Transition: In1== 0 T Undec- n/a
ided
48 Condition Transition: In1== 0 F Undec- n/a
ided
49 Condition Transition: In2== 1 T Undec- n/a
ided
50 Condition Transition: In2== 1 F Undec- n/a
ided
51 Condition Transition: In3== 0 T Undec- n/a
ided
52 Condition Transition: In3== 0 F Undec- n/a
ided
53 Decision Transition: (In1== 0 Undec- n/a
&& In2== 1 && In3== ided
0) F

15
 Model Items

#: Type Description Status Test

Case
54 Decision Transition: (In1== 0 Undec- n/a
&& In2== 1 && In3== ided
0) T

Test Assessment Block.Run."[~in(step_1_2)]"

#: Type Description Status Test
Case
55 Condition Transition: in(step_1_- Undec- n/a
2) T ided
56 Condition Transition: in(step_1_- Undec- n/a
2) F ided
57 Decision Transition: ~in(step_1- Undec- n/a
_2) F ided
58 Decision Transition: ~in(step_1- Undec- n/a
_2) T ided

Test Assessment Block.Run."[(In1== 0 && In2-

== 1 && In3..."
#: Type Description Status Test
Case
59 Condition Transition: In1== 0 T Undec- n/a
ided
60 Condition Transition: In1== 0 F Undec- n/a
ided
61 Condition Transition: In2== 1 T Undec- n/a
ided
62 Condition Transition: In2== 1 F Undec- n/a
ided
63 Condition Transition: In3== 1 T Undec- n/a
ided
64 Condition Transition: In3== 1 F Undec- n/a
ided
65 Decision Transition: (In1== 0 Undec- n/a
&& In2== 1 && In3== ided
1) F
66 Decision Transition: (In1== 0 Undec- n/a
&& In2== 1 && In3== ided
1) T

16
 Model Items

Test Assessment Block.Run."[~in(step_1_3)]"

#: Type Description Status Test
Case
67 Condition Transition: in(step_1_- Undec- n/a
3) T ided
68 Condition Transition: in(step_1_- Undec- n/a
3) F ided
69 Decision Transition: ~in(step_1- Undec- n/a
_3) F ided
70 Decision Transition: ~in(step_1- Undec- n/a
_3) T ided

Test Assessment Block.Run."[(In1== 1 && In2-

== 0 && In3..."
#: Type Description Status Test
Case
71 Condition Transition: In1== 1 T Undec- n/a
ided
72 Condition Transition: In1== 1 F Undec- n/a
ided
73 Condition Transition: In2== 0 T Undec- n/a
ided
74 Condition Transition: In2== 0 F Undec- n/a
ided
75 Condition Transition: In3== 0 T Undec- n/a
ided
76 Condition Transition: In3== 0 F Undec- n/a
ided
77 Decision Transition: (In1== 1 Undec- n/a
&& In2== 0 && In3== ided
0) F
78 Decision Transition: (In1== 1 Undec- n/a
&& In2== 0 && In3== ided
0) T

Test Assessment Block.Run."[~in(step_1_4)]"

#: Type Description Status Test
Case
79 Condition Transition: in(step_1_- Undec- n/a
4) T ided

17
 Model Items

#: Type Description Status Test

Case
80 Condition Transition: in(step_1_- Undec- n/a
4) F ided
81 Decision Transition: ~in(step_1- Undec- n/a
_4) F ided
82 Decision Transition: ~in(step_1- Undec- n/a
_4) T ided

Test Assessment Block.Run."[(In1== 1 && In2-

== 0 && In3..."
#: Type Description Status Test
Case
83 Condition Transition: In1== 1 T Undec- n/a
ided
84 Condition Transition: In1== 1 F Undec- n/a
ided
85 Condition Transition: In2== 0 T Undec- n/a
ided
86 Condition Transition: In2== 0 F Undec- n/a
ided
87 Condition Transition: In3== 1 T Undec- n/a
ided
88 Condition Transition: In3== 1 F Undec- n/a
ided
89 Decision Transition: (In1== 1 Undec- n/a
&& In2== 0 && In3== ided
1) F
90 Decision Transition: (In1== 1 Undec- n/a
&& In2== 0 && In3== ided
1) T

Test Assessment Block.Run."[~in(step_1_5)]"

#: Type Description Status Test
Case
91 Condition Transition: in(step_1_- Undec- n/a
5) T ided
92 Condition Transition: in(step_1_- Undec- n/a
5) F ided
93 Decision Transition: ~in(step_1- Undec- n/a
_5) F ided
94 Decision Transition: ~in(step_1- Undec- n/a
_5) T ided

18
 Model Items

Test Assessment Block.Run."[(In1== 1 && In2-

== 1 && In3..."
#: Type Description Status Test
Case
95 Condition Transition: In1== 1 T Undec- n/a
ided
96 Condition Transition: In1== 1 F Undec- n/a
ided
97 Condition Transition: In2== 1 T Undec- n/a
ided
98 Condition Transition: In2== 1 F Undec- n/a
ided
99 Condition Transition: In3== 0 T Undec- n/a
ided
100 Condition Transition: In3== 0 F Undec- n/a
ided
101 Decision Transition: (In1== 1 Undec- n/a
&& In2== 1 && In3== ided
0) F
102 Decision Transition: (In1== 1 Undec- n/a
&& In2== 1 && In3== ided
0) T

Test Assessment Block.Run."[~in(step_1_6)]"

#: Type Description Status Test
Case
103 Condition Transition: in(step_1_- Undec- n/a
6) T ided
104 Condition Transition: in(step_1_- Undec- n/a
6) F ided
105 Decision Transition: ~in(step_1- Undec- n/a
_6) F ided
106 Decision Transition: ~in(step_1- Undec- n/a
_6) T ided

Test Assessment Block.Run."[~in(step_1_8)]"

#: Type Description Status Test
Case
107 Condition Transition: in(step_1_- Undec- n/a
8) T ided

19
 Model Items

#: Type Description Status Test

Case
108 Condition Transition: in(step_1_- Undec- n/a
8) F ided
109 Decision Transition: ~in(step_1- Undec- n/a
_8) F ided
110 Decision Transition: ~in(step_1- Undec- n/a
_8) T ided

Test Assessment Block.Run."[~in(step_1_7)]"

#: Type Description Status Test
Case
111 Condition Transition: in(step_1_- Undec- n/a
7) T ided
112 Condition Transition: in(step_1_- Undec- n/a
7) F ided
113 Decision Transition: ~in(step_1- Undec- n/a
_7) F ided
114 Decision Transition: ~in(step_1- Undec- n/a
_7) T ided

Test Assessment Block.Run

#: Type Description Status Test
Case
115 Decision State: Substate execut- Undec- n/a
ed State "step_1_1" ided
116 Decision State: Substate execut- Undec- n/a
ed State "step_1_2" ided
117 Decision State: Substate execut- Undec- n/a
ed State "step_1_3" ided
118 Decision State: Substate execut- Undec- n/a
ed State "step_1_4" ided
119 Decision State: Substate execut- Undec- n/a
ed State "step_1_5" ided
120 Decision State: Substate execut- Undec- n/a
ed State "step_1_6" ided
121 Decision State: Substate execut- Undec- n/a
ed State "step_1_7" ided
122 Decision State: Substate execut- Undec- n/a
ed State "step_1_8" ided
123 Decision State: Substate exited Undec- n/a
when parent exits Sta- ided
te "step_1_1"

20
 Model Items

#: Type Description Status Test

Case
124 Decision State: Substate exited Undec- n/a
when parent exits Sta- ided
te "step_1_2"
125 Decision State: Substate exited Undec- n/a
when parent exits Sta- ided
te "step_1_3"
126 Decision State: Substate exited Undec- n/a
when parent exits Sta- ided
te "step_1_4"
127 Decision State: Substate exited Undec- n/a
when parent exits Sta- ided
te "step_1_5"
128 Decision State: Substate exited Undec- n/a
when parent exits Sta- ided
te "step_1_6"
129 Decision State: Substate exited Undec- n/a
when parent exits Sta- ided
te "step_1_7"
130 Decision State: Substate exited Undec- n/a
when parent exits Sta- ided
te "step_1_8"

21