航空行業(yè)案例：為航空公司提供航空電子系統(tǒng)，通過(guò)DO-178C標(biāo)準(zhǔn)驗(yàn)證

---

Parasoft是構(gòu)建高質(zhì)量軟件的最佳解決方案。從開(kāi)發(fā)到質(zhì)量檢查，Parasoft的技術(shù)通過(guò)集成靜態(tài)和運(yùn)行時(shí)分析，單元、功能和API測(cè)試，以及服務(wù)虛擬化，在不犧牲質(zhì)量和安全性的情況下加快軟件交付，節(jié)約交付成本。

那么Parasoft究竟能夠運(yùn)用在哪些領(lǐng)域？是否對(duì)于您的項(xiàng)目有幫助呢？本文小編給大家?guī)?lái)一個(gè)真實(shí)案例——國(guó)防和航空航天工業(yè)的領(lǐng)導(dǎo)者，提供安全、可靠的航空電子系統(tǒng)，DO-178C標(biāo)準(zhǔn)驗(yàn)證。（PDF版點(diǎn)擊此處下載）

>>如果您想使用Parasoft測(cè)試是否滿足項(xiàng)目要求，可聯(lián)系客服或填寫(xiě)表單申請(qǐng)?jiān)囉?/a>。

---

企業(yè)背景

國(guó)防和航空航天工業(yè)的領(lǐng)導(dǎo)者，在八十多年的時(shí)間里一直在建造軍用和民用航空飛機(jī)。在這段時(shí)間里，他們從建造機(jī)電系統(tǒng)發(fā)展到為各種平臺(tái)設(shè)計(jì)和開(kāi)發(fā)先進(jìn)的硬件和軟件航空系統(tǒng)。在過(guò)去的50年里，航空電子組一直在培養(yǎng)一種實(shí)現(xiàn)、維護(hù)和提供安全、可靠的航空系統(tǒng)的發(fā)展文化。

這家領(lǐng)先的航空電子公司制造的部件包括具有最高安全關(guān)鍵要求的飛行控制和執(zhí)行系統(tǒng)。該公司專(zhuān)門(mén)為飛機(jī)態(tài)勢(shì)安全和意識(shí)、無(wú)線電和音頻管理、數(shù)據(jù)采集和機(jī)載計(jì)算機(jī)系統(tǒng)創(chuàng)建符合DO-178C標(biāo)準(zhǔn)的航空電子系統(tǒng)。此外，他們還制造溫度和振動(dòng)傳感器。

挑戰(zhàn)

該公司面臨著圍繞編碼標(biāo)準(zhǔn)的兩個(gè)主要挑戰(zhàn)：

• 納入編碼標(biāo)準(zhǔn)以符合DO-178C并通過(guò)審計(jì)。
  
• 找到一個(gè)可定制的測(cè)試工具來(lái)執(zhí)行其公司的規(guī)則和標(biāo)準(zhǔn)。

遵守DO-178C標(biāo)準(zhǔn)

目前，公司必須按照最嚴(yán)格的航空電子工藝標(biāo)準(zhǔn)，即RTCA DO-178C DAL A來(lái)設(shè)計(jì)、開(kāi)發(fā)和測(cè)試他們的飛行控制系統(tǒng)。DO-178C的部分驗(yàn)證和確認(rèn)階段要求應(yīng)用靜態(tài)代碼分析和使用編碼標(biāo)準(zhǔn)。使用編碼標(biāo)準(zhǔn)來(lái)遵守DO-178C是至關(guān)重要的。

測(cè)試自定義編碼標(biāo)準(zhǔn)

對(duì)于如何編寫(xiě)代碼，航空電子公司有自己的最佳實(shí)踐和高標(biāo)準(zhǔn)。因此，軟件開(kāi)發(fā)團(tuán)隊(duì)根據(jù)多年來(lái)積累的成熟的編碼實(shí)踐建立并部署了自己的編碼標(biāo)準(zhǔn)，并以現(xiàn)有的行業(yè)標(biāo)準(zhǔn)（如MISRA C和ISO C90）對(duì)其進(jìn)行了擴(kuò)充。

采用這些定制的標(biāo)準(zhǔn)，可以避免導(dǎo)致不需要的和不可預(yù)測(cè)的行為的編碼結(jié)構(gòu)。

為了提高他們的代碼審查過(guò)程的效率，該團(tuán)隊(duì)需要一個(gè)工具來(lái)自動(dòng)化并協(xié)助執(zhí)行代碼分析和編碼執(zhí)行。對(duì)該工具的其他要求包括：

• 執(zhí)行所有自定義編碼規(guī)則和指南。
• 團(tuán)隊(duì)盡職調(diào)查的文件，以供以后審計(jì) ? 可追溯性，這也是 DO-178C 所要求的。

解決方案

由于需要完全定制編碼標(biāo)準(zhǔn)規(guī)則集，這家航空電子行業(yè)的領(lǐng)導(dǎo)者選擇了Parasoft C/C++測(cè)試解決方案，為其安全關(guān)鍵型軟件自動(dòng)進(jìn)行編碼標(biāo)準(zhǔn)分析、審查和執(zhí)行。他們依靠Parasoft對(duì)MISRA C、DO-178C以及其自身定制的規(guī)則集的支持。

定制編碼標(biāo)準(zhǔn)和自動(dòng)化測(cè)試的目的是為了提高整體開(kāi)發(fā)效率，使代碼更容易審查、調(diào)試、更新和維護(hù)。

該公司還需要一個(gè)能夠整合到他們的安全關(guān)鍵開(kāi)發(fā)流程的解決方案。Parasoft C/C++test順利地融入了他們的開(kāi)發(fā)工作流程，使他們的編碼標(biāo)準(zhǔn)和審查過(guò)程自動(dòng)化。

Parasoft的優(yōu)勢(shì)

這家航空電子公司將Parasoft C/C++test實(shí)施到他們的安全關(guān)鍵軟件開(kāi)發(fā)過(guò)程中，產(chǎn)生了顯著的效益。

為開(kāi)發(fā)人員提供持續(xù)的反饋。在開(kāi)發(fā)過(guò)程中，團(tuán)隊(duì)使用該解決方案來(lái)分析正在開(kāi)發(fā)的代碼，并在開(kāi)發(fā)人員工作時(shí)獲得直接反饋。他們可以得到關(guān)于編碼標(biāo)準(zhǔn)符合性和早期缺陷檢測(cè)的即時(shí)反饋。

幫助加入新的開(kāi)發(fā) 職員。新人員可以快速了解公司的標(biāo)準(zhǔn)。由于工具的即時(shí)支持和反饋，新員工可以快速學(xué)習(xí)編碼標(biāo)準(zhǔn)。

啟用規(guī)則定制。我們的客戶開(kāi)發(fā)了他們自己的靜態(tài)分析規(guī)則集，以滿足他們的航空航天項(xiàng)目的具體要求。Parasoft C/C++測(cè)試規(guī)則定制功能是創(chuàng)建這些規(guī)則的一個(gè)重要特征。

為軟件的長(zhǎng)生命周期做準(zhǔn)備。在飛機(jī)工業(yè)中，軟件需要為飛行準(zhǔn)備30年或更長(zhǎng)時(shí)間。這意味著維護(hù)和更新是一個(gè)重要的設(shè)計(jì)和實(shí)施考慮。知道他們的代碼符合企業(yè)標(biāo)準(zhǔn)，意味著對(duì)未來(lái)的開(kāi)發(fā)者來(lái)說(shuō)，代碼更具有可讀性和可維護(hù)性。

鑒定工具。安全關(guān)鍵標(biāo)準(zhǔn)要求開(kāi)發(fā)過(guò)程中使用的工具符合所開(kāi)發(fā)的產(chǎn)品所隱含的質(zhì)量標(biāo)準(zhǔn)。在這種情況下，該公司希望根據(jù)DO-178C，補(bǔ)充DO-330，軟件工具鑒定考慮因素補(bǔ)充，對(duì)Parasoft C/C++test進(jìn)行鑒定。Parasoft為這一標(biāo)準(zhǔn)和其他標(biāo)準(zhǔn)提供了資格認(rèn)證套件。和其他標(biāo)準(zhǔn)，這有助于減少執(zhí)行必要測(cè)試和文件的工作量和時(shí)間。

和ADAS車(chē)隊(duì)。

---

Parasoft——領(lǐng)先的自動(dòng)化測(cè)試工具，滿足絕大多數(shù)行業(yè)標(biāo)準(zhǔn)

Parasoft是一家專(zhuān)門(mén)提供軟件測(cè)試解決方案的公司，幫助企業(yè)打造無(wú)缺陷的軟件。

從開(kāi)發(fā)到質(zhì)量檢查，Parasoft的技術(shù)通過(guò)集成靜態(tài)和運(yùn)行時(shí)分析，單元、功能和API測(cè)試，以及服務(wù)虛擬化，在不犧牲質(zhì)量和安全性的情況下加快軟件交付，節(jié)約交付成本。

強(qiáng)大的報(bào)告和分析功能可幫助用戶快速查明有風(fēng)險(xiǎn)的代碼區(qū)域，并了解新代碼更改如何影響其軟件質(zhì)量，而突破性的技術(shù)將人工智能和機(jī)器學(xué)習(xí)添加到軟件測(cè)試中，使組織更容易采用和擴(kuò)展跨開(kāi)發(fā)和測(cè)試團(tuán)隊(duì)的有效的軟件測(cè)試實(shí)踐。

Parasoft針對(duì)C/C++、Java、.NET和嵌入式的開(kāi)發(fā)測(cè)試都有著30多年的深入研究，很多全國(guó)500強(qiáng)企業(yè)使用Parasoft的產(chǎn)品實(shí)現(xiàn)了軟件快速、高質(zhì)量的交付。

獲取Parasoft資料或申請(qǐng)?jiān)囉每杉観Q：2867205852

申請(qǐng)Parasoft測(cè)試試用