Elektrobit(EB)是一家屡获殊荣、富有远见的全球供应商,致力于为汽车行业提供嵌入式互联软件产品和技术服务。
作为汽车软件行业的佼佼者,凭借30 多年的从业服务经验,EB 为超过一亿辆汽车逾 10 亿台设备提供支持,并针对汽车的基础软件、互联和安全、自动驾驶、相关工具以及用户体验提供了灵活、创新的解决方案。
嵌入式设备是物联网(IoT)的核心,而Elektrobit是嵌入式软件开发的核心。他们为汽车的嵌入式设备提供了HMI技术、导航、电子控制单元(ECU)和软件技术。
随着客户对开放性、连接性和集成需求的不断增加,Elektrobit需要重新评估其嵌入式软件的安全性。为了确保其嵌入式软件的安全、可靠、合规,Elektrobit需要一个有效的分析解决方案,以避免对该领域的产品进行成本高昂的召回。
当Elektrobit选择采用一种新的静态代码分析工具时,需要结合技术评估和程序员的经验来选择正确的工具。
Klocwork帮助Elektrobit
• 改进软件架构
• 获得准确的结果(误报更少)
• 保证质量(在大型代码库中)
- 使用静态代码分析的好处
25年来,Elektrobit为关键的汽车制造商和供应商提供了可信任的安全可靠的产品。随着系统复杂性的增加和发布周期的加快,Elektrobit的软件工程团队需要一个静态代码分析解决方案,以防止代码缺陷出现在产品测试时或产品交付给客户之前。
Elektrobit的软件系统工程负责人Alexander Much利用他作为资深程序员的经验,将静态代码分析引入到流程改进中。代码改进和安全性是他考虑的首要问题,但他知道新的工具对程序员来说是一件难事。
缺陷和召回非常昂贵,我们负担不起。我的经验告诉我,如果你现在不使用静态代码分析,你就不是最先进的。这不是我们第一次在Elektrobit引入静态代码分析,最重要的是赢得编程团队的信任。
-Alexander Much,Elektrobit软件系统工程负责人
与Elektrobit的产品一样,在开发过程中采用静态代码分析工具与技术有关,也与建立程序员的信心有关。
- 理想的静态代码分析工具
由于汽车原始设备制造商严格的软件代码合规性要求和具有挑战性的代码库,Elektrobit知道它必须选择正确的静态代码分析工具,以满足多种需求。
例如,编程团队一直在使用不太复杂的工具来识别缺陷。然而,报告问题的数量以及信息的缺乏使得其很难区分真正的缺陷和误报。
此外,他们还拥有非常庞大的代码库和来自内部开发团队、供应商甚至开源代码的多种输入。Much先生解释说:“汽车原始设备制造商对需要什么有一个清晰的概念,我们必须将这些需求推给供应商。最终,我们的责任是确保他们符合所有标准。静态代码分析工具必须简单地处理这一问题。”
针对这一具有挑战性的环境,执行了严格的工具评估过程以衡量工具性能:首先是非常大的代码库,集成了大量提供的代码,避免了大量误报。采用增量方法,评估团队首先运行由软件架构师选择的一组规则,一旦结果可以接受,就转到下一组规则。
经过三个月的评估,Klocwork被选为首选工具。
“在2到300万行代码中,我们运行Klocwork来应对多个竞争者。它很好的处理了代码库并且有能力用一种有效的方式处理C++模板。相比之下,错误率也很低。”
-Alexander Much
由于每个开发团队所特有的环境复杂性,随着Klocwork的采用,其他好处也开始发挥作用。Elektrobit就关键问题或新功能直接与产品经理合作,这有助于构建Klocwork的路线图。这种关系是难题中的一个重要部分,因为静态代码分析是交付健壮产品的关键组件。
“你购买的不是一个简单的静态代码分析工具,你会感到和它是合作的关系。如果有用户反馈如何使用它,并提供改进的想法,它只能成功。该工具善于分析代码数量庞大的代码库。我们与Klocwork的关系一直是成功的,因为我们对它的各方面都有这种信任。”
-Alexander Much
- Klocwork如何继续发挥作用
在整个供应链中,Elektrobit重视对工具的信任和信心,正如他们的客户对他们的期望一样,Klocwork是一个自然的选择。它帮助像Elektrobit这样的组织生产安全、可靠的软件。
了解更多有关Klocwork的试用体验、技术信息及商务服务,请访问http://m6z.cn/5RbQvj留下您的详细需求,或按以下方式联系旋极信息:

如何在buildr项目中使用Ruby?我在很多不同的项目中使用过Ruby、JRuby、Java和Clojure。我目前正在使用我的标准Ruby开发一个模拟应用程序,我想尝试使用Clojure后端(我确实喜欢功能代码)以及JRubygui和测试套件。我还可以看到在未来的不同项目中使用Scala作为后端。我想我要为我的项目尝试一下buildr(http://buildr.apache.org/),但我注意到buildr似乎没有设置为在项目中使用JRuby代码本身!这看起来有点傻,因为该工具旨在统一通用的JVM语言并且是在ruby中构建的。除了将输出的jar包含在一个独特的、仅限ruby
在rails源中:https://github.com/rails/rails/blob/master/activesupport/lib/active_support/lazy_load_hooks.rb可以看到以下内容@load_hooks=Hash.new{|h,k|h[k]=[]}在IRB中,它只是初始化一个空哈希。和做有什么区别@load_hooks=Hash.new 最佳答案 查看rubydocumentationforHashnew→new_hashclicktotogglesourcenew(obj)→new_has
我的主要目标是能够完全理解我正在使用的库/gem。我尝试在Github上从头到尾阅读源代码,但这真的很难。我认为更有趣、更温和的踏脚石就是在使用时阅读每个库/gem方法的源代码。例如,我想知道RubyonRails中的redirect_to方法是如何工作的:如何查找redirect_to方法的源代码?我知道在pry中我可以执行类似show-methodmethod的操作,但我如何才能对Rails框架中的方法执行此操作?您对我如何更好地理解Gem及其API有什么建议吗?仅仅阅读源代码似乎真的很难,尤其是对于框架。谢谢! 最佳答案 Ru
我的假设是moduleAmoduleBendend和moduleA::Bend是一样的。我能够从thisblog找到解决方案,thisSOthread和andthisSOthread.为什么以及什么时候应该更喜欢紧凑语法A::B而不是另一个,因为它显然有一个缺点?我有一种直觉,它可能与性能有关,因为在更多命名空间中查找常量需要更多计算。但是我无法通过对普通类进行基准测试来验证这一点。 最佳答案 这两种写作方法经常被混淆。首先要说的是,据我所知,没有可衡量的性能差异。(在下面的书面示例中不断查找)最明显的区别,可能也是最著名的,是你的
几个月前,我读了一篇关于rubygem的博客文章,它可以通过阅读代码本身来确定编程语言。对于我的生活,我不记得博客或gem的名称。谷歌搜索“ruby编程语言猜测”及其变体也无济于事。有人碰巧知道相关gem的名称吗? 最佳答案 是这个吗:http://github.com/chrislo/sourceclassifier/tree/master 关于ruby-寻找通过阅读代码确定编程语言的rubygem?,我们在StackOverflow上找到一个类似的问题:
我目前正在使用以下方法获取页面的源代码:Net::HTTP.get(URI.parse(page.url))我还想获取HTTP状态,而无需发出第二个请求。有没有办法用另一种方法做到这一点?我一直在查看文档,但似乎找不到我要找的东西。 最佳答案 在我看来,除非您需要一些真正的低级访问或控制,否则最好使用Ruby的内置Open::URI模块:require'open-uri'io=open('http://www.example.org/')#=>#body=io.read[0,50]#=>"["200","OK"]io.base_ur
无论您是想搭建桌面端、WEB端或者移动端APP应用,HOOPSPlatform组件都可以为您提供弹性的3D集成架构,同时,由工业领域3D技术专家组成的HOOPS技术团队也能为您提供技术支持服务。如果您的客户期望有一种在多个平台(桌面/WEB/APP,而且某些客户端是“瘦”客户端)快速、方便地将数据接入到3D应用系统的解决方案,并且当访问数据时,在各个平台上的性能和用户体验保持一致,HOOPSPlatform将帮助您完成。利用HOOPSPlatform,您可以开发在任何环境下的3D基础应用架构。HOOPSPlatform可以帮您打造3D创新型产品,HOOPSSDK包含的技术有:快速且准确的CAD
前言作为一名程序员,自己的本质工作就是做程序开发,那么程序开发的时候最直接的体现就是代码,检验一个程序员技术水平的一个核心环节就是开发时候的代码能力。众所周知,程序开发的水平提升是一个循序渐进的过程,每一位程序员都是从“菜鸟”变成“大神”的,所以程序员在程序开发过程中的代码能力也是根据平时开发中的业务实践来积累和提升的。提高代码能力核心要素程序员要想提高自身代码能力,尤其是新晋程序员的代码能力有很大的提升空间的时候,需要针对性的去提高自己的代码能力。提高代码能力其实有几个比较关键的点,只要把握住这些方面,就能很好的、快速的提高自己的一部分代码能力。1、多去阅读开源项目,如有机会可以亲自参与开源
嗨~大家好,这里是可莉!今天给大家带来的是7个C语言的经典基础代码~那一起往下看下去把【程序一】打印100到200之间的素数#includeintmain(){ inti; for(i=100;i 【程序二】输出乘法口诀表#includeintmain(){inti;for(i=1;i 【程序三】判断1000年---2000年之间的闰年#includeintmain(){intyear;for(year=1000;year 【程序四】给定两个整形变量的值,将两个值的内容进行交换。这里提供两种方法来进行交换,第一种为创建临时变量来进行交换,第二种是不创建临时变量而直接进行交换。1.创建临时变量来
C#实现简易绘图工具一.引言实验目的:通过制作窗体应用程序(C#画图软件),熟悉基本的窗体设计过程以及控件设计,事件处理等,熟悉使用C#的winform窗体进行绘图的基本步骤,对于面向对象编程有更加深刻的体会.Tutorial任务设计一个具有基本功能的画图软件**·包括简单的新建文件,保存,重新绘图等功能**·实现一些基本图形的绘制,包括铅笔和基本形状等,学习橡皮工具的创建**·设计一个合理舒适的UI界面**注明:你可能需要先了解一些关于winform窗体应用程序绘图的基本知识,以及关于GDI+类和结构的知识二.实验环境Windows系统下的visualstudio2017C#窗体应用程序三.