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

---

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

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

>>如果您想使用Parasoft測試是否滿足項目要求，可聯(lián)系客服或填寫表單申請試用。

---

企業(yè)背景

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

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

挑戰(zhàn)

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

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

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

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

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

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

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

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

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

解決方案

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

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

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

Parasoft的優(yōu)勢

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

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

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

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

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

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

和ADAS車隊。

---

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

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

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

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

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

獲取Parasoft資料或申請試用可加QQ：2867205852