Selection of Graph and Logic Expression Coverage Criteria for safety critical systems

Graph and Logic Expression Coverage Criteria plays a dominant role towards testing embedded Safety Critical Systems. Although structural code coverage criteria in the safety critical application context have been explored by researchers to certain extent, the identification of the most suitable Graph and Logic Expression Coverage Criteria according to the control flow graph structure is challengeable and has not has been addressed much in available literature. This research proposes a methodology for graph coverage techniques and logic coverage techniques based exclusively on different Control Flow Graph clusters and dependencies between the decision nodes, together with the control paths. With an industry based case study validation, suggested methodology can be extended to automated metric collection tool for safety critical systems.