域名預(yù)訂/競(jìng)價(jià)，好“米”不錯(cuò)過(guò)

2021(第十屆)飛機(jī)航空電子國(guó)際論壇于6月22日-23日在上海召開(kāi)，本屆論壇以“關(guān)注飛機(jī)航空電子系統(tǒng)與設(shè)備數(shù)智化發(fā)展”為主題，結(jié)合未來(lái)飛機(jī)和電子技術(shù)發(fā)展趨勢(shì)，集中討論了飛機(jī)航空電子系統(tǒng)與設(shè)備數(shù)智化的主題，邀請(qǐng)了包括中國(guó)航空、中國(guó)商飛、上海交大、中國(guó)民航、Parasoft等在內(nèi)的500余位國(guó)內(nèi)外飛機(jī)航空電子領(lǐng)域的專業(yè)人士與會(huì)交流。

作為在國(guó)際航空電子軟件測(cè)試領(lǐng)域內(nèi)服務(wù)超過(guò)三十多年的服務(wù)商，Parasoft受邀在2021(第十屆)飛機(jī)航空電子國(guó)際論壇上，做了主題為“Parasoft解決方案在航空領(lǐng)域內(nèi)的應(yīng)用”的報(bào)告，受到了現(xiàn)場(chǎng)專家們的一致稱贊。

　　圖一：Parasoft受邀在2021（第十屆）飛機(jī)航空電子國(guó)際論壇上演講

過(guò)去十年，我國(guó)民用航空市場(chǎng)增長(zhǎng)迅速，民用航空工業(yè)逐步融入世界航空產(chǎn)業(yè)鏈，CR929、C919、ARJ21、新舟系列支線客機(jī)、C系列直升機(jī)等國(guó)產(chǎn)民機(jī)型號(hào)的研制與運(yùn)營(yíng)，為我國(guó)民航強(qiáng)國(guó)戰(zhàn)略和制造強(qiáng)國(guó)戰(zhàn)略提供了重要支撐。作為民用航空安全的核心構(gòu)成部分，航空電子系統(tǒng)的安全性和可靠性水平，成為制約中國(guó)民航事業(yè)發(fā)展的桎梏。針對(duì)這一難題，DO-178C標(biāo)準(zhǔn)一直以來(lái)被國(guó)際通用。

DO-178C(機(jī)載系統(tǒng)和設(shè)備認(rèn)證中的軟件考慮)也被稱為適航符合性方法，國(guó)際上要求航空電子需要完全按照DO-178C中提出的過(guò)程要求來(lái)開(kāi)發(fā)軟件，用于支撐適航規(guī)章，而目前行業(yè)一直在遵從DO-178C(比如國(guó)內(nèi)的DO-178B也是參照DO-178C的標(biāo)準(zhǔn))的標(biāo)準(zhǔn)開(kāi)發(fā)航空軟件。DO-178C標(biāo)準(zhǔn)對(duì)軟件的全生命周期做了詳細(xì)的規(guī)定和要求，從最早的需求分析(系統(tǒng)設(shè)計(jì))、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)均有詳細(xì)的標(biāo)準(zhǔn)要求。畢竟對(duì)于需要飛上天的工具，相比陸地工具對(duì)于軟件的安全性和可靠性有著更高的要求，對(duì)于遵從DO-178標(biāo)準(zhǔn)一致性的軟件測(cè)試挑戰(zhàn)，要求也是行業(yè)最高級(jí)別的存在。上文中提到的Parasoft在民航電子軟件測(cè)試領(lǐng)域，有著三十多年的行業(yè)經(jīng)驗(yàn)和技術(shù)積累，尤其對(duì)于解決DO-178標(biāo)準(zhǔn)驗(yàn)證的挑戰(zhàn)，Parasoft可提供端到端的全軟件生命周期測(cè)試需求。

　　圖二：2021（第十屆）飛機(jī)航空電子國(guó)際論壇會(huì)議現(xiàn)場(chǎng)

“針對(duì)DO-178C要求，Parasoft 解決方案可提供針對(duì)需求雙向可追溯性、源代碼測(cè)試、目標(biāo)代碼測(cè)試、覆蓋率分析、專用的遵從性儀表盤等解決方案，在源代碼測(cè)試執(zhí)行中，提供包括靜態(tài)分析(MISRA， AUTOSAR C++14， CERT， JSF)、單元測(cè)試、集成測(cè)試、系統(tǒng)測(cè)試的全生命周期軟件測(cè)試解決方案。”Parasoft技術(shù)總監(jiān)在本次論壇上介紹說(shuō)。

基于航空電子對(duì)于軟件的安全性級(jí)別，Parasoft多年來(lái)形成了“對(duì)于航空軟件安全領(lǐng)先的安全(safety)和安全(security)合規(guī)解決方案，比如CERT C / CERT C++ 、MISRA C 2012 、AUTOSAR C++14 、Joint Strike Fighter 、CWE 等，提供最完整的行業(yè)編碼覆蓋、支持自定義檢查器的創(chuàng)建、支持查找重復(fù)代碼和代碼復(fù)雜性度量。”同時(shí)，根據(jù)DO-178B/C Level A需求，以及從上位機(jī)(主機(jī))和目標(biāo)板硬件中收集結(jié)構(gòu)覆蓋率等嚴(yán)格的要求，Parasoft 產(chǎn)品也可執(zhí)行目標(biāo)代碼驗(yàn)證，不僅可以節(jié)省幾天甚至幾周的勞動(dòng)密集型、容易出錯(cuò)的手工工作，而且大大提升航空電子軟件的安全性。

　　圖三：會(huì)議現(xiàn)場(chǎng)交流

如今，面向服務(wù)的 SOA 架構(gòu)在航空領(lǐng)域同樣應(yīng)用非常廣泛，涉及包括從商務(wù)(CRM)、機(jī)務(wù)(MRO)、航務(wù)(AOC)、管控(ERP)，到數(shù)據(jù)中心等系統(tǒng)的業(yè)務(wù)交互。Parasoft SOAtest/Virutalize 系列產(chǎn)品，能很好解決航空領(lǐng)域 SOA 架構(gòu)系統(tǒng)之間 API 服務(wù)的功能測(cè)試、性能測(cè)試和服務(wù)虛擬化。

對(duì)此，Parasoft技術(shù)總監(jiān)周杰先生表示，“Parasoft SOA松耦合、可重用、易于拓展的服務(wù)特性，其可通過(guò)接口進(jìn)行通信、獨(dú)立于特定硬件、操作系統(tǒng)和編程語(yǔ)言，軟硬件分離。而且Parasoft SOAtest廣泛支持如SOA架構(gòu)的協(xié)議、接口及消息格式協(xié)議和接口，可實(shí)現(xiàn)自動(dòng)化端到端的測(cè)試服務(wù)，解決了SOA的測(cè)試難點(diǎn)。”同時(shí)，在測(cè)試壓力較大的環(huán)境下，“作為SOAtest的壓力性能測(cè)試組件，Parasoft Load Test在負(fù)載下可驗(yàn)證軟件性能和功能預(yù)期。”周杰介紹說(shuō)。

不僅如此，在航空電子領(lǐng)域內(nèi)，對(duì)于困擾測(cè)試人員盡早開(kāi)展工作難以訪問(wèn)的、相對(duì)獨(dú)立的分布式系統(tǒng)，Parasoft Virtualize服務(wù)虛擬化可系統(tǒng)解決這一問(wèn)題。Parasoft覆蓋航空電子全領(lǐng)域的軟件測(cè)試解決方案，多年來(lái)幫助諸多合作伙伴因軟件安全、系統(tǒng)故障導(dǎo)致的航空問(wèn)題，而且在幫助合作商從軟件開(kāi)發(fā)、測(cè)試、交付、部署，到使用等全生命周期內(nèi)，提供端到端軟件全生命周期的測(cè)試解決方案。

“十四五”期間，我國(guó)航空電子產(chǎn)業(yè)將迎來(lái)新一輪的發(fā)展良機(jī)，新一代的航空電子系統(tǒng)不僅引進(jìn)了新的理念，而且有了新器件，需要新的開(kāi)發(fā)工具來(lái)支持。隨著5G通信、AI人工智能、VR虛擬現(xiàn)實(shí)等技術(shù)的快速進(jìn)步，航空電子系統(tǒng)的綜合化、智能化、模塊化水平不斷提高，已經(jīng)日益成為飛機(jī)不可或缺的組成部分，在保障飛機(jī)安全、保證運(yùn)行方面發(fā)揮著重要作用。在此背景下Parasoft將成為這個(gè)行業(yè)大勢(shì)中不可獲取的參與者，其將繼續(xù)為中國(guó)航空電子的安全和運(yùn)行上的最后一道保險(xiǎn)，成為中國(guó)航空電子產(chǎn)業(yè)陣營(yíng)中的領(lǐng)導(dǎo)者。(BM)

申請(qǐng)創(chuàng)業(yè)報(bào)道，分享創(chuàng)業(yè)好點(diǎn)子。點(diǎn)擊此處，共同探討創(chuàng)業(yè)新機(jī)遇！