航天軍工|DO-178B/C

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

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

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

l  準確而高效地發(fā)現(xiàn)軟件質量問題

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

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

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

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

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

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

航空電子設備/航天

VectorCAST如何協(xié)助遵循DO-178B，  DO-178C  和DO-278的規(guī)定

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

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

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

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

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