SkyEye-based target code Coverage analysis
In the digital age, embedded systems are becoming increasingly complex, with frequent functional iterations. This complexity often introduces unused code or branches that remain untested during execution, potentially leading to various software vulnerabilities and significantly reducing software reliability. SkyEye offers a dynamic analysis feature for monitoring code execution coverage, enabling quick and efficient detection of unexecuted portions of code. Additionally, SkyEye supports all stages of development and simulation testing within the framework of Model-Based Systems Engineering (MBSE).
Coverage analysis for embedded software requires examining several aspects, including instruction coverage, function instruction coverage, function branch coverage, source code line coverage, source code function coverage, and source code function branch coverage.
Using the coverage analysis feature in SkyEye, developers can identify which functions or branches within the embedded software remain unexecuted, analyze the causes for these unexecuted segments, and refine testing methods to achieve maximum coverage. This process significantly enhances the reliability of the software by ensuring that as many functions and branches as possible are thoroughly tested.
SkyEye also allows coverage analysis reports to be exported in HTML or Excel format. These reports can be used to review coverage data in real time during testing or analyzed post-export for deeper insights into the results.
