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

piao_lingcao · 发表于 2004-10-22 16:47:32

解压密码为该论坛地址

感谢本论坛会员刘艳会提供

[ Last edited by piao_lingcao on 2004-10-25 at 08:52 ]

haoyong · 发表于 2004-10-22 16:55:57

我是热爱生活。大家好

skinapi · 发表于 2004-10-25 17:36:14

现在怎么看不到解压密码了。

piao_lingcao · 发表于 2004-10-26 10:19:19

alarm007 · 发表于 2004-12-28 15:22:19

这个工具是免费的吗？

piao_lingcao · 发表于 2004-12-28 18:09:39

呵呵，我也不太清楚，应该不是免费的，现在嵌入式测试的工具都挺贵的

jiangbo · 发表于 2005-1-4 15:11:09

Originally posted by piao_lingcao at 2004-12-28 06:09 PM:
呵呵，我也不太清楚，应该不是免费的，现在嵌入式测试的工具都挺贵的

polyspaceb不是动态错误检测，是静态、准动态执行，和实际的环境差别很大的。价格肯定不便宜，没有便宜的测试工具！除非工具不好才便宜！

baitest · 发表于 2005-1-12 11:00:18

piao_lingcao · 发表于 2005-1-18 12:10:35

Originally posted by baitest at 2005-1-12 11:00:

呵呵，没有，我也是进行的手动测试

anan · 发表于 2005-3-7 11:09:01

都是手工测试得说

super · 发表于 2005-3-17 08:06:23

谢了

sunwindj · 发表于 2005-3-21 12:51:15

测试有前途 · 发表于 2005-3-22 20:59:30

谢了先收藏

ago · 发表于 2005-3-26 20:41:59

polyspace一套要一百多万，见过试用的，能发现些数组、指针越界之类的问题，不过它好像是做MC/DC，测一个几千行的程序也要半天。

wonder333 · 发表于 2005-5-10 23:22:10

顶阿谢谢搂主以后就混这里了~

xiayingwen · 发表于 2005-7-4 09:51:24

学习ing

wq0909 · 发表于 2005-11-9 10:20:50

学习中……

xingming9 · 发表于 2005-12-21 18:06:01

都没用过真现多了解祈祷公司肯买个来学学

谢谢楼主和各位高手的指点。

ronglanzh · 发表于 2006-2-9 15:55:16

aaa3 · 发表于 2006-3-21 23:32:11

polyspace工具不错。
不过遇到些问题，在进行预处理时，它把标准的头文件也进行分析。弹出许多错误后，无法继续分析下去了。（但是，它的例子倒是正常的）。在使用中，它的分析结果也犯了些很弱智的错误，不知道为什么？

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

第2人