CONTACT US

汽车工业网

电话:021-20920069

邮箱:sales@auto-industry.com.cn

地址:上海市浦东新区康意路531号

美国Green Hills software

Green Hills software 安全关键产品:G-Cover对象代码分析器

  • 产品品牌:Green Hills software
  • 品牌产地:英国
  • 产品简介:Green Hills software品牌下的G-Cover对象代码分析器简单结构覆盖在源代码级别可用于低水平的临界点上。 最高水平要求软件测试对象代码级别。...

 安全关键标准要求软件进行彻底的测试。 

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执行标记块和分析 条件分支目标来确定代码覆盖率。

汽车工业网    ©2016-2021    备案号:沪ICP备15001858号-4
电话:021-20920069   邮箱:sales@auto-industry.com.cn
地址:上海市浦东新区康意路531号

沪公网安备 31011502009773号