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

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

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

企業(yè)背景

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

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

挑戰(zhàn)

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

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

遵守DO-178C標準

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

測試自定義編碼標準

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

采用這些定制的標準，可以避免導致不需要的和不可預測的行為的編碼結構。

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

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

解決方案

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

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

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

Parasoft的優(yōu)勢

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

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

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

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

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

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

Parasoft——領先的自動化測試工具，滿足絕大多數(shù)行業(yè)標準

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

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

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

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