Skip to main content

永恒力

敏捷软件开发中的自动化代码和架构验证

徽标_永恒之力

关于永恒力

永恒力集团成立于1953年,是全球领先的解决方案提供商之一。永恒力拥有全面的工业车辆、物流系统和服务产品组合,为客户提供完美定制的解决方案,以应对工业4.0的挑战。

世界各地的人们都将永恒力这个品牌与高性能工业车辆、物流系统(包括工业4.0应用)联系在一起。在德国汉堡附近的诺德施泰特工厂,永恒力生产托盘搬运车、前移式叉车和拣选叉车。这里也是为各种产品系列开发控制单元软件的地方。对于永恒力来说,保持其软件和底层结构的高质量,同时在面对复杂系统和动态市场需求时保持灵活性是非常重要的。因此,该公司现在依赖Axivion Suite的支持。

为什么选择Axivion?

Axivion在面对复杂的系统和动态的市场要求时,也能帮助保持高质量

Axivion涵盖所有相关标准和指南,如MISRA C/C ++(包括最新2023版本)、EN 1175以及客户特定规则。

Axivion Architecture Verification可定期检查代码是否符合指定的软件架构

由于实现了无缝集成,开发者可在使用Axivion的同时,继续在熟悉的IDE中工作

更好地了解软件架构可提高工作效率和质量

Axivion集成到日常工作中,开发者可以轻松执行日常代码审查

从技术角度来看,Axivion Suite凭借其代码自动化验证和架构验证功能赢得了我们的青睐。然而,Axivion专业服务团队的出色支持是开发者高度认可并快速取得高效成果的关键所在:新工具套件的推出并集成到我们工作流的方式,以及对所有参与者的高度激励培训,使该套件取得了圆满成功。

永恒力诺德施泰特公司 软件架构与模块团队负责人 Jan Schröder

挑战

过去,经典叉车只是仓库中搬运货物的简单辅助工具。永恒力现代化产品配备了可与豪华轿车相媲美的安全与辅助系统。与汽车行业一样,电子设备和相关嵌入式软件是创新的主要驱动力:叉车不仅集成了线控转向系统和线控制动系统,还配备了先进的传感器和摄像头系统,以实现最佳安全性。

叉车本身和软件代码必须满足各种要求。例如,产品必须符合EN 1175【工业叉车安全】标准,代码必须符合MISRA C:2012标准,这些都是永恒力以特定编码指南的形式采用的质量标准。

产品的生命周期很长,通常跨越十多年。因此,这些产品所需的质量保证水平只是永恒力嵌入式软件开发者面临的众多挑战之一。但系统的复杂性、编程的时间压力以及涉及项目数量(不仅因为需要监管各种产品系列,还因为市场不断对系统不断提出的新要求)加在一起时,最终给整个团队带来了艰巨的任务。

在处理不断增加的嵌入式软件项目时,永恒力成功的关键在于公司的敏捷软件开发流程。为了支持这一流程并确保复杂软件和架构的质量保持不变,软件开发团队现在依赖Axivion Suite开展日常工作。

解决方案

Axivion Suite的核心是一套用于自动化分析静态代码的工具。通过定期检查,它可以检测出软件编程中常见错误源,如克隆代码、死代码和循环依赖。同时,规则检查器还能确保符合永恒力特定的编码指南以及MISRA C等重要的质量保证标准。

目前,Axivion Suite涵盖了MISRA C:2004、MISRA C:2012和MISRA C++:2008的所有自动可检查规则。Axivion Suite以自动报告的形式向用户呈现检查和分析结果。然而,Axivion Suite不仅能帮助开发者跟踪新创建的软件组件。多年来,由于功能和产品线的不断扩展,永恒力积累了包含数百万行代码的庞大遗留数据库。通过使用该工具的增量分析功能,开发者还可以自动测试这些遗留代码。此类代码审查往往极不受开发者欢迎,但在永恒力,Axivion Suite将其变成了一项易于管理的任务,并毫不费力地融入到日常开发流程中。

开发者无需掌握新的开发环境,因为Axivion Suite已融入永恒力现有的开发环境中:Microsoft Visual Studio。通过这种无缝集成,开发者可以继续在熟悉的IDE中工作。除了提供静态代码分析外,Axivion Suite还包含架构验证工具,这意味着它也是监控软件架构需求是否得到满足的主要工具。无论是开发新产品还是增强现有产品,遵守架构规范对于确保软件的长期可维护性和代码的高质量绝对至关重要。在Axivion Suite中,架构验证功能会定期执行检查,以确定代码是否与指定的软件架构一致。永恒力的软件架构师使用IBM Rational Rhapsody以常规方式对架构进行建模,并通过直接接口将建模结果输入到工具套件进一步分析。任何偏离架构的情况都会在与静态代码自动分析相同的结构化报告中为开发者标记出来。

从一开始,Axivion Suite的引入就受到Axivion以用户为中心的专业服务团队的监督。他们帮助确保工具套件能够快速集成到现有的开发系统中,并将永恒力的特定需求纳入代码和架构验证流程。但这还不是全部。团队还让开发者参与到新工具引入的早期阶段:通过全面的培训课程和一对一的指导,每位员工都在短时间内学会了如何高效地使用Axivion Suite及其功能。

成功

从一开始,永恒力的嵌入式软件开发者就对这套新工具给予了极高的认可。究其原因,培训让每位开发者都能将Axivion Suite融入到日常工作中,而迅速取得的成功也成为激励因素。因为界面友好、报告易于编辑,开发者对现有代码进行修改的意愿大幅提高。即使是新员工,也能在短时间内上手并提高工作效率。这是因为Axivion Suite中集成的文档允许独立学习,开发者可以根据自己的需要自学。

总体而言,尽管时间压力居高不下,系统复杂性不断增加,但Axivion Suite已经让开发者能够更轻松地进行日常代码审查。更重要的是,开发者从工具套件中获得对其新创建代码的及时反馈,使他们能够从中学习。这样,他们就能加深对软件架构的理解,并将新获得的知识直接应用到下一组编码操作中。这就自动提升了软件开发的效率和质量。

除了已取得的快速成功,永恒力还在Axivion Suite的帮助下为未来做好准备。其嵌入式软件开发者已准备好迎接更多创新,以及与之相伴的现象:嵌入式软件的重要性不断提升 —— 毕竟,软件一直是革命性新应用的基础,而且不仅仅是在汽车市场。

需要更多信息?

申请与我们的专家会面,了解 Axivion 如何帮助您确保软件代码的高质量。

 

联系我们