技術(shù)改造項(xiàng)目技術(shù)參數(shù)確認(rèn)表

1、附件:技術(shù)改造項(xiàng)目技術(shù)參數(shù)確認(rèn)表申請(qǐng)部室計(jì)劃編號(hào)廣電計(jì)量信息化服務(wù)中心RW2017001資產(chǎn)名稱LDRA Testbed測(cè)試工具規(guī)格型號(hào)V9.6*（ 1）同時(shí)支持主機(jī)平臺(tái)軟件測(cè)試與嵌入式平臺(tái)軟件測(cè)試，且移植性強(qiáng)；*（ 2）同時(shí)支持C及C+語言、支持 Windows安裝平臺(tái)、支持代碼評(píng)審、 支持質(zhì)量評(píng)審、支持設(shè)計(jì)評(píng)審、支持單元測(cè)試、支持測(cè)試驗(yàn)證、支持測(cè) 試管理功能；*（ 3）支持主機(jī)平臺(tái)軟件測(cè)試外，支持眾多嵌入式系統(tǒng)平臺(tái)軟件測(cè)試，并與流行的嵌入式軟件開發(fā)環(huán)境集成（如 Tl DSP、AD DSP和8051系列 目標(biāo)機(jī)平臺(tái)等）；*（ 4）必須同時(shí)支持DSP和8051系列嵌入式目標(biāo)機(jī)平臺(tái)的軟件測(cè)試；*

2、（ 5）同時(shí)支持靜態(tài)分析與動(dòng)態(tài)分析功能；靜態(tài)分析功能：a）基本靜態(tài)分析b）復(fù)雜度分析項(xiàng)目要求 技術(shù)指標(biāo)c）數(shù)據(jù)流分析d）交叉索引分析動(dòng)態(tài)分析功能：a）代碼插裝b）代碼覆蓋率分析*（ 6）具有單元測(cè)試功能；單元測(cè)試完全圖形化界面，自動(dòng)生成測(cè)試驅(qū)動(dòng)，自動(dòng)生成樁模塊， 可以靈活處理各種指針、結(jié)構(gòu)、數(shù)組自動(dòng)生成測(cè)試用例；支持重復(fù)、間 隔、范圍測(cè)試；支持主機(jī)/目標(biāo)機(jī)測(cè)試；支持多任務(wù)測(cè)試；可進(jìn)行測(cè)試用 例管理；代碼修改后自動(dòng)對(duì)測(cè)試用例進(jìn)行驗(yàn)證。*（ 7）對(duì)被測(cè)系統(tǒng)實(shí)時(shí)性影響?。ㄌ貏e是系統(tǒng)測(cè)試階段）；在系統(tǒng)測(cè)試階段，采用BITMAP純軟件代碼插裝技術(shù)對(duì)嵌入式系統(tǒng)進(jìn) 行代碼覆蓋率分析可保證不影響被測(cè)系統(tǒng)實(shí)時(shí)性

3、的情況下準(zhǔn)確無誤地獲 取代碼覆蓋率信息* （8）編碼規(guī)則檢查要求支持安全 C編碼規(guī)則，支持 MISRA C/MISRA C:2004, JSF AV & VSOS, HIC+ CMSE及 GJB5369等標(biāo)準(zhǔn)的代碼規(guī)則檢查，能夠自動(dòng)對(duì)被 測(cè)源程序進(jìn)行編碼規(guī)則檢查。*（ 9）軟件度量分析可以根據(jù)軟件度量指標(biāo)設(shè)計(jì)軟件度量模型以跟蹤控制軟件質(zhì)量。包含McCabe圈復(fù)雜度、基本McCabe圈復(fù)雜度、LCSAJ路徑度量、HALSTEA 科學(xué)度量、扇入/扇出、代碼行注釋比例、可執(zhí)行代碼行數(shù)等指標(biāo)。*（ 10）數(shù)據(jù)流分析除能夠查找基本數(shù)據(jù)流異常外，還能夠查找不同路徑下數(shù)據(jù)流異常 狀況；具有函數(shù)解析功

4、能，可解析到每個(gè)函數(shù)中的參數(shù)、全局變量、返 回變量和調(diào)用關(guān)系等信息。具有數(shù)據(jù)流分析結(jié)果統(tǒng)計(jì)功能，包括每個(gè)變 量的定義類型、所在函數(shù)、使用類型、代碼屬性和使用的代碼行數(shù)。*（ 11）信息流分析能夠分析變量間依賴關(guān)系。提供變量之間關(guān)系的分析，分析出相互 關(guān)聯(lián)的變量。*（ 12）接口分析提供所有變量分析報(bào)告，包括程序中變量定義、類型和使用等信息； 具有全局變量類型、調(diào)用次數(shù)、定義行和使用情況；具有參數(shù)使用情況 說明，包括參數(shù)定義、類型和調(diào)用；對(duì)于每個(gè)函數(shù)中的參數(shù)、變量和全 局變量等信息進(jìn)行統(tǒng)計(jì)。*（ 13）覆蓋率分析支持如下覆蓋率分析：語句覆蓋率；分支覆蓋率； MC/DC覆蓋率； LCSAJ覆蓋率；調(diào)用覆蓋率。覆蓋率分析支持到 DO178B A級(jí)測(cè)試標(biāo)準(zhǔn)。 *（ 14）斷言分析支持?jǐn)嘌苑治?，能夠檢查程序中某些特定條件與狀態(tài)是否滿足。*（ 15）自動(dòng)生成樁模塊支持單元級(jí)、集成級(jí)測(cè)試驅(qū)動(dòng)與樁模塊自動(dòng)生成器。 能夠靈活生成 樁函數(shù)，并支持不同測(cè)試用例下不同輸出結(jié)果。*（ 16）測(cè)試用例輸入與管理既可以在圖形化界面方式直接復(fù)制與刪除測(cè)試用例，也可在測(cè)試用 例腳本文件上實(shí)現(xiàn)，圖形化界面，測(cè)試用例列表和測(cè)試輸入窗口方便操 作；對(duì)于修改后代碼，可自動(dòng)對(duì)測(cè)試用例進(jìn)行驗(yàn)證功能；測(cè)試用例可以 保存和導(dǎo)入導(dǎo)出，回歸測(cè)試方便。* （ 17