用户1605515
对Polyspace的几点思考
关注作者
前往小程序,Get
更优
阅读体验!
立即前往
腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
首页
学习
活动
专区
工具
TVP
最新优惠活动
返回腾讯云官网
用户1605515
首页
学习
活动
专区
工具
TVP
最新优惠活动
返回腾讯云官网
社区首页
>
专栏
>
对Polyspace的几点思考
对Polyspace的几点思考
用户1605515
关注
发布于 2018-04-10 14:06:20
897
0
发布于 2018-04-10 14:06:20
举报
文章被收录于专栏:
嵌入式程序猿
小猿曾经在公众号里写过《你的代码敢上Polyspace跑吗》的文章,介绍了下这个工具在代码验证中的应用,文章发布后,有几个猿友还给小猿留言咨询应用配置中的情况,今天工作中,又谈到了这个工具,并且偶然间得知,这个工具价值不菲,国内只有不差钱的公司才会用。关注与Polyspace的优点就不做过多介绍,个人可以到官网下载试用版,如果是公司建议购买正版软件。 今天主要来谈下小猿自己在嵌入式中应用Polyspace的体会 第一 因为国内应用的表较少,可参考的资料更少,尤其是在嵌入式方面的应用, 第二 工程搭建配置复杂尤其是对嵌入式中,不同的芯片,不同的编译器经常在搭建完工程后,编译不能通过,需要修改代码和配置,如对 Hi-tech编译器中的@不支持, 对中断关键字不支持, 对while(1)循环不支持等 需要修改代码,添加宏定义,重新包装中断等修改,才能顺利搭建对嵌入式代码的评估工程, 建议官方可以对主流嵌入式芯片,编译器配置做简单可选,是的用户配置简单易用, 另外一点建议不知道能不能实现对嵌入式中断的支持,不用重新修改包装嵌入式中断代码。 最后一点,能否添加一键导入功能,只需简单配置即可评估原嵌入式工程代码。 Polyspace绝对是一个好工具,如果能很好的支持以上几点思考建议将更加完美,当然以上只代表本人观点,欢迎大家批评指正。
本文参与
腾讯云自媒体同步曝光计划
,分享自微信公众号。
原始发表:2016-04-05,如有侵权请联系
cloudcommunity@tencent.com
删除
嵌入式
本文分享自
嵌入式程序猿
微信公众号,
前往查看
如有侵权,请联系
cloudcommunity@tencent.com
删除。
本文参与
腾讯云自媒体同步曝光计划
,欢迎热爱写作的你一起参与!
嵌入式
评论
登录
后参与评论
0 条评论
热度
最新
推荐阅读
LV.
文章
0
获赞
0
领券
问题归档
专栏文章
快讯文章归档
关键词归档
开发者手册归档
开发者手册 Section 归档
0
0
0
推荐