面對(duì)嵌入式行業(yè)的復(fù)雜性與各個(gè)階段的關(guān)鍵安全性挑戰(zhàn)，給出針對(duì)嵌入式行業(yè)的測(cè)試方案，通過使用這個(gè)測(cè)試方案你可以獲得，專業(yè)的MISRA/DO-178B&C/JSF/ISO 26262和其它關(guān)鍵安全遵從性指導(dǎo)，快速驗(yàn)證行業(yè)行規(guī)的合規(guī)性檢查，幫你快速達(dá)到認(rèn)證要求；支持一鍵生成測(cè)試用例，無論是模擬器仿真還是嵌入開發(fā)板驗(yàn)證，都能得到行覆蓋率、語句覆蓋率、條件覆蓋率、判定覆蓋率、分支覆蓋率、MC/DC覆蓋率等九種覆蓋率報(bào)告；完整的代碼審查流程，快速探索軟件安全瓶頸，及時(shí)修復(fù)潛在缺陷，提供軟件安全保障；無縫集成到各種開發(fā)環(huán)境和開發(fā)語言中，實(shí)時(shí)滿足物聯(lián)網(wǎng)及嵌入式的開發(fā)復(fù)雜性，快速搭建測(cè)試環(huán)境，形成高效測(cè)試管理平臺(tái)。

1、覆蓋多行業(yè)安全標(biāo)準(zhǔn)

針對(duì)嵌入式及各個(gè)行業(yè)的安全標(biāo)準(zhǔn)，錄入超4200條規(guī)則規(guī)范供用戶選擇，涵蓋靜態(tài)分析、流分析、度量分析，內(nèi)置大量規(guī)則集可一鍵完成測(cè)試，其中安全規(guī)范包含：

• MISRA (MISRA C 2004, MISRA C++ 2008,MISRA C 2012)
• JSF
• GJB 8114&5369
• DO-178B/C
• ISO/DIS 26262 & ASIL
• IEC 61508 & SIL

2、可視化測(cè)試執(zhí)行過程，符合測(cè)試開發(fā)標(biāo)準(zhǔn)

針對(duì)使用C、C++語言的嵌入式開發(fā)，支持在主機(jī)、模擬器和目標(biāo)進(jìn)行測(cè)試，自動(dòng)化測(cè)試的執(zhí)行流，包括測(cè)試用例生成、交叉編譯、部署、執(zhí)行和加載結(jié)果（包括覆蓋率指標(biāo))返回到GUI中。測(cè)試可以從GUI或命令行之間進(jìn)行交互調(diào)用，以實(shí)現(xiàn)自動(dòng)化的測(cè)試執(zhí)行或批處理回歸測(cè)試。在交互式模式中為了方便調(diào)試或驗(yàn)證，用戶可以單獨(dú)運(yùn)行測(cè)試,也可以在選擇的組中進(jìn)行簡(jiǎn)單的調(diào)試或驗(yàn)證。除了使用內(nèi)置的測(cè)試配置之外，用戶還可以合并自定義的測(cè)試腳本和 shell 命令，以將該工具集成到特定的構(gòu)建和測(cè)試環(huán)境中。一個(gè)可定制的工作流允許用戶在開發(fā)的同時(shí)測(cè)試代碼，然后使用相同的測(cè)試去確認(rèn)函數(shù)或功能在目標(biāo)環(huán)境中的可靠性。

3、無縫集成、快速搭建測(cè)試環(huán)境

支持無縫集成到各種開發(fā)環(huán)境中，還可以連接到需求管理系統(tǒng)、Bug追蹤系統(tǒng)、集成開發(fā)環(huán)境（IDEs）、源代碼管理、構(gòu)建管理集成系統(tǒng)、測(cè)試管理系統(tǒng)等，此外還可以直接兼容到常用的嵌入式開發(fā)環(huán)境中，包括Eclipse、Wind River Workbench, ARM RVDS, QNX Momentics, Texas Instruments CCS, Microsoft Visual Studio，Keil、IAR等。

4、測(cè)試管理平臺(tái)，實(shí)時(shí)掌握測(cè)試進(jìn)展

將團(tuán)隊(duì)成員間的測(cè)試報(bào)告匯總到報(bào)告管理平臺(tái)，項(xiàng)目管理人員可根據(jù)上傳的報(bào)告情況及時(shí)更新測(cè)試策略，包括任務(wù)人員的劃分、問題的嚴(yán)重度、項(xiàng)目問題數(shù)量、人員問題分布、覆蓋率情況等及時(shí)掌握和管理，從而形成團(tuán)隊(duì)趨勢(shì)化可追溯報(bào)告。