51Testing软件测试论坛

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

QQ登录

只需一步,快速开始

微信登录,快人一步

手机号码,快捷登录

查看: 5067|回复: 8
打印 上一主题 下一主题

[原创] 抢占免费上机培训:安全关键嵌入式软件的代码验证

[复制链接]

该用户从未签到

跳转到指定楼层
1#
发表于 2013-10-21 17:28:13 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
本帖最后由 jane_woods 于 2013-10-21 17:33 编辑

当年欧洲阿里安娜501火箭由于飞行计算机软件运行错误而导致主/辅计算机全部停机并在飞行升空后爆炸,为此,法国国家计算机与控制研究所、欧洲航天局组织专门的力量研制以抽象解释技术为理论基础的新一代软件验证/测试工具---PolySpace,并在阿里安娜502上得到成功的应用。此后PolySpace商业化应用,成为世界上首家自动检测嵌入式软件运行错误的工业化软件测试工具,被广泛应用于航空航天和军工、汽车、轨道交通、医疗器械等对于安全要求较高的嵌入式软件系统。Polyspace产品使用基于形式化的静态分析来发现运行时错误,以验证软件的安全性。它提供与MATLAB/Simulink的接口,提供全面的软件验证功能,以在早期开发阶段即可查找各种缺陷、检查编码规则、证明不存在运行时错误。

此次免费的上机体验活动,您将体会该解决方案所带来的收益:
•        检测难以发现的运行时错误
•        标准的编程规范检查 (MISRA C/C++)
•        证明软件的安全性
•        减少测试和验证周期
•        追踪软件质量指标
•        符合安全性标准要求(DO-178, ISO 26262, …)

活动特别说明:此次我们邀请了Polyspace欧洲开发团队的核心人员作为主讲人,因为提供上机体验,电脑有限,我们将在活动前五个工作日内根据报名先后电话确认,并告知培训地点。敬请谅解。

日期/地点:11月12日北京, 11月14日成都, 11月19日西安, 11月21日上海
时间:下午1点到5点
报名地址:点击此处,在线报名如有任何问题,请联系伍小姐:010-59827031, jane.wu#mathworks.cn (请把#替换成@)
更多详情:https://www.mathworks.cn/company ... html?s_eid=PEP_5764
分享到:  QQ好友和群QQ好友和群 QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友
收藏收藏
回复

使用道具 举报

  • TA的每日心情
    擦汗
    昨天 09:02
  • 签到天数: 1042 天

    连续签到: 4 天

    [LV.10]测试总司令

    2#
    发表于 2013-10-22 10:00:27 | 只看该作者
    进来支持下,免费的培训机会,大家可以踊跃报名参与了!
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    郁闷
    2016-3-11 10:15
  • 签到天数: 1 天

    连续签到: 1 天

    [LV.1]测试小兵

    3#
    发表于 2013-10-22 10:55:16 | 只看该作者
    为啥木有广州的!!
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    4#
    发表于 2013-10-22 14:54:25 | 只看该作者
    为嘛上海的培训时间是工作日。。。
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    5#
     楼主| 发表于 2013-10-22 15:11:15 | 只看该作者
    本帖最后由 jane_woods 于 2013-10-22 15:12 编辑

    这里有一篇咱们的资深会员写的关于Polyspace的文章,不过是老版本的。
    《嵌入式系统软件动态运行错误的检测方法(第一版)》原创
    回复 支持 反对

    使用道具 举报

  • TA的每日心情

    2015-12-14 11:32
  • 签到天数: 1 天

    连续签到: 1 天

    [LV.1]测试小兵

    6#
    发表于 2013-10-25 16:40:14 | 只看该作者
    0 0 全都是工作日啊,几乎都没有时间去了吧?大哭
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    7#
    发表于 2013-10-29 23:41:52 | 只看该作者
    看一下
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    8#
    发表于 2013-10-29 23:43:03 | 只看该作者
    先了解一下,
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    擦汗
    昨天 09:02
  • 签到天数: 1042 天

    连续签到: 4 天

    [LV.10]测试总司令

    9#
    发表于 2013-11-7 10:16:36 | 只看该作者
    大家快点来报名了。时间快到了哦!
    回复 支持 反对

    使用道具 举报

    本版积分规则

    关闭

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

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

    GMT+8, 2024-11-8 06:08 , Processed in 0.077191 second(s), 28 queries .

    Powered by Discuz! X3.2

    © 2001-2024 Comsenz Inc.

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