piao_lingcao 2004-10-22 16:47
《嵌入式系统软件动态运行错误的检测方法(第一版)》原创
解压密码为该论坛地址
感谢本论坛会员刘艳会提供
[[i] Last edited by piao_lingcao on 2004-10-25 at 08:52 [/i]]
haoyong 2004-10-22 16:55
第2人
我是热爱生活。大家好
skinapi 2004-10-25 17:36
现在怎么看不到解压密码了。:(
piao_lingcao 2004-10-26 10:19
解压密码是[url]www.51testing.com[/url]
alarm007 2004-12-28 15:22
这个工具是免费的吗？
piao_lingcao 2004-12-28 18:09
呵呵，我也不太清楚，应该不是免费的，现在嵌入式测试的工具都挺贵的
jiangbo 2005-1-4 15:11
[quote]Originally posted by [i]piao_lingcao[/i] at 2004-12-28 06:09 PM:
呵呵，我也不太清楚，应该不是免费的，现在嵌入式测试的工具都挺贵的 [/quote]
polyspaceb不是动态错误检测，是静态、准动态执行，和实际的环境差别很大的。价格肯定不便宜，没有便宜的测试工具！除非工具不好才便宜！
baitest 2005-1-12 11:00
不知道版主有没有嵌入式测试工具的免费下载地址！
piao_lingcao 2005-1-18 12:10
[quote]Originally posted by [i]baitest[/i] at 2005-1-12 11:00:
[/quote]
呵呵，没有，我也是进行的手动测试:$
anan 2005-3-7 11:09
都是手工测试得说
sunwindj 2005-3-21 12:51
好文章
测试有前途 2005-3-22 20:59
谢了 先收藏
ago 2005-3-26 20:41
polyspace一套要一百多万，见过试用的，能发现些数组、指针越界之类的问题，不过它好像是做MC/DC，测一个几千行的程序也要半天。
wonder333 2005-5-10 23:22
顶阿 谢谢搂主 以后就混这里了~
xiayingwen 2005-7-4 09:51
学习ing
wq0909 2005-11-9 10:20
学习中……
xingming9 2005-12-21 18:06
都没用过 真现多了解 祈祷公司肯买个来学学
谢谢楼主和各位高手的指点。
ronglanzh 2006-2-9 15:55
3Q
aaa3 2006-3-21 23:32
polyspace工具不错。
不过遇到些问题，在进行预处理时，它把标准的头文件也进行分析。弹出许多错误后，无法继续分析下去了。（但是，它的例子倒是正常的）。在使用中，它的分析结果也犯了些很弱智的错误，不知道为什么？
天生我才 2006-5-19 16:23
谢谢楼主 领了
jackydi 2006-7-4 20:38
谢谢楼主，先学习一下
OrientMaple 2006-8-21 11:48
PolySpace是在源代码阶段做运行时错误检查的工具。其功能决不是简单的检查数组越界等运行时错误。
它采用抽象执行的方法，既能对代码做覆盖度检查，又能检查出运行时错误，并且能告知用户错误的原因。
PolySpace能对复杂的函数调用、函数嵌套、递归调用等做出分析，也能对多任务共享变量访问等作出分析。
目前PolySpace的效率是15分钟/千行代码，这个效率应该是很高的了！要是用人来检查1000行代码，1天估计是检查不完的吧。
[[i] 本帖最后由 OrientMaple 于 2006-8-21 11:50 编辑 [/i]]
cushu 2006-8-22 23:15
楼主辛苦啦
ericola 2006-9-12 11:15
这个工具的报价在15W美金左右吧,是很贵,虽然很好用
artemiszx 2006-10-16 17:34
thanks!
新手，刚刚开始，发现了这个网站，无疑于太阳。
yamaya 2006-10-26 13:56
谢谢楼主，已经下载。
bland_liu 2006-12-8 12:47
谢谢，顶一下
qyl 2006-12-15 08:32
谢谢楼主，已经下载。
Edisonvic 2007-4-29 11:33
8错8错
windone 2007-5-10 11:35
猜到就是PolySpace了
PolySpace运行速度很快，而且可以在远程服务器上运行，你可以在下班之后让它运行，第二天再来检查结果；所以时间不是问题
但真正使用起来也不轻松
它给出的分析结果还是要一条条的经过人的验证，因为它给的测试条件很严格，很多不是错误的地方也报错，还有就是嵌入式很多地方是需要接受硬件的端口值的地方，也常常报错。。。
[[i] 本帖最后由 windone 于 2007-5-10 11:40 编辑 [/i]]
lyfangming 2007-5-10 11:58
谢谢，写的很好，让我收获不少。
zhangzhengbao 2007-5-16 11:45
不知道,怎么样 ?先学习学习.再说.还有人知道野指针的检查方法.有什么算法吗?
zhangzhengbao 2007-5-16 12:11
先学习学习
zhuli18 2007-5-22 16:56
好啊！我要我要！
cuijieying2006 2007-5-24 16:24
不错的!^_^多谢了, 继续努力亚!
lucky520 2007-6-12 17:20
ding
jfcf 2007-6-14 14:40
下载下来看了一下，该软件主要讲PolySpace，但此软件对于偶不实用。但还是感谢楼主提供资料
blue_dolphin 2007-6-14 23:58
04年用这个工具时，还是在linux环境下使用的，及其难掌握。分析一个4千多行的程序，最长的时候分析一个小时就出错停止了，最后不得不放弃。现在据说在windows环境下的版本速度也快了不少，而且在使用方法上也作了很大的改进，但还没用过。
chenhuayang 2007-6-26 16:49
3Q,感谢ING……………………
3Q,感谢ING……………………