軟件實驗室經(jīng)過多年建設,形成軟件測試各類通用、專用和管理工具多套,包括靜態(tài)測試工具、單元測試工具、測試用例專用工具、自動化測試工具、壓力和負載測試工具、數(shù)據(jù)庫性能測試工具、軟件質量度量工具等。
主要從事軍用軟件測評:
軍用軟件第三方、鑒定測評、定型測評以及軟件質量檢測等形式;
船舶、航天、航空、兵器、核工業(yè)等多個行業(yè);
傳感器、通信、指控、武器、電抗、導航、平臺、保障、動力、損管等各類專業(yè)方向;
嵌入式、非嵌入式等不同類型;
系統(tǒng)級、設備級、模塊級(含板卡級)等不同規(guī)模;
軟件單元測試、部件測試、配置項測試、系統(tǒng)測試四個級別;
軟件單元測試、部件測試、配置項測試、系統(tǒng)測試四個級別;
功能、性能、接口、邏輯、邊界、余量、強度測試等16個軟件測試類型。
信息安全檢測
信息安全產(chǎn)品、系統(tǒng)測評;
信息安全產(chǎn)品、系統(tǒng)的風險評估;
信息安全測試、部件測試、配置項測試、系統(tǒng)測試四個級別;
商用軟件測評
通信運營、企業(yè)管理、銀行管理、電子商務、商用中間件等不同軟件方向;
軟件單元測試、部件測試、配置項測試、系統(tǒng)測試四個級別;
功能、性能、接口、邏輯、邊界、余量、強度測試等多個軟件測試類型。
FPGA軟件測評
船舶、航空、航天、兵器等行業(yè);
通信、信號處理、圖像處理、自動控制、伺服系統(tǒng)等專業(yè)方向;
RTL級、門級、配置項級和系統(tǒng)級等不同測試級別;
靜態(tài)規(guī)則檢查、動態(tài)仿真驗證、靜態(tài)時序分析、邏輯等效性驗證、門級仿真、高級仿真驗證、跨時鐘域信號檢查、邏輯綜合測試、半實物仿真驗證和實物驗證等測試子項。