林德物料搬运公司成功案例：基于功能需求开发的软件模型质量保障

为了保证软件整体质量，软件测试和初始质量保证是必须的但并非唯一任务。在高质量软件的开发过程中，功能需求也至关重要。基于功能需求开发的软件模型在部分自动化的过程中进行测试和优化。近期，MES的专家正在为林德物料搬运有限公司（以下简称林德公司）的以上测试步骤进行优化。林德公司已将MES的两个软件质量工具，即用于动态测试的MES Test Manager®和用于静态测试的MES Model Examiner®纳入其开发流程中。

功能需求构成了各部门人员对开发中的软件产品达成共识的基础。这种共识对于所有参与软件开发过程的人员来说都至关重要。在一个项目中，编写软件功能需求首先将耗费大量时间。此外，来自不同部门的同事在不同的岗位上必须一起合作。因此，除了需求工程师，软件开发人员和特定功能的测试人员都应该参与到这个过程中。这有助于避免不必要的审查，并确保在开发项目的早期阶段就有良好的质量需求。此外，这大大提高了软件开发和测试的效率，并最终成就优质的软件质量。当需求工程师、开发人员和测试人员在早期阶段进行合作时，也有助于降低项目的成本。

在制定需求时，如果使用自然语言，就要面临由语言的不准确而产生歧义的可能性。因此，需求既要明确又要可理解。最理想情况下，应该没有因差异解读而产生歧义的空间。形式化的需求，如MTest可评估需求语法（Assessable Requirements Syntax，简称MARS）中使用的需求，可解决这个问题。通过使用MARS编辑器，借助其明确的语言和对“需求”创建的指导，这样写出来的软件需求明确且易于理解。由此一来，开发人员可以更有效地处理各个过程步骤——从创建软件需求到基于需求的软件测试，为项目节省大量时间和金钱。

寻找合适的合作伙伴

林德公司就引进基于模型的开发向MES模赛寻求支持。在MES学院和MES测试中心的配合下，MES模赛思和林德公司确定了一个系统而全面的质量保证流程。该流程的主要目的之一是即使在开发团队工作量饱和的情况下也能确保软件的高质量。

在林德公司逐步引进软件质量工具的同时，也在软件开发过程中引入相应步骤。如前所述，待开发软件的功能需求是整个开发过程的基础，它们是保证软件最高质量的关键所在。在合作早期，MES测试中心帮助林德公司的需求工程师创建具体需求。在项目审查阶段，将检查这些需求的可理解性和可测试性。然后，需求工程师和软件开发人员合作将这些需求翻译成正式的MARS语言。

林德公司专业软件工程师Philipp Hezel解释道："有了明确定义的语言区域，就可以写出清晰无歧义、形式统一的需求。此外，通过在开发过程中测试，可以减少技术债务。"

MES模赛思和林德公司在一些重要的流程步骤上进行合作，如定义测试进入和退出条件。软件模块一旦测试完成，就会在一个联合流程中进行审查。然后，完成的测试项目被移交给林德公司。这些项目包含实际测试案例以及环境参数形式的结果数据。此外，MES模赛思还提供了自动测试评估，包括测试结果的详细文件和实现的测试范围。

林德公司的高级专业软件工程师兼项目经理Kilian Abb对他所负责的项目这样评价道："MES模赛思的团队成员在实际工作中解决问题的能力在帮助我们建立新流程步骤和按时完成项目方面起到了重要作用。同时，在MES模赛思的帮助下我们也建立了公司内部独立的测试部门。"

以上成果也是后来林德公司独立进行回归测试的基础。测试结果的可追溯性在任何时候都能得到保证，调整和修改过的需求也可以随时快速重新测试，而无需依赖服务提供商。

关于MES模赛思: 软件质量尽在控制之中

模赛思软件技术有限公司(Model Engineering Solutions)，简称MES)是一家来自德国柏林的高科技软件公司，专为软件项目的质量保障提供解决方案。

MES为客户基于模型的软件开发提供技术支持，使其符合IEC 61508、ISO 26262和ASPICE等行业标准。MES模赛思成立于2006年，总部位于德国柏林。Hartmut Pohlheim博士作为基于模型的开发领域最著名的专家之一，自2008年起任公司常务董事。MES的主要客户包括整车厂如戴姆勒、大众、丰田和吉利等以及博世、西门子和三星等行业供应商。在汽车行业中，除少数几家公司外，全球数十家顶尖制造商及供应商均在他们的开发环境中使用MES的解决方案。为支持其全球客户，MES已在美国和中国建立了子公司，并与全球分销商网络紧密合作。

MES的产品包括4种质量工具软件：MXAM、MES Test Manager®、MoRe和MQC，它们共同构成了一个工具链，全面保障基于模型的软件开发过程中所有阶段的质量。通过MES Jenkins Plugin，该工具链也可以在持续集成环境中使用。工具链主要应用平台为MATLAB®/Simulink®。除了MES质量工具外，MES测试中心和MES学院的专家们还为全球客户提供关于质量保证和开发流程优化的定制咨询服务及培训课程。

MES是dSPACE 公司的战略合作伙伴和MathWorks及ETAS的产品合作伙伴。MES学院与SAE International有合作关系。