| Model version | 'M104C104' |
| Author | xigkd |
| Last saved | Sat Apr 10 16:17:13 2021 |
| Harness model(s) | ODP_Harness1 |
| Harness model owner | ODP |
| Default parameter behavior | inlined |
| Block reduction | forced off |
| Conditional branch optimization | on |
| Analyzed model | ODP |
| Logic block short circuiting | off |
| MCDC mode | masking |
| # Model Object | Rationale |
| ODP/ODP/ObcDataPrc_100ms/ObcDataPrc_100ms_sys/ACConnectAllow/BMSDebounceStartZero/FaultProcess/Decrease/Relational Operator | It might not be executed because of Conditional input branch optimization |
| Test# | Started execution | Ended execution |
| Test 1 | 10-Apr-2021 16:21:15 | 10-Apr-2021 16:21:16 |
| Model Hierarchy/Complexity | Test 1 | |||||||||||||||||||||||||
| Decision | Condition | MCDC | Execution | |||||||||||||||||||||||
| 1. ODP | 78 | 60% |
|
73% |
|
2% |
|
99% |
|
|||||||||||||||||
| 2. . . . ODP | 71 | 59% |
|
73% |
|
2% |
|
99% |
|
|||||||||||||||||
| 3. . . . . . . ObcDataPrc_100ms | 71 | 59% |
|
73% |
|
2% |
|
99% |
|
|||||||||||||||||
| 4. . . . . . . . . . ObcDataPrc_100ms_sys | 70 | 59% |
|
73% |
|
2% |
|
99% |
|
|||||||||||||||||
| 5. . . . . . . . . . . . . ACConnectAllow | 16 | 75% |
|
80% |
|
8% |
|
99% |
|
|||||||||||||||||
| 6. . . . . . . . . . . . . . . . BMSDebounceStartZero | 14 | 77% |
|
92% |
|
NA | 97% |
|
||||||||||||||||||
| 7. . . . . . . . . . . . . . . . . . . Compare To Zero | NA | 100% |
|
NA | 100% |
|
||||||||||||||||||||
| 8. . . . . . . . . . . . . . . . . . . FaultProcess | 6 | 75% |
|
75% |
|
NA | 93% |
|
||||||||||||||||||
| 9. . . . . . . . . . . . . . . . . . . . . . Decrease | 1 | 50% |
|
50% |
|
NA | 75% |
|
||||||||||||||||||
| 10. . . . . . . . . . . . . . . . . . . . . . . . . Nomal | NA | NA | NA | 0% |
|
|||||||||||||||||||||
| 11. . . . . . . . . . . . . . . . . . . . . . Increase | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 12. . . . . . . . . . . . . . . . . . . HealProcess | 6 | 75% |
|
100% |
|
NA | 100% |
|
||||||||||||||||||
| 13. . . . . . . . . . . . . . . . . . . . . . Compare To Zero | NA | 100% |
|
NA | 100% |
|
||||||||||||||||||||
| 14. . . . . . . . . . . . . . . . . . . . . . Decrease | 1 | 100% |
|
100% |
|
NA | 100% |
|
||||||||||||||||||
| 15. . . . . . . . . . . . . . . . . . . . . . . . . Nomal | NA | NA | NA | 100% |
|
|||||||||||||||||||||
| 16. . . . . . . . . . . . . . . . . . . . . . Increase | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 17. . . . . . . . . . . . . . . . ODP_GbODP_ACChrgAllow_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 18. . . . . . . . . . . . . ObcDataPrc_100ms_2E1 | 16 | 50% |
|
67% |
|
0% |
|
100% |
|
|||||||||||||||||
| 19. . . . . . . . . . . . . . . . ODP_GbODP_2E1ChkSum_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 20. . . . . . . . . . . . . . . . ODP_GbODP_2E1RCMsg_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 21. . . . . . . . . . . . . . . . ODP_GbODP_2E1Tiout_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 22. . . . . . . . . . . . . . . . ODP_GcODP_MaxPwrObcChrg_W | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 23. . . . . . . . . . . . . . . . ODP_GcODP_ObcCpDuty_numb | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 24. . . . . . . . . . . . . . . . ODP_GcODP_ObcFaultLvl_numb | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 25. . . . . . . . . . . . . . . . ODP_GeODP_ObcCpSt_enum | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 26. . . . . . . . . . . . . . . . ODP_GeODP_ObcElecLck_enum | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 27. . . . . . . . . . . . . ObcDataPrc_100ms_2E6 | 22 | 50% |
|
68% |
|
0% |
|
100% |
|
|||||||||||||||||
| 28. . . . . . . . . . . . . . . . ODP_GbODP_2E6ChkSum_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 29. . . . . . . . . . . . . . . . ODP_GbODP_2E6RCMsg_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 30. . . . . . . . . . . . . . . . ODP_GbODP_2E6Tiout_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 31. . . . . . . . . . . . . . . . ODP_GbODP_CurrObcChrgVld_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 32. . . . . . . . . . . . . . . . ODP_GbODP_S2St_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 33. . . . . . . . . . . . . . . . ODP_GbODP_VoltObcChrgVld_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 34. . . . . . . . . . . . . . . . ODP_GcODP_CurrObcChrg_A | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 35. . . . . . . . . . . . . . . . ODP_GcODP_MaxCurrObcChrg_A | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 36. . . . . . . . . . . . . . . . ODP_GcODP_MaxVoltObcChrg_V | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 37. . . . . . . . . . . . . . . . ODP_GcODP_OBCEcy_pct | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 38. . . . . . . . . . . . . . . . ODP_GcODP_VoltObcChrg_V | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 39. . . . . . . . . . . . . ObcDataPrc_100ms_2EB | 12 | 50% |
|
78% |
|
0% |
|
100% |
|
|||||||||||||||||
| 40. . . . . . . . . . . . . . . . ODP_GbODP_2EBChkSum_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 41. . . . . . . . . . . . . . . . ODP_GbODP_2EBRCMsg_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 42. . . . . . . . . . . . . . . . ODP_GbODP_2EBTiout_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 43. . . . . . . . . . . . . . . . ODP_GeODP_ObcCcSt_enum | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 44. . . . . . . . . . . . . . . . ODP_GeODP_ObcChrgSt_enum | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 45. . . . . . . . . . . . . . . . ODP_GeODP_ObcWorkMode_enum | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 46. . . . . . . . . . . . . V2XDischrgCmd | 4 | 50% |
|
64% |
|
0% |
|
100% |
|
|||||||||||||||||
| 47. . . . . . . . . . . . . . . . GbODP_ObcDischrging_flgOverWrite | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 48. . . . . . . . . . . . . . . . ODP_GbODP_V2XDischrgCmd_flg | 2 | 50% |
|
NA | NA | 100% |
|
|||||||||||||||||||
| 49. . . . ODP_Schedule | 2 | 100% |
|
NA | NA | NA | ||||||||||||||||||||
| 50. . . . . . . SF: ODP_Schedule | 1 | 100% |
|
NA | NA | NA | ||||||||||||||||||||
|
|
Decisions analyzed
|
|
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||||||||||||||
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
|
|
|
|
|
|
|
|
|
Decisions analyzed
|
Conditions analyzed
|
|
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
|
|
|
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
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
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
MC/DC analysis (combinations in parentheses did not occur) Includes 2 blocks
| |||||||||||||||||||||||||||||||||||||
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||
MC/DC analysis (combinations in parentheses did not occur)
| ||||||||||||||||||||||||||||
Conditions analyzed
|
Conditions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
Conditions analyzed
|
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur) Includes 2 blocks
| ||||||||||||||||||||||||||||||||||||||||||||||
Conditions analyzed
MC/DC analysis (combinations in parentheses did not occur)
| |||||||||||||||||||||||||||||||||||||||||||
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
Conditions analyzed
|
|
|
Decisions analyzed
|
|
|
Decisions analyzed
|
|
|
|
|