51Testing软件测试论坛

 找回密码
 (注-册)加入51Testing

QQ登录

只需一步,快速开始

微信登录,快人一步

手机号码,快捷登录

查看: 93742|回复: 151
打印 上一主题 下一主题

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

[复制链接]

该用户从未签到

跳转到指定楼层
1#
发表于 2004-10-22 16:47:32 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
解压密码为该论坛地址

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

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

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?(注-册)加入51Testing

x
分享到:  QQ好友和群QQ好友和群 QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友
收藏收藏

该用户从未签到

2#
发表于 2004-10-22 16:55:57 | 只看该作者

第2人

我是热爱生活。大家好
回复 支持 反对

使用道具 举报

该用户从未签到

3#
发表于 2004-10-25 17:36:14 | 只看该作者
现在怎么看不到解压密码了。
回复 支持 反对

使用道具 举报

该用户从未签到

4#
 楼主| 发表于 2004-10-26 10:19:19 | 只看该作者
解压密码是www.51testing.com
回复 支持 反对

使用道具 举报

该用户从未签到

5#
发表于 2004-12-28 15:22:19 | 只看该作者
这个工具是免费的吗?
回复 支持 反对

使用道具 举报

该用户从未签到

6#
 楼主| 发表于 2004-12-28 18:09:39 | 只看该作者
呵呵,我也不太清楚,应该不是免费的,现在嵌入式测试的工具都挺贵的
回复 支持 反对

使用道具 举报

该用户从未签到

7#
发表于 2005-1-4 15:11:09 | 只看该作者
Originally posted by piao_lingcao at 2004-12-28 06:09 PM:
呵呵,我也不太清楚,应该不是免费的,现在嵌入式测试的工具都挺贵的

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

使用道具 举报

该用户从未签到

8#
发表于 2005-1-12 11:00:18 | 只看该作者

不知道版主有没有嵌入式测试工具的免费下载地址!

回复 支持 反对

使用道具 举报

该用户从未签到

9#
 楼主| 发表于 2005-1-18 12:10:35 | 只看该作者
Originally posted by baitest at 2005-1-12 11:00:
  

呵呵,没有,我也是进行的手动测试
回复 支持 反对

使用道具 举报

该用户从未签到

10#
发表于 2005-3-7 11:09:01 | 只看该作者
都是手工测试得说
回复 支持 反对

使用道具 举报

该用户从未签到

11#
发表于 2005-3-17 08:06:23 | 只看该作者
谢了
回复 支持 反对

使用道具 举报

该用户从未签到

12#
发表于 2005-3-21 12:51:15 | 只看该作者

好文章

回复 支持 反对

使用道具 举报

该用户从未签到

13#
发表于 2005-3-22 20:59:30 | 只看该作者
谢了 先收藏
回复 支持 反对

使用道具 举报

该用户从未签到

14#
发表于 2005-3-26 20:41:59 | 只看该作者
polyspace一套要一百多万,见过试用的,能发现些数组、指针越界之类的问题,不过它好像是做MC/DC,测一个几千行的程序也要半天。
回复 支持 反对

使用道具 举报

该用户从未签到

15#
发表于 2005-5-10 23:22:10 | 只看该作者
顶阿 谢谢搂主 以后就混这里了~
回复 支持 反对

使用道具 举报

该用户从未签到

16#
发表于 2005-7-4 09:51:24 | 只看该作者
学习ing
回复 支持 反对

使用道具 举报

  • TA的每日心情
    开心
    2019-8-30 20:14
  • 签到天数: 2 天

    连续签到: 1 天

    [LV.1]测试小兵

    17#
    发表于 2005-11-9 10:20:50 | 只看该作者
    学习中……
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    18#
    发表于 2005-12-21 18:06:01 | 只看该作者
    都没用过 真现多了解 祈祷公司肯买个来学学

    谢谢楼主和各位高手的指点。
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    19#
    发表于 2006-2-9 15:55:16 | 只看该作者
    3Q
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    20#
    发表于 2006-3-21 23:32:11 | 只看该作者
    polyspace工具不错。
    不过遇到些问题,在进行预处理时,它把标准的头文件也进行分析。弹出许多错误后,无法继续分析下去了。(但是,它的例子倒是正常的)。在使用中,它的分析结果也犯了些很弱智的错误,不知道为什么?
    回复 支持 反对

    使用道具 举报

    本版积分规则

    关闭

    站长推荐上一条 /1 下一条

    小黑屋|手机版|Archiver|51Testing软件测试网 ( 沪ICP备05003035号 关于我们

    GMT+8, 2024-11-8 08:59 , Processed in 0.076764 second(s), 26 queries .

    Powered by Discuz! X3.2

    © 2001-2024 Comsenz Inc.

    快速回复 返回顶部 返回列表