航天
航空
核工业
船舶
兵器
军事电子
综合
可靠性
仪器仪表
自动化
电子元器件
电容器、LC滤波器 电阻器、电位器 PCB电路板 真空电子器件 连接器 二极管、晶体管半导体 集成电路和微电子组件 LED系列产品 光电器件 光学材料与光电元器件 继电器 电感元件 集成电路和微电子组件 频率控制和频率选择元件 电子设备用机电元件 电子材料 广播电视制作、播出、发射和传输设备 其它
传感器
光纤传感器 光电传感器 压力传感器 热学量传感器 物位测量系列 声学量传感器 流量传感器 湿度传感器 气体传感器 电学量传感器 速度传感器 力传感器 位置传感器 位移传感器 光学量传感器 加速度传感器 尺度传感器 磁学量传感器 其它传感器
电工器材
电线、电缆 开关电线 插头、插座 电动机 绝缘材料 低压电器 高压电器 防雷及电涌保护器 室内外照明设备 便携式照明设备 灯泡、灯座、整流器 其他
电源
EPS消防应急电源 UPS不间断电源 稳压电源 变频电源 净化电源 特种电源 发电机组 开关电源(AC/DC) 逆变电源(DC/AC) 模块电源(DC/DC) 电池 其它电源产品
通用机械
轴承 密封件 紧固件、连接件 弹簧 泵及真空设备 阀门 齿轮、蜗杆、链传动件 减速箱 气动元件 液压元件 过滤件 工业皮带 清洗、清理设备 制冷设备 电热设备 涂装设备 仓储设备 干燥设备 混合设备 其它未分类
行业设备
机床 机床配附件 塑料机械 包装设备 电焊、切割设备 印刷设备 环保设备 焊接材料与附件 电子产品制造设备 化工设备 铸造及热处理设备 冶炼设备 橡胶机械 玻璃加工设备 试验机 储运设备 过滤设备 空气净化装置 检测设备 安全、防护、消防设备 其它
发布信息
当前位置: 首页 » 产品 » 自动化 » 嵌入式系统 »

嵌入式软件目标码测试工具

点击图片查看原图
单价: 面议
起订:
供货总量:
发货期限: 自买家付款之日起 天内发货
所在地: 北京市
有效期至: 长期有效
最后更新: 2012-12-15 23:16
浏览次数: 199
询价
公司基本资料信息






 
 
产品详细说明

如果是DO-178B A级软件并且编译器产生的目标代码不能直接追踪到源代码中的语句,那么验证工作就需要采取额外地分析方法,即在目标代码的级别上验证编译器产生的代码序列的正确性。(DO-178B 6.4.4.2.b)

目标码验证的必要性

      为了保证测试的充分性,目标码的验证关心编译器产生的目标码的控制流结构的多少与源代码不一致。这些不一致产生的原因有许多,如:编译器的解释、优化等。MISRA C:2004认为C程序设计中存在的风险可能由5个方面造成:程序员的失误、程序员对语言的误解、程序员对编译器的误解、编译器的错误和运行出错。对于高级语言程序,编译器经常会引入风险。在不能完全信赖编译器的情况下,进行目标码验证是唯一的选择。

目标码覆盖的测试方法
      测试是目前普遍采用的提高软件质量的重要手段。在不额外给开发人员和测试人员增加成倍工作量的情况下,可以采用基于需求的覆盖和目标码结构覆盖相结合的测试方法。在测试过程中,主要基于需求覆盖创建测试用例;在进行覆盖分析时,不仅分析基于需求的覆盖,同时分析目标代码的结构覆盖,针对高级语言和目标码结构不同的未覆盖部分创建附加的测试用例,SystemVerify就是支持目标码覆盖的工具。

      SystemVerify是一套嵌入式软件白盒测试工具。它使用实时总线监视技术,在不插装、不干涉被测软件运行的条件下,对被测软件的目标码进行语句和分支覆盖进行统计,同时测量函数的执行次数和执行性能。

(一)系统原理

1.    采集总线流
    
  Systemverify通过采集CPU外部总线获取指令运行的信息,并对应到目标码和源代码,进而可以得到性能信息和覆盖率信息。



2.    剔除预取指令
 

      ★  总线流中的不连续

      ★  监视跳转指令对应的地址

      ★  处理器的预取特性

3.    映射采集指令流到目标码
      ★  对目标码进行分析,找出地址和指令

      ★  根据剔除后的总线流中的地址是否落入目标码分析中的地址表,统计出分支覆盖和语句覆盖

4.    性能分析
      ★  精确到目标处理器的时钟周期

      ★  每一条总线流中都含有时间戳 

      ★  对函数执行时间的统计: 

       包含下一级调用时,为(出口时间-入口时间)
       不含下一级调用时,为(∑函数语句时间)

(二)    软件说明


 

     
 
 SystemVerify软件由两部分组成:
 

      1)  Performance Analyser(简称PA),负责实时动态的数据采集,显示实时的覆盖率和性能信息

      2)  Universal Coverage Analyser(简称UCA),负责对多次PA生成的覆盖率文件进行综合统计并生成HTML格式的报表

      PA的工作模式分为三种:
      ★  实时模式:软件直接从采集卡采集数据,进行分析,同时可以有选择地将数据保存下来,供回放模式使用




 

      ★  回放模式:使用实时模式保存的数据,重现当时的场景

      ★  文件模式:保留

(三)    系统支持能力
      ★  支持的语言:C、汇编、Ada

      ★  支持的处理器:8031/51、x86、ERC32、Bx1750、F240、TSM320C33等

      ★  支持的目标文件格式:OMF、ELF、.out等

(四)    特性
      ★  无插装,甚至无需源代码

      ★  对被测系统无干扰

      ★  支持在线和离线两种方式,节省硬件资源

      ★  支持反汇编/高级语言模式

      ★  支持单步、断点、全速运行

      ★  实时的性能分析和覆盖率分析、变量跟踪

0条 [查看全部]  相关评论
 
更多»本企业其它产品

[ 产品搜索 ]  [ 加入收藏 ]  [ 告诉好友 ]  [ 打印本文 ]  [ 违规举报 ]  [ 关闭窗口 ]

在线客服

0759-2216160

© 2008-2017 运营商: 湛江市东龙网络科技有限公司 国防科技网 www.81tech.com 广东通信管理局备案:粤ICP备13001948号-2
全国公安机关 备案信息 可信网站不良举报 文明转播