廣州賽度檢測服務有限公司

航天軍工|DO-178B/C

航空航天行業和國防工業的領軍者所開發的軟件，無論是商業航空電子系統，衛星系統還是復雜的防御系統，對可靠性要求都非常高，而Vector  Software公司的VectorCAST測試方案則為其提供了一個可靠的測試標準。在過去的15年里，我們協助質量保證協會和對安全性要求較高的嵌入式系統的開發者交付了很多經過充分測試認證的系統。無論您的代碼庫是原有的還是初次開發的，我們都可以為您提供行之有效的解決方案，幫助公司對源代碼進行有效的測試。而且很多公司都希望能夠創建持續測試環境，VectorCAST則可以輕松實現這一目標。

Vector  Software公司的產品通過以下方式幫助保證軟件的質量：

l  準確地進行自動化軟件模塊測試

l  準確而高效地發現軟件質量問題

l  協助公司遵循DO-178B和DO-178C對軟件測試提出的要求

l  支持不同級別的代碼覆蓋，包括DO-178B和DO-178C提出的所有級別

l  進行自動化回歸測試，以保證應用程序在整個的生命周期中的質量

l  既可以在本地平臺進行測試，也可以在真實硬件和模擬器上進行測試

l  有完整資格認證的工具認證包支持認證工作

l  提供差異分析服務以減小合規風險

航空電子設備/航天

VectorCAST如何協助遵循DO-178B，  DO-178C  和DO-278的規定

商業航空電子設備項目只有通過DO-178C或其前身DO-178B的軟件認證程序，才可以獲得聯邦航空局（FAA）認證。雖然DO-178最初是針對北美商業航空電子設備制定的標準，但是現在已經在世界范圍內得到認可，幾乎成為所有機載軟件（包括軍事的，太空的，無人機的）實際上的指導方針。

根據DO-178B  和DO-178C的定義，結構測試過程是指針對高級需求和低級需求不斷進行測試，并分析測試過程中所獲取的代碼覆蓋情況。在許多項目中，最先測試高級需求或功能性需求。在測試過程中，VectorCAST/Cover可以獲取并報告已達到的代碼覆蓋率。不過遺憾的是，系統/功能性測試幾乎無法達到100%的代碼覆蓋率。

因此未被覆蓋的代碼就需要通過單元測試和集成測試方法對其進行測試。單元測試包括使用測試驅動和樁函數來分離程序中的特定函數，以及利用測試用例來調用這些函數。做這些“等級較低的”測試是為了對之前所做的系統測試進行補充，以便達到100%的代碼覆蓋率。

使用VectorCAST/C++  和  VectorCAST/Ada可以使單元測試和集成測試實現自動化。最重要的是，在單元和集成測試過程中獲取的代碼覆蓋率可以和系統測試過程中獲取的代碼覆蓋率合并，生成的綜合性覆蓋率報告，顯示系統、單元和集成測試中分別獲取的覆蓋率信息。

廣州賽度檢測服務有限公司 發布與 航天軍工|DO-178B/C 相關的產品
貴州省集成電路布圖設計專有權登記華東地區軟件第三方檢測+軟件退稅測試科技項目驗收測試（國家、省、市科技項目驗收報告）信息系統工程驗收測評依據廣東省清遠市-信息系統集成建設和服務能力評估CS1級計算機軟件著作權登記、知識產權代理的詳細信息