廣州賽度檢測服務(wù)有限公司

航天軍工|DO-178B/C

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

Vector  Software公司的產(chǎn)品通過以下方式幫助保證軟件的質(zhì)量：

l  準(zhǔn)確地進(jìn)行自動化軟件模塊測試

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

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

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

l  進(jìn)行自動化回歸測試，以保證應(yīng)用程序在整個的生命周期中的質(zhì)量

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

l  有完整資格認(rèn)證的工具認(rèn)證包支持認(rèn)證工作

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

航空電子設(shè)備/航天

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

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

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

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

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

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