欢迎访问电子工程网!   登录 | 免费注册 ]   

bmr_bmr的个人空间 http://www.eechina.com/space-uid-8416.html [收藏] [复制] [分享] [RSS]

博客

Atollic TrueANALYZER/STM32在STM32平台上面提供动态代码分析功能

已有 993 次阅读2010-10-21 16:15 | 关键词:

Atollic TrueANALYZER/STM32STM32平台上面提供动态代码分析功能

2010421日,Atollic宣布了Atollic TrueANALYZER/STM32全球版,

它是一个在STM32平台上对于应用执行的专业动态代码覆盖分析的高级工具。

 

代码覆盖分析通常用来探索所有潜在执行路径测试的组合。有很多不同类型的代码覆盖分析,从非常简单的分析到非常严格的类型。代码覆盖分析通常会在形式上分类。代码覆盖分析更高级的类型如C1MC/DC,经常用来测试安全临界软件,如飞行控制系统。

例如,RTCA DO-178B(飞行安全关键软件开发的一个标准)需要对航空软件最关键部分进行MC/DC测试,在那个部分,一个软件错误可以导致灾难性的损失,飞机或者人类生命。

 

Atollic TrueANALYZER/STM32支持如下类型的代码覆盖分析,

  1. 函数覆盖
  2. 函数调用覆盖
  3. 语句覆盖
  4. 分支覆盖
  5. 修订的条件/判定覆盖
  6. C1MC/DC级别的代码覆盖分析

 

代码覆盖分析,尤其C1和MC/DC没有足够的工具支持是几乎不可能实现的。

 

Atollic TrueANALYZER/STM32通过编译应用、让应用运行在目标系统上,自动生成这个复杂的任务,并且在PCC/C++环境中显示代码覆盖分析结果。

Magnus UnemyrAtollic的销售市场副总监说:“使用Atollic TrueANALYZER,任何STM32开发人员可以使用飞行制造业的高级测试技术提高他们的软件质量,并且,使用这个工具,一个执行流的复杂动态分析变得快而容易实现。

 

以下的图表显示了一个典型的情形,Atollic TrueANALYZER首先编译应用,然后通过JTAG端口下载到目标板上。在板子上执行应用,会影响执行流。最终,分析结果会上传到Atollic TrueANALYZER中显示以及生成报告。

 

 

Atollic TrueANALYZER/STM32完全集成了主要针对于STM32设备的C/C++开发工具。

产品使用的视频指南也可以在Atollic网站上下载。

联系Atollic索要高清晰的可以打印的映像。

 

关于Atollic

Atollic为全球的嵌入式系统市场提供了专业集成软件开发工具。Atollic和很多全球最大的半导体厂商合作,也有很多其他相关领域的合作伙伴。通过全球的供应商网络,这个公司的产品分布超过30个国家,Atollic也提供专家级别的软件开发服务,主要在自动化、航空、国防、工业以及消费类市场。



路过

鸡蛋

鲜花

握手

雷人

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 立即注册

回顶部