安全关键标准要求软件进行彻底的测试。 简单结构覆盖在源代码级别可用于低水平 临界。 最高水平的关键不仅要求软件 被测试对象代码级别。 此外,测试必须执行 在实际的软件,这意味着没有代码插装是允许的。

G-Cover自动化的结构覆盖率分析 - 178 b吗 表 a - 7、目标5、6、7(声明,决定,和MCDC覆盖的成就)。 而不是使用代码插装获得保险,G-Cover用途 调试设备(断点、单步、读取寄存器,等等)。 以及targeta€™s物理调试器接口监控 生产执行的代码模块由用户选定。

除了 提供覆盖分析在对象代码层面,G-Cover报价 以下优点:

G-Cover可用于所有源语言(有一些限制), 包括组装。
所有对象代码分支和块所,包括那些 没有直接可追溯到源代码。 这可以帮助用户发现 目标代码编译器添加的不是直接追踪到 源代码。
被测试的代码是相同的,在最后有的时候€“没有 仪表是补充道。 仪器改变了目标对象 代码(特别是注册使用),可以掩盖一些compiler-induced 错误。
G-Cover分析对象代码的位置来确定所有条件 分支,电话,跳跃,分支目标,陷阱,并退出instructions.With跳转目标 这一分析,G-Cover创建一组调试指令陷阱 每一个:

子程序入口和出口
进入每一个代码块
执行的真假目标为每个条件分支 (使用单步调试特性)
调试指令被加载到探针连接 目标通过JTAG / BDM和可执行文件下载到目标。 你可以通过以太网连接到探测器或串行接口。 作为 可执行文件运行时,调试器使用断点来检测进入 每一块达到不同的块和标签。 它还标签下 指令输入以下条件分支。 当可执行 完成运行,G-cover执行标记块和分析 条件分支目标来确定代码覆盖率。