# Coverage Report for automats

## Table of Contents

1. Analysis Information
2. Tests
3. Summary
4. Details

## Analysis Information

### Coverage Data Information

Collected in version | (R2020b)

### Model Information

Model version | 1.36
Author | macis
Last saved | Thu May 13 22:24:52 2021

### Simulation Optimization Options

Default parameter behavior | inlined
Block reduction | forced off
Conditional branch optimization | on

### Coverage Options

Analyzed model | automats
Logic block short circuiting | off

## Tests

Test# | Started execution | Ended execution
Test 1 | 13-May-2021 22:57:28 | 13-May-2021 22:57:47

## Summary

Model Hierarchy/Complexity | Test 1 |
|  | Decision | Condition | Execution |
1. automats | 39 | 97% |
| 100% |
| 100% |
2. . . . Subsystem | 38 | 97% |
| 100% |
| 100% |
3. . . . . . . Riadenie | 8 | 100% |
| 100% |
| 100% |
4. . . . . . . . . . Regulator | 8 | 100% |
| 100% |
| 100% |
5. . . . . . . . . . . . . Saturation Dynamic1 | 2 | 100% |
| NA | 100% |
6. . . . . . . Stavovy automat | 30 | 96% |
| 100% |
| NA |
7. . . . . . . . . . Stavovy automat | 30 | 96% |
| 100% |
| NA |
8. . . . . . . . . . . . . SF: Subsystem/Stavovy automat/Stavovy automat | 29 | 96% |
| 100% |
| NA |
9. . . . . . . . . . . . . . . . SF: Initialization | 2 | 50% |
| NA | NA |
10. . . . . . . . . . . . . . . . SF: Starting_state | 3 | 100% |
| NA | NA |
11. . . . . . . . . . . . . . . . SF: check_phases | 3 | 100% |
| NA | NA |

## Details

### 1. Model "automats"

Child Systems: | Subsystem
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 1 | 39
Condition | NA | 100% (32/32) condition outcomes
Decision | NA | 97% (59/61) decision outcomes
Execution | NA | 100% (38/38) objective outcomes

### 2. SubSystem block "Subsystem"

Justify or Exclude
Parent: | /automats
Child Systems: | Riadenie, Stavovy automat
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 0 | 38
Condition | NA | 100% (32/32) condition outcomes
Decision | NA | 97% (59/61) decision outcomes
Execution | NA | 100% (38/38) objective outcomes

### 3. SubSystem block "Riadenie"

Justify or Exclude
Parent: | automats/Subsystem
Child Systems: | Regulator
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 0 | 8
Condition | NA | 100% (20/20) condition outcomes
Decision | NA | 100% (14/14) decision outcomes
Execution | NA | 100% (38/38) objective outcomes

#### Full Coverage

Model Object | Metric
Logic block "OR" | Condition, Execution
RelationalOperator block "Equal" | Condition, Execution
RelationalOperator block "Equal1" | Condition, Execution
Constant block "Constant10" | Execution
Constant block "Constant9" | Execution

### 4. SubSystem block "Regulator"

Justify or Exclude
Parent: | automats/Subsystem/Riadenie
Child Systems: | Saturation Dynamic1
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 1 | 8
Condition | NA | 100% (12/12) condition outcomes
Decision | NA | 100% (14/14) decision outcomes
Execution | NA | 100% (33/33) objective outcomes

#### Full Coverage

Model Object | Metric
Abs block "Abs2" | Decision, Execution
Logic block "OR" | Condition, Execution
Switch block "Switch1" | Decision, Execution
Switch block "Switch2" | Decision, Execution
Switch block "Switch3" | Decision, Execution
Switch block "Switch4" | Decision, Execution
Product block "Product2" | Execution
Product block "Product4" | Execution
Sum block "Add1" | Execution
Sum block "Add3" | Execution
Sum block "Add5" | Execution
Sum block "Add6" | Execution
Sum block "Sum2" | Execution
RelationalOperator block "Equal" | Condition, Execution
RelationalOperator block "Relational Operator1" | Condition, Execution
RelationalOperator block "Relational Operator2" | Condition, Execution
RelationalOperator block "Relational Operator3" | Condition, Execution
Constant block "Constant1" | Execution
Constant block "Constant10" | Execution
Constant block "Constant2" | Execution
Constant block "Constant3" | Execution
Constant block "Constant4" | Execution
Constant block "Constant5" | Execution
Constant block "Constant6" | Execution
Constant block "Constant7" | Execution
Constant block "Constant8" | Execution
Constant block "Constant9" | Execution
Memory block "Memory1" | Execution
Memory block "Memory2" | Execution
Rounding block "Round" | Execution

### 5. SubSystem block "Saturation Dynamic1"

Justify or Exclude
Parent: | automats/Subsystem/Riadenie/Regulator
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 0 | 2
Decision | NA | 100% (4/4) decision outcomes
Execution | NA | 100% (3/3) objective outcomes

#### Full Coverage

Model Object | Metric
Switch block "Switch" | Decision, Execution
Switch block "Switch2" | Decision, Execution
S-Function block "Data Type Propagation" | Execution

### 6. SubSystem block "Stavovy automat"

Justify or Exclude
Parent: | automats/Subsystem
Child Systems: | Stavovy automat
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 0 | 30
Condition | NA | 100% (12/12) condition outcomes
Decision | NA | 96% (45/47) decision outcomes

### 7. SubSystem block "Stavovy automat"

Justify or Exclude
Parent: | automats/Subsystem/Stavovy automat
Child Systems: | Subsystem/Stavovy automat/Stavovy automat
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 1 | 30
Condition | NA | 100% (12/12) condition outcomes
Decision | NA | 96% (45/47) decision outcomes

### 8. Chart "Subsystem/Stavovy automat/Stavovy automa..."

Justify or Exclude
Parent: | automats/Subsystem/Stavovy automat/Stavovy automat
Child Systems: | Initialization, Starting_state, check_phases
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 6 | 29
Condition | NA | 100% (12/12) condition outcomes
Decision | 100% (7/7) decision outcomes | 96% (45/47) decision outcomes
Decisions analyzed
Substate executed | 100%
State "Fault" | 4/13227
State "Initialization" | 1134/13227
State "Ready" | 15/13227
State "Running" | 8/13227
State "Service" | 4/13227
State "Starting_state" | 12009/13227
State "Stopping" | 53/13227

#### Full Coverage

Model Object | Metric
Transition "[start == 1]{start_on = true;}" from "Ready" to "Starting" | Decision
Transition "[faults > 0]" from Junction #1 to Junction #14 | Decision
Transition "[service == 1]" from "Fault" to Junction #19 | Decision
Transition "[faults == 0 && service == 0]" from "Service" to Junction #18 | Condition, Decision
Transition "[faults == 1 || state == 99]" from "Ready" to "Fault" | Condition, Decision
Transition "[timer > 1000]" from "Init1B" to "Ready" | Decision
Transition "[timer > 1000 && faults > 0]" from "Init1B" to Junction #10 | Condition, Decision
Transition "[service == 0]" from "Service" to "Fault" | Decision
Transition "[stop == 1]" from "Running" to "Stopping" | Decision
Transition "[stopped == 1]{stop_set = true}" from "Stopping" to Junction #11 | Decision
Transition "[service == 1]" from "Ready" to Junction #15 | Decision
Transition "[started == 1]" from "Starting_timer" to "Running" | Decision

### 9. State "Initialization"

Justify or Exclude
Parent: | automats/Subsystem/Stavovy automat/Stavovy automat
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 2 | 2
Decision | 50% (2/4) decision outcomes | 50% (2/4) decision outcomes
Decisions analyzed
Substate executed | 100%
State "Init1B" | 1122/1134
State "InitA" | 12/1134
Previously active substate entered due to history | 0%
State "Init1B" | --
State "InitA" | --

### 10. State "Starting_state"

Justify or Exclude
Parent: | automats/Subsystem/Stavovy automat/Stavovy automat
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 1 | 3
Decision | 100% (2/2) decision outcomes | 100% (6/6) decision outcomes
Decisions analyzed
Substate executed | 100%
State "Starting" | 5/12009
State "Starting_timer" | 12004/12009

#### Full Coverage

Model Object | Metric
Transition "[faults == 1]" from "Starting" to Junction #3 | Decision
Transition "[timer > 29990]" from "Starting_timer" to Junction #3 | Decision

### 11. Function "check_phases"

Justify or Exclude
Parent: | automats/Subsystem/Stavovy automat/Stavovy automat
Metric | Coverage (this object) | Coverage (inc. descendants)
Cyclomatic Complexity | 0 | 3
Decision | NA | 100% (6/6) decision outcomes

#### Full Coverage

Model Object | Metric
Transition "[V1 > V1limit]" from Junction #4 to Junction #5 | Decision
Transition "[V3 > V3limit]" from Junction #4 to Junction #6 | Decision
Transition "[V2 > V2limit]" from Junction #4 to Junction #7 | Decision