《嵌入式系统软件动态运行错误的检测方法(第一版)》原创

天生我才 · 发表于 2006-5-19 16:23:38

谢谢楼主领了

jackydi · 发表于 2006-7-4 20:38:46

谢谢楼主，先学习一下

OrientMaple · 发表于 2006-8-21 11:48:30

PolySpace是在源代码阶段做运行时错误检查的工具。其功能决不是简单的检查数组越界等运行时错误。
它采用抽象执行的方法，既能对代码做覆盖度检查，又能检查出运行时错误，并且能告知用户错误的原因。
PolySpace能对复杂的函数调用、函数嵌套、递归调用等做出分析，也能对多任务共享变量访问等作出分析。

目前PolySpace的效率是15分钟/千行代码，这个效率应该是很高的了！要是用人来检查1000行代码，1天估计是检查不完的吧。

[ 本帖最后由 OrientMaple 于 2006-8-21 11:50 编辑 ]

cushu · 发表于 2006-8-22 23:15:57

楼主辛苦啦

ericola · 发表于 2006-9-12 11:15:56

这个工具的报价在15W美金左右吧,是很贵,虽然很好用

artemiszx · 发表于 2006-10-16 17:34:26

thanks!
新手，刚刚开始，发现了这个网站，无疑于太阳。

yamaya · 发表于 2006-10-26 13:56:06

谢谢楼主，已经下载。

bland_liu · 发表于 2006-12-8 12:47:41

谢谢，顶一下

qyl · 发表于 2006-12-15 08:32:29

谢谢楼主，已经下载。

Edisonvic · 发表于 2007-4-29 11:33:52

8错8错

windone · 发表于 2007-5-10 11:35:21

猜到就是PolySpace了
PolySpace运行速度很快，而且可以在远程服务器上运行，你可以在下班之后让它运行，第二天再来检查结果；所以时间不是问题
但真正使用起来也不轻松
它给出的分析结果还是要一条条的经过人的验证，因为它给的测试条件很严格，很多不是错误的地方也报错，还有就是嵌入式很多地方是需要接受硬件的端口值的地方，也常常报错。。。

[ 本帖最后由 windone 于 2007-5-10 11:40 编辑 ]

lyfangming · 发表于 2007-5-10 11:58:37

谢谢，写的很好，让我收获不少。

zhangzhengbao · 发表于 2007-5-16 11:45:59

不知道,怎么样 ?先学习学习.再说.还有人知道野指针的检查方法.有什么算法吗?

zhangzhengbao · 发表于 2007-5-16 12:11:47

先学习学习

zhuli18 · 发表于 2007-5-22 16:56:03

好啊！我要我要！

cuijieying2006 · 发表于 2007-5-24 16:24:20

不错的!^_^多谢了, 继续努力亚!

lucky520 · 发表于 2007-6-12 17:20:50

ding

jfcf · 发表于 2007-6-14 14:40:36

下载下来看了一下，该软件主要讲PolySpace，但此软件对于偶不实用。但还是感谢楼主提供资料

blue_dolphin · 发表于 2007-6-14 23:58:18

04年用这个工具时，还是在linux环境下使用的，及其难掌握。分析一个4千多行的程序，最长的时候分析一个小时就出错停止了，最后不得不放弃。现在据说在windows环境下的版本速度也快了不少，而且在使用方法上也作了很大的改进，但还没用过。

chenhuayang · 发表于 2007-6-26 16:49:09

3Q,感谢ING……………………

		自动登录	找回密码
密码			(注-册)加入51Testing

《嵌入式系统软件动态运行错误的检测方法(第一版)》原创

3Q,感谢ING……………………

站长推荐 /1