航天軍工|DO-178B/C

聯(lián)系電話是020-29178595,聯(lián)系手機是15919684031

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

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

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

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

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

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

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

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īng)在世界范圍內(nèi)得到認可，幾乎成為所有機載軟件（包括軍事的，太空的，的）實際上的指導方針。

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

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

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

目標系統(tǒng)上的測試

在大多數(shù)情況下，前面提及的測試都需要在一個實際目標硬件上進行，或者至少是需要在一個目標模擬器上進行。單元和集成測試可通過VectorCAST/RSP（運行時支持包）來實現(xiàn)，VectorCAST/RSP主要適用于交叉編譯程序/實時操作系統(tǒng)。如果VectorCAST/RSP與VectorCAST/C++或VectorCAST/Ada相結(jié)合，就可以為實時測試創(chuàng)造一個自動化的單元/集成測試環(huán)境。

DO-178B/C資格認證

DO-178B和DO-178C規(guī)定，如果某些過程因為使用某一軟件工具而被刪除、簡化或自動化了，但其輸出結(jié)果未經(jīng)手動檢驗，那么這個軟件工具就必須得是通過資格認證的。而所有的VectorCAST產(chǎn)品都有完整的工具資格認證包，VectorCAST工具已經(jīng)通過資格認證，并幫助50多個DO-178B航空電子系統(tǒng)完成了認證，包括一級系統(tǒng)。

未來機載能力環(huán)境(FACE?)聯(lián)合體

VectorSoftware公司符合未來機載能力環(huán)境（FACE?）技術(shù)標準。FACE技術(shù)標準定義了一個通用操作環(huán)境，支持軟件的各個組件在美國國防部（DoD）的航空系統(tǒng)中進行移植和重復使用。

FACE聯(lián)合體是專注于航空的專業(yè)組織，由美國專注于規(guī)定行業(yè)開放標準的供應商、客戶及用戶組成。他們希望通過制定開放標準，來提高軟件在性要求非常高的系統(tǒng)中的可移植性、適用性、互操作性。FACE聯(lián)合體為航空行業(yè)和美國政府之間提供了一個廠商中立的論壇，使得雙方可以協(xié)同發(fā)展和鞏固開放標準，并對一些慣例、指導性文件、商業(yè)模式進行優(yōu)化。

國防

使用VectorCAST測試非機載軍事應用

坦克、雷達系統(tǒng)以及由軟件定義的無線應用，僅僅是應用了嵌入式軟件的國防系統(tǒng)中的幾個代表。但是所有的系統(tǒng)都有一個共同點：系統(tǒng)必須運行無誤，否則任務就可能會有危險。這也是為什么關系國防和國土的公司要花大量的時間和精力對系統(tǒng)中的嵌入式軟件進行測試。

軟件質(zhì)量越好，測試效率越高

無論程序員是在為復雜的國防應用系統(tǒng)開發(fā)新代碼，還是在維護原有的應用系統(tǒng)，VectorCAST工具中的VectorCAST/C++或者VectorCAST/Ada都可以幫助他們進行測試，而且能夠大量節(jié)省測試時間。使用VectorCAST/C++和VectorCAST/Ada可以實現(xiàn)單元和集成測試的自動化。利用這兩個工具，工程師只需要按幾下鼠標就可以輕松生成測試用例。這也適用于需要依賴函數(shù)調(diào)用順序和數(shù)據(jù)集的復雜測試場景。也就是說，對嵌入式目標上的程序進行測試和使用VectorCAST/RSP在模擬器或主機上進行測試一樣簡單。

軍工產(chǎn)品的生命周期比較長，這就意味著需要對其進行上百次軟件測試。因為VectorCAST植入了自動回歸測試，所以能夠?qū)崿F(xiàn)對應用的新版本進行重復測試。VectorCAST/Manage可以管理整個項目生命周期中的測試用例，是所有的測試活動和測試報告的中心控制點。

VectorCAST/Cover可以對系統(tǒng)測試過程中獲取的代碼覆蓋信息進行詳細的分析。因此這個工具可以幫助你確定所做的系統(tǒng)測試是否充分。如果部分代碼未被覆蓋，那說明需要對該系統(tǒng)的這部分代碼進行更多的測試。也可以使用動畫形式回放代碼覆蓋過程，以便更好地了解代碼覆蓋信息。在單元和集成測試過程中獲取的代碼覆蓋率可以和系統(tǒng)測試過程中獲取的代碼覆蓋率合并，生成的綜合性覆蓋率報告，顯示系統(tǒng)、單元和集成測試中獲得的覆蓋率信息。

資格認證包

DO-178B資格認證

VectorCASTDO-178B資格認證包里包含工具資格認證文件、測試用例以及規(guī)程，因此VectorCAST工具適用于基于DO-178B標準的項目。

這套工具包里包含資格認證方案，工具操作需求，以及其它證明VectorCAST是合格的軟件驗證工具所需的材料。開發(fā)組織可以通過使用VectorCAST來簡化他們所開發(fā)的嵌入式系統(tǒng)的認證環(huán)節(jié)。

是與國家實驗室及區(qū)域性地方實驗室展開合作的，覆蓋全國的軟、硬件檢測服務機構(gòu)，以公平、公正、公開、科學的檢測服務要求，為國家鼓勵科技產(chǎn)業(yè)發(fā)展、民族經(jīng)濟建設提供專業(yè)的第三方檢測及第三方評估服務。主營業(yè)務范圍包括：軟件測試服務;無線通信網(wǎng)絡系統(tǒng)性能檢測服務;無損檢測;電子產(chǎn)品檢測;科技中介服務;科技項目評估服務;科技成果鑒定服務;科技信息咨詢服務;科技項目代理服務;科技項目招標服務;企業(yè)管理咨詢服務;教育咨詢服務;企業(yè)財務咨詢服務;專利服務;商標代理等服務;版權(quán)服務;軟件開發(fā);信息系統(tǒng)集成服務;等經(jīng)營范圍并且有相關服務項目的專業(yè)性服務機構(gòu)。

統(tǒng)一服務熱線：020-22072909QQ:31290151912649046091

公司以國家及行業(yè)相關標為依據(jù)，以高級專業(yè)、實驗室為平臺，結(jié)合企業(yè)產(chǎn)品的實際情況及檢測須求等，制定相應的可行方案，幫助企業(yè)快速完善檢測文件，同時以檢測為核發(fā)幫助規(guī)劃建立企業(yè)研發(fā)管理體系、資質(zhì)申請及維護、知識產(chǎn)權(quán)申請及保護服務等。通過我司的檢測服務，不僅使企業(yè)能順利通過產(chǎn)品檢測或項目驗收，更能通過我司的知識產(chǎn)權(quán)服務、企業(yè)資質(zhì)規(guī)劃申請服務,使企業(yè)進一步享受國家對科技政策的扶持與鼓勵，更進一步提升企業(yè)形象、產(chǎn)品品牌。

軟件測試內(nèi)容

互聯(lián)網(wǎng)藥品交易服務系統(tǒng)軟件測評服務、工業(yè)控制系統(tǒng)可靠性、基礎軟件產(chǎn)品檢測服務、數(shù)控機床與高端裝備制造業(yè)軟件測評、移動互聯(lián)網(wǎng)應用軟件測評、電力信息系統(tǒng)測試、軌道交通信息系統(tǒng)及其設備專項檢測、汽車行業(yè)的嵌入式軟件測試、工業(yè)控制的嵌入式系統(tǒng)測試、嵌入式醫(yī)療器械的軟件測試、軟硬件同步測試、單元集成測試、國家科技專項測評服務、國家電子政務信息系統(tǒng)應用軟件驗收測試、政府門戶網(wǎng)站專項評測，網(wǎng)站評測（網(wǎng)站第三方評測）、互聯(lián)網(wǎng)金融、B2B金融業(yè)務平臺（系統(tǒng)）第三方測試、網(wǎng)站評估、網(wǎng)站漏洞測試、Web檢測、代碼覆蓋測試、軟件產(chǎn)品登記測試、科技項目驗收測試、科技成果鑒定測試、電子產(chǎn)品軟硬件、移動通信產(chǎn)品、系統(tǒng)及其配套設備、北斗衛(wèi)星導航產(chǎn)品、國家天線及射頻部件產(chǎn)品、嵌入式產(chǎn)品軟硬檢測第三方驗收測試（財政信息化項目）、確認測試、結(jié)題測試、信息化項目評估、外包測試等聯(lián)系電話是020-29178595,聯(lián)系手機是15919684031