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