| Model version | 'M105C102' |
| Author | xigkd |
| Last saved | Thu Apr 08 13:20:30 2021 |
| Harness model(s) | Copy_of_WSM_Harness1 |
| Harness model owner | Copy_of_WSM |
| Default parameter behavior | inlined |
| Block reduction | forced off |
| Conditional branch optimization | on |
| Analyzed model | Copy_of_WSM |
| Logic block short circuiting | off |
| MCDC mode | masking |
| # Model Object | Rationale |
| Copy_of_WSM/WakeupSource_10ms_sys/KL15WkUp/BMSDebounceStartZero/FaultProcess/Decrease/Relational Operator | It might not be executed because of Conditional input branch optimization |
| Copy_of_WSM/WakeupSource_10ms_sys/KL15WkUp/BMSDebounceStartZero/HealProcess/Decrease/Relational Operator | It might not be executed because of Conditional input branch optimization |
| Copy_of_WSM/WakeupSource_10ms_sys/WkUpAC/BMSDebounceStartZero/FaultProcess/Decrease/Relational Operator | It might not be executed because of Conditional input branch optimization |
| Copy_of_WSM/WakeupSource_10ms_sys/WkUpAC/BMSDebounceStartZero/HealProcess/Decrease/Relational Operator | It might not be executed because of Conditional input branch optimization |
| Test# | Started execution | Ended execution |
| Test 1 | 08-Apr-2021 14:01:31 | 08-Apr-2021 14:01:31 |
| Model Hierarchy/Complexity | Test 1 | |||||||||||||||||||||||||
| Decision | Condition | MCDC | Execution | |||||||||||||||||||||||
| 1. Copy_of_WSM | 55 | 71% |
|
76% |
|
29% |
|
97% |
|
|||||||||||||||||
| 2. . . . WakeupSource_10ms_sys | 50 | 71% |
|
76% |
|
29% |
|
97% |
|
|||||||||||||||||
| 3. . . . . . . KL15WkUp | 16 | 75% |
|
83% |
|
NA | 95% |
|
||||||||||||||||||
| 4. . . . . . . . . . BMSDebounceStartZero | 14 | 77% |
|
83% |
|
NA | 94% |
|
||||||||||||||||||
| 5. . . . . . . . . . . . . Compare To Zero | NA | 100% |
|
NA | 100% |
|
||||||||||||||||||||
| 6. . . . . . . . . . . . . FaultProcess | 6 | 75% |
|
75% |
|
NA | 93% |
|
||||||||||||||||||
| 7. . . . . . . . . . . . . . . . Decrease | 1 | 50% |
|
50% |
|
NA | 75% |
|
||||||||||||||||||
| 8. . . . . . . . . . . . . . . . . . . Nomal | NA | NA | NA | 0% |
|
|||||||||||||||||||||
| 9. . . . . . . . . . . . . . . . Increase | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 10. . . . . . . . . . . . . HealProcess | 6 | 75% |
|
83% |
|
NA | 93% |
|
||||||||||||||||||
| 11. . . . . . . . . . . . . . . . Compare To Zero | NA | 100% |
|
NA | 100% |
|
||||||||||||||||||||
| 12. . . . . . . . . . . . . . . . Decrease | 1 | 50% |
|
50% |
|
NA | 75% |
|
||||||||||||||||||
| 13. . . . . . . . . . . . . . . . . . . Nomal | NA | NA | NA | 0% |
|
|||||||||||||||||||||
| 14. . . . . . . . . . . . . . . . Increase | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 15. . . . . . . . . . WSM_GbWSM_Kl15WkUpPrs_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 16. . . . . . . WakeupSrc_Output | 10 | 69% |
|
83% |
|
67% |
|
100% |
|
|||||||||||||||||
| 17. . . . . . . . . . WSM_GbWSM_WkUpVcu_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 18. . . . . . . . . . WSM_GcWSM_WakeupSrc_numb | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 19. . . . . . . WkUpAC | 16 | 75% |
|
83% |
|
NA | 95% |
|
||||||||||||||||||
| 20. . . . . . . . . . BMSDebounceStartZero | 14 | 77% |
|
83% |
|
NA | 94% |
|
||||||||||||||||||
| 21. . . . . . . . . . . . . Compare To Zero | NA | 100% |
|
NA | 100% |
|
||||||||||||||||||||
| 22. . . . . . . . . . . . . FaultProcess | 6 | 75% |
|
75% |
|
NA | 93% |
|
||||||||||||||||||
| 23. . . . . . . . . . . . . . . . Decrease | 1 | 50% |
|
50% |
|
NA | 75% |
|
||||||||||||||||||
| 24. . . . . . . . . . . . . . . . . . . Nomal | NA | NA | NA | 0% |
|
|||||||||||||||||||||
| 25. . . . . . . . . . . . . . . . Increase | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 26. . . . . . . . . . . . . HealProcess | 6 | 75% |
|
83% |
|
NA | 93% |
|
||||||||||||||||||
| 27. . . . . . . . . . . . . . . . Compare To Zero | NA | 100% |
|
NA | 100% |
|
||||||||||||||||||||
| 28. . . . . . . . . . . . . . . . Decrease | 1 | 50% |
|
50% |
|
NA | 75% |
|
||||||||||||||||||
| 29. . . . . . . . . . . . . . . . . . . Nomal | NA | NA | NA | 0% |
|
|||||||||||||||||||||
| 30. . . . . . . . . . . . . . . . Increase | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 31. . . . . . . . . . WSM_GbWSM_ACWkUpPrs_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 32. . . . . . . WkUpCAN | 2 | 50% |
|
50% |
|
0% |
|
100% |
|
|||||||||||||||||
| 33. . . . . . . . . . WSM_GbWSM_CANWkUpPrs_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 34. . . . . . . WkUpDC | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 35. . . . . . . . . . WSM_GbWSM_DCWkUpPrs_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 36. . . . . . . WkUpEDC | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 37. . . . . . . . . . WSM_GbWSM_EDCWkUpPrs_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 38. . . . . . . WkUpTPL | 2 | 50% |
|
75% |
|
0% |
|
100% |
|
|||||||||||||||||
| 39. . . . . . . . . . WSM_GbWSM_TplWkUpPrs_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
Decisions analyzed
|
Conditions analyzed
|
|
|
|
|
Decisions analyzed
|
|
|
|
|
|
|
Decisions analyzed
|
Conditions analyzed
|
|
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||||||||
Decisions analyzed
|
Decisions analyzed
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
|
|
|
|
|
|
|
|
Decisions analyzed
|
Conditions analyzed
|
|
|
|
|
Decisions analyzed
|
|
|
|
|
|
|
Decisions analyzed
|
Conditions analyzed
|
|
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
Conditions analyzed
|
Conditions analyzed
|
|
|
Decisions analyzed
|
|
|
|
|
Decisions analyzed
|
|
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
Conditions analyzed
|
|
|
Decisions analyzed
|
|