| Model version | 'M105C104' |
| Author | xigkd |
| Last saved | Wed Apr 07 14:39:30 2021 |
| Harness model(s) | Copy_of_BPM_Harness1 |
| Harness model owner | Copy_of_BPM |
| Default parameter behavior | inlined |
| Block reduction | forced off |
| Conditional branch optimization | on |
| Analyzed model | Copy_of_BPM |
| Logic block short circuiting | off |
| MCDC mode | masking |
| Test# | Started execution | Ended execution |
| Test 1 | 07-Apr-2021 15:24:53 | 07-Apr-2021 15:24:53 |
| Model Hierarchy/Complexity | Test 1 | |||||||||||||||||||||||||
| Decision | Condition | MCDC | Execution | |||||||||||||||||||||||
| 1. Copy_of_BPM | 29 | 50% |
|
64% |
|
0% |
|
100% |
|
|||||||||||||||||
| 2. . . . PowerManager_10ms_sys | 24 | 50% |
|
64% |
|
0% |
|
100% |
|
|||||||||||||||||
| 3. . . . . . . CABPowerSupply | 2 | 50% |
|
56% |
|
0% |
|
100% |
|
|||||||||||||||||
| 4. . . . . . . . . . BPM_GbBPM_CabCrntSplyEna_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 5. . . . . . . HardwareSupplyCircuitDiagnosis | 6 | 50% |
|
67% |
|
NA | 100% |
|
||||||||||||||||||
| 6. . . . . . . . . . HardwareSupplyCircuitDiagnosis | 6 | 50% |
|
75% |
|
NA | 100% |
|
||||||||||||||||||
| 7. . . . . . . . . . . . . BPM_GbBPM_KL30PwrDownError_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 8. . . . . . . . . . . . . BPM_GbBPM_SysResetError_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 9. . . . . . . SupplyPowerState | 16 | 50% |
|
74% |
|
0% |
|
100% |
|
|||||||||||||||||
| 10. . . . . . . . . . KL30C_Power | 8 | 50% |
|
75% |
|
NA | 100% |
|
||||||||||||||||||
| 11. . . . . . . . . . . . . BPM_GbBPM_KL30CStHigh_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 12. . . . . . . . . . . . . BPM_GbBPM_KL30CStLow_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 13. . . . . . . . . . . . . BPM_GbBPM_KL30CStTooHigh_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 14. . . . . . . . . . . . . BPM_GbBPM_KL30CStTooLow_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 15. . . . . . . . . . KL30_Power | 8 | 50% |
|
75% |
|
NA | 100% |
|
||||||||||||||||||
| 16. . . . . . . . . . . . . BPM_GbBPM_BMUSpyStHigh_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 17. . . . . . . . . . . . . BPM_GbBPM_BMUSpyStLow_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 18. . . . . . . . . . . . . BPM_GbBPM_BMUSpyStTooHigh_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 19. . . . . . . . . . . . . BPM_GbBPM_BMUSpyStTooLow_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
|
|
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur) Includes 3 blocks
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
|
|
Decisions analyzed
|
Conditions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Conditions analyzed
|
|
|
Conditions analyzed
|
Conditions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
|
Conditions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|