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

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

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

企業(yè)背景

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

這家領(lǐng)先的航空電子公司制造的部件包括具有最高安全關(guān)鍵要求的飛行控制和執(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來設(shè)計、開發(fā)和測試他們的飛行控制系統(tǒng)。DO-178C的部分驗證和確認階段要求應(yīng)用靜態(tài)代碼分析和使用編碼標準。使用編碼標準來遵守DO-178C是至關(guān)重要的。

測試自定義編碼標準

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

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

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

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

解決方案

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

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

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

Parasoft的優(yōu)勢

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

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

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

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

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

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

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

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

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

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

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