收藏帖

• 抢占免费上机培训：安全关键嵌入式软件的代码验证

  2013-10-21 17:28:13   /   [51Testing软件测试沙龙]

  本帖最后由 jane_woods 于 2013-10-21 17:33 编辑当年欧洲阿里安娜501火箭由于飞行计算机软件运行错误而导致主/辅计算机全部停机并在飞行升空后爆炸，为此，法国国家计算机与控制研究所、欧洲航天局组织专门的力量研制以抽象解释技术为理论基础的新一代软件验证/测试工具---PolySpace，并在阿里安娜502上得到成功的应用。此后PolySpace商业化应用，成为世界上首家自动检测嵌入式软件运行错误的工业化软件测试工具，被广泛应用于航空航天和军工、汽车、轨道交通、医疗器械等对于安全要求较高的嵌入式软件系统。Polyspace产品使用基于.

  查看(1282) 评论(8)

• 【QTP下载】QTP8.0>8.2>9.0>9.2>9.5>10>11>11.5下载地址

  2012-01-09 16:44:58   /   [QuickTest Professional]

  本帖最后由 黑羽祭 于 2013-9-16 10:42 编辑迅雷快传每隔20天就要续期一次，实在麻烦，经常会忘记，所以我又搞成电驴链接了，这个链接迅雷，旋风都可以下载。直接点击下载就OK了，也不用复制啦！希望对你们有帮助~~~~~~~爱你们的哆啦A梦~~~~~~~论坛上也有，但是找的话确实很费劲，所以我搜寻了下，找了找共享出来，要的自己下载。。。。现在先发各个版本的下载地址吧，补丁什么的以后再发吧。。。。希望能对你们有所帮助。***QTP11.5 下载地址：http://bbs.51testing.com/thread-883429-1-1.html共享一.

  查看(155392) 评论(3786)