Parasoft引领航空电子软件安全数智化时代

　　2021（第十届）飞机航空电子国际论坛于6月22日-23日在上海召开，本届论坛以“关注飞机航空电子系统与设备数智化发展”为主题，结合未来飞机和电子技术发展趋势，集中讨论了飞机航空电子系统与设备数智化的主题，邀请了包括中国航空、中国商飞、上海交大、中国民航、Parasoft等在内的500余位国内外飞机航空电子领域的专业人士与会交流。

　　作为在国际航空电子软件测试领域内服务超过三十多年的服务商，Parasoft受邀在2021（第十届）飞机航空电子国际论坛上，做了主题为“Parasoft解决方案在航空领域内的应用”的报告，受到了现场专家们的一致称赞。

　　 图一：Parasoft受邀在2021（第十届）飞机航空电子国际论坛上演讲

　　过去十年，我国民用航空市场增长迅速，民用航空工业逐步融入世界航空产业链，CR929、C919、ARJ21、新舟系列支线客机、C系列直升机等国产民机型号的研制与运营，为我国民航强国战略和制造强国战略提供了重要支撑。作为民用航空安全的核心构成部分，航空电子系统的安全性和可靠性水平，成为制约中国民航事业发展的桎梏。针对这一难题，DO-178C标准一直以来被国际通用。

　　DO-178C（机载系统和设备认证中的软件考虑）也被称为适航符合性方法，国际上要求航空电子需要完全按照DO-178C中提出的过程要求来开发软件，用于支撑适航规章，而目前行业一直在遵从DO-178C（比如国内的DO-178B也是参照DO-178C的标准）的标准开发航空软件。DO-178C标准对软件的全生命周期做了详细的规定和要求，从最早的需求分析（系统设计）、概要设计、详细设计均有详细的标准要求。毕竟对于需要飞上天的工具，相比陆地工具对于软件的安全性和可靠性有着更高的要求，对于遵从DO-178标准一致性的软件测试挑战，要求也是行业，级别的存在。上文中提到的Parasoft在民航电子软件测试领域，有着三十多年的行业经验和技术积累，尤其对于解决DO-178标准验证的挑战，Parasoft可提供端到端的全软件生命周期测试需求。

　　 图二：2021（第十届）飞机航空电子国际论坛会议现场

　　“针对DO-178C要求，Parasoft 解决方案可提供针对需求双向可追溯性、源代码测试、目标代码测试、覆盖率分析、专用的遵从性仪表盘等解决方案，在源代码测试执行中，提供包括静态分析（MISRA, AUTOSAR C++14, CERT, JSF）、单元测试、集成测试、系统测试的全生命周期软件测试解决方案。”Parasoft技术总监在本次论坛上介绍说。

　　基于航空电子对于软件的安全性级别，Parasoft多年来形成了“对于航空软件安全领先的安全（safety）和安全（security）合规解决方案，比如CERT C / CERT C++ 、MISRA C 2012 、AUTOSAR C++14 、Joint Strike Fighter 、CWE 等，提供最完整的行业编码覆盖、支持自定义检查器的创建、支持查找重复代码和代码复杂性度量。”同时，根据DO-178B/C Level A需求，以及从上位机(主机)和目标板硬件中收集结构覆盖率等严格的要求，Parasoft 产品也可执行目标代码验证，不仅可以节省几天甚至几周的劳动密集型、容易出错的手工工作，而且大大提升航空电子软件的安全性。

　　 图三：会议现场交流

　　如今，面向服务的SOA 架构在航空领域同样应用非常广泛，涉及包括从商务（CRM）、机务（MRO）、航务（AOC）、管控（ERP），到数据中心等系统的业务交互。Parasoft SOAtest/Virutalize 系列产品，能很好解决航空领域 SOA 架构系统之间 API 服务的功能测试、性能测试和服务虚拟化。

　　对此，Parasoft技术总监周杰先生表示，“Parasoft SOA松耦合、可重用、易于拓展的服务特性，其可通过接口进行通信、独立于特定硬件、操作系统和编程语言,软硬件分离。而且Parasoft SOAtest广泛支持如SOA架构的协议、接口及消息格式协议和接口，可实现自动化端到端的测试服务，解决了SOA的测试难点。”同时，在测试压力较大的环境下，“作为SOAtest的压力性能测试组件，Parasoft Load Test在负载下可验证软件性能和功能预期。”周杰介绍说。

　　不仅如此，在航空电子领域内，对于困扰测试人员尽早开展工作难以访问的、相对独立的分布式系统，Parasoft Virtualize服务虚拟化可系统解决这一问题。Parasoft覆盖航空电子全领域的软件测试解决方案，多年来帮助诸多合作伙伴因软件安全、系统故障导致的航空问题，而且在帮助合作商从软件开发、测试、交付、部署，到使用等全生命周期内，提供端到端软件全生命周期的测试解决方案。

　　“十四五”期间，我国航空电子产业将迎来新一轮的发展良机，新一代的航空电子系统不仅引进了新的理念，而且有了新器件，需要新的开发工具来支持。随着5G通信、AI人工智能、VR虚拟现实等技术的快速进步，航空电子系统的综合化、智能化、模块化水平不断提高，已经日益成为飞机不可或缺的组成部分，在保障飞机安全、保证运行方面发挥着重要作用。在此背景下Parasoft将成为这个行业大势中不可获取的参与者，其将继续为中国航空电子的安全和运行上的，一道保险，成为中国航空电子产业阵营中的，。（BM）