航天軍工|DO-178B/C
航空航天行業(yè)和國(guó)防工業(yè)的領(lǐng)軍者所開(kāi)發(fā)的軟件,無(wú)論是商業(yè)航空電子系統(tǒng),衛(wèi)星系統(tǒng)還是復(fù)雜的防御系統(tǒng),對(duì)可靠性要求都非常高,而Vector  Software公司的VectorCAST測(cè)試方案則為其提供了一個(gè)可靠的測(cè)試標(biāo)準(zhǔn)。在過(guò)去的15年里,我們協(xié)助質(zhì)量保證協(xié)會(huì)和對(duì)安全性要求較高的嵌入式系統(tǒng)的開(kāi)發(fā)者交付了很多經(jīng)過(guò)充分測(cè)試認(rèn)證的系統(tǒng)。無(wú)論您的代碼庫(kù)是原有的還是初次開(kāi)發(fā)的,我們都可以為您提供行之有效的解決方案,幫助公司對(duì)源代碼進(jìn)行有效的測(cè)試。而且很多公司都希望能夠創(chuàng)建持續(xù)測(cè)試環(huán)境,VectorCAST則可以輕松實(shí)現(xiàn)這一目標(biāo)。
 
 
Vector  Software公司的產(chǎn)品通過(guò)以下方式幫助保證軟件的質(zhì)量:
l  準(zhǔn)確地進(jìn)行自動(dòng)化軟件模塊測(cè)試
l  準(zhǔn)確而高效地發(fā)現(xiàn)軟件質(zhì)量問(wèn)題
l  協(xié)助公司遵循DO-178B和DO-178C對(duì)軟件測(cè)試提出的要求
l  支持不同級(jí)別的代碼覆蓋,包括DO-178B和DO-178C提出的所有級(jí)別
l  進(jìn)行自動(dòng)化回歸測(cè)試,以保證應(yīng)用程序在整個(gè)的生命周期中的質(zhì)量
l  既可以在本地平臺(tái)進(jìn)行測(cè)試,也可以在真實(shí)硬件和模擬器上進(jìn)行測(cè)試
l  有完整資格認(rèn)證的工具認(rèn)證包支持認(rèn)證工作
l  提供差異分析服務(wù)以減小合規(guī)風(fēng)險(xiǎn)
 
航空電子設(shè)備/航天
VectorCAST如何協(xié)助遵循DO-178B,  DO-178C  和DO-278的規(guī)定
商業(yè)航空電子設(shè)備項(xiàng)目只有通過(guò)DO-178C或其前身DO-178B的軟件認(rèn)證程序,才可以獲得聯(lián)邦航空局(FAA)認(rèn)證。雖然DO-178最初是針對(duì)北美商業(yè)航空電子設(shè)備制定的標(biāo)準(zhǔn),但是現(xiàn)在已經(jīng)在世界范圍內(nèi)得到認(rèn)可,幾乎成為所有機(jī)載軟件(包括軍事的,太空的,無(wú)人機(jī)的)實(shí)際上的指導(dǎo)方針。
 
根據(jù)DO-178B  和DO-178C的定義,結(jié)構(gòu)測(cè)試過(guò)程是指針對(duì)高級(jí)需求和低級(jí)需求不斷進(jìn)行測(cè)試,并分析測(cè)試過(guò)程中所獲取的代碼覆蓋情況。在許多項(xiàng)目中,最先測(cè)試高級(jí)需求或功能性需求。在測(cè)試過(guò)程中,VectorCAST/Cover可以獲取并報(bào)告已達(dá)到的代碼覆蓋率。不過(guò)遺憾的是,系統(tǒng)/功能性測(cè)試幾乎無(wú)法達(dá)到100%的代碼覆蓋率。
 
因此未被覆蓋的代碼就需要通過(guò)單元測(cè)試和集成測(cè)試方法對(duì)其進(jìn)行測(cè)試。單元測(cè)試包括使用測(cè)試驅(qū)動(dòng)和樁函數(shù)來(lái)分離程序中的特定函數(shù),以及利用測(cè)試用例來(lái)調(diào)用這些函數(shù)。做這些“等級(jí)較低的”測(cè)試是為了對(duì)之前所做的系統(tǒng)測(cè)試進(jìn)行補(bǔ)充,以便達(dá)到100%的代碼覆蓋率。
 
使用VectorCAST/C++  和  VectorCAST/Ada可以使單元測(cè)試和集成測(cè)試實(shí)現(xiàn)自動(dòng)化。最重要的是,在單元和集成測(cè)試過(guò)程中獲取的代碼覆蓋率可以和系統(tǒng)測(cè)試過(guò)程中獲取的代碼覆蓋率合并,生成的綜合性覆蓋率報(bào)告,顯示系統(tǒng)、單元和集成測(cè)試中分別獲取的覆蓋率信息。
廣州賽度檢測(cè)服務(wù)有限公司
發(fā)布與
航天軍工|DO-178B/C
相關(guān)的產(chǎn)品
貴州省集成電路布圖設(shè)計(jì)專有權(quán)登記華東地區(qū)軟件第三方檢測(cè)+軟件退稅測(cè)試科技項(xiàng)目驗(yàn)收測(cè)試(國(guó)家、省、市科技項(xiàng)目驗(yàn)收?qǐng)?bào)告)信息系統(tǒng)工程驗(yàn)收測(cè)評(píng)依據(jù)廣東省清遠(yuǎn)市-信息系統(tǒng)集成建設(shè)和服務(wù)能力評(píng)估CS1級(jí)計(jì)算機(jī)軟件著作權(quán)登記、知識(shí)產(chǎn)權(quán)代理的詳細(xì)信息
關(guān)于我們 | 友情鏈接 | 網(wǎng)站地圖 | 聯(lián)系我們 | 最新產(chǎn)品
浙江民營(yíng)企業(yè)網(wǎng) peada.cn 版權(quán)所有 2002-2010
浙ICP備11047537號(hào)-1