| Model version | 'M100C100' |
| Author | xigkd |
| Last saved | Sat Apr 10 16:06:20 2021 |
| Harness model(s) | MDP_Harness1 |
| Harness model owner | MDP |
| Default parameter behavior | inlined |
| Block reduction | forced off |
| Conditional branch optimization | on |
| Analyzed model | MDP |
| Logic block short circuiting | off |
| MCDC mode | masking |
| Test# | Started execution | Ended execution |
| Test 1 | 10-Apr-2021 16:08:40 | 10-Apr-2021 16:08:40 |
| Model Hierarchy/Complexity | Test 1 | |||||||||||||||||||||||||
| Decision | Condition | MCDC | Execution | |||||||||||||||||||||||
| 1. MDP | 13 | 57% |
|
100% |
|
50% |
|
100% |
|
|||||||||||||||||
| 2. . . . MDP | 7 | 57% |
|
100% |
|
50% |
|
100% |
|
|||||||||||||||||
| 3. . . . . . . McuDataPrc_10ms | 7 | 57% |
|
100% |
|
50% |
|
100% |
|
|||||||||||||||||
| 4. . . . . . . . . . McuDataPrc_10ms_sys | 6 | 50% |
|
100% |
|
50% |
|
100% |
|
|||||||||||||||||
| 5. . . . . . . . . . . . . MDP_GbMDP_McuVoltVld_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 6. . . . . . . . . . . . . MDP_GbMDP_McuVoltVld_flg1 | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 7. . . . . . . . . . . . . MDP_GcMDP_McuVolt_V | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
|
|
Decisions analyzed
|
|
MC/DC analysis (combinations in parentheses did not occur)
| ||||||||||||||||||||||||||||
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|