首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >对Polyspace的几点思考

对Polyspace的几点思考

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

本文分享自 嵌入式程序猿 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档