《嵌入式系统软件动态运行错误的检测方法(第一版)》原创
解压密码为该论坛地址感谢本论坛会员刘艳会提供
[ Last edited by piao_lingcao on 2004-10-25 at 08:52 ]
第2人
我是热爱生活。大家好 现在怎么看不到解压密码了。:( 解压密码是www.51testing.com 这个工具是免费的吗? 呵呵,我也不太清楚,应该不是免费的,现在嵌入式测试的工具都挺贵的 Originally posted by piao_lingcao at 2004-12-28 06:09 PM:呵呵,我也不太清楚,应该不是免费的,现在嵌入式测试的工具都挺贵的
polyspaceb不是动态错误检测,是静态、准动态执行,和实际的环境差别很大的。价格肯定不便宜,没有便宜的测试工具!除非工具不好才便宜!
不知道版主有没有嵌入式测试工具的免费下载地址!
Originally posted by baitest at 2005-1-12 11:00:呵呵,没有,我也是进行的手动测试:$ 都是手工测试得说 谢了
好文章
谢了 先收藏 polyspace一套要一百多万,见过试用的,能发现些数组、指针越界之类的问题,不过它好像是做MC/DC,测一个几千行的程序也要半天。 顶阿 谢谢搂主 以后就混这里了~ 学习ing 学习中…… 都没用过 真现多了解 祈祷公司肯买个来学学谢谢楼主和各位高手的指点。 3Q polyspace工具不错。
不过遇到些问题,在进行预处理时,它把标准的头文件也进行分析。弹出许多错误后,无法继续分析下去了。(但是,它的例子倒是正常的)。在使用中,它的分析结果也犯了些很弱智的错误,不知道为什么?