对Polyspace的几点思考

小猿曾经在公众号里写过《你的代码敢上Polyspace跑吗》的文章,介绍了下这个工具在代码验证中的应用,文章发布后,有几个猿友还给小猿留言咨询应用配置中的情况,今天工作中,又谈到了这个工具,并且偶然间得知,这个工具价值不菲,国内只有不差钱的公司才会用。关注与Polyspace的优点就不做过多介绍,个人可以到官网下载试用版,如果是公司建议购买正版软件。 今天主要来谈下小猿自己在嵌入式中应用Polyspace的体会 第一 因为国内应用的表较少,可参考的资料更少,尤其是在嵌入式方面的应用, 第二 工程搭建配置复杂尤其是对嵌入式中,不同的芯片,不同的编译器经常在搭建完工程后,编译不能通过,需要修改代码和配置,如对 Hi-tech编译器中的@不支持, 对中断关键字不支持, 对while(1)循环不支持等 需要修改代码,添加宏定义,重新包装中断等修改,才能顺利搭建对嵌入式代码的评估工程, 建议官方可以对主流嵌入式芯片,编译器配置做简单可选,是的用户配置简单易用, 另外一点建议不知道能不能实现对嵌入式中断的支持,不用重新修改包装嵌入式中断代码。 最后一点,能否添加一键导入功能,只需简单配置即可评估原嵌入式工程代码。 Polyspace绝对是一个好工具,如果能很好的支持以上几点思考建议将更加完美,当然以上只代表本人观点,欢迎大家批评指正。

原文发布于微信公众号 - 嵌入式程序猿(InterruptISR)

原文发表时间:2016-04-05

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏架构师之路

MQ,互联网架构解耦神器

一个架构常识:当调用方需要关心执行结果,通常使用RPC调用。 ? ret = PassportService::userAuth(name, pass); sw...

64290
来自专栏IT笔记

微服务化的基石——持续集成

在很多微服务化的文章中,很少会把持续集成放在第一篇,因为大多数的文章都会将如何拆的问题,例如拆的粒度,拆的时机,拆的方式。

59990
来自专栏Bug生活2048

Python实战-解决工作中的重复工作(一)

目前公司的项目管理采用开源项目redmine,对于redmine本文不多做介绍,有兴趣的可以自行百度了解下。

45030
来自专栏竹清助手

如何构建高扩展性网站?

  本书从多个方面围绕高扩展性提出了50条建议,一个高扩展性的网站会随着业务的发展、用户的增加,自由的扩展架构,从而轻松的应付网站的快速发展。下面看看本书的具体...

17370
来自专栏云计算爱好者

云计算技术原理

由于云计算分为IaaS、PaaS和SaaS三种类型,不同的厂家又提供了不同的解决方案,目前还没有一个统一的技术体系结构,对读者了解云计算的原理构成...

94790
来自专栏Rainbond开源「容器云平台」

云帮社区版4月升级,支持主流Go版本,修复了若干Bug

14940
来自专栏FreeBuf

魔兽世界中招:一条命令行就能劫持你的游戏!

最近出现了一种涉及社工技术的新型游戏攻击骗局,攻击者利用了魔兽世界(World of Warcraft,WoW)游戏插件中一个隐藏的功能。 新型攻击 想象一下这...

55680
来自专栏机器人网

Python很火,最受欢迎的 7 种编程语言在商用情况?

Elixir Elixir 是一个相当年轻的语言,自然几乎所有的项目都是基于最新版本的。40% 的项目使用的是今年发布的Elixir 1.4 及以上版本,该版本...

38030
来自专栏杨建荣的学习笔记

平台设计中的脚本管理

前期揉入了一些功能,因为主要是面向基础功能,所以进度略慢,如果要想一下子有种井喷的效果,那就是脚本化和流程化大显身手的时候了。 如果尽可能减少开发和业务同学之间...

42340
来自专栏CSDN技术头条

Uber是如何通过Mesos和Cassandra实现跨多个数据中心每秒100万的写入速度的?

每隔三十秒就会有位置数据返回,包括来自于司机和乘客应用的各类数据,需要实时使用的实时数据非常之多,那么Uber是如何存储这些位置数据的呢? Uber的解决方案非...

23290

扫码关注云+社区

领取腾讯云代金券