廣州粵嵌教育

400-888-4849

全國學習專線 8:00-22:00
廣州粵嵌教育
擁有發(fā)明專利和使用新型專利50多款,擁有軟件著作權(quán)140多項  行業(yè)引領(lǐng),齊商共贏,開拓創(chuàng)新,服務誠信  校企協(xié)同產(chǎn)教融合、眾創(chuàng)服務創(chuàng)新創(chuàng)業(yè)  
您當前的位置: >廣州優(yōu)匯學 >廣州培訓學校 >嵌入式系統(tǒng)驗證的自動化C測試用例

廣州嵌入式學校新聞

嵌入式系統(tǒng)驗證的自動化C測試用例

發(fā)布時間:2023-06-12 10:36:54 已幫助: 來源:廣州粵嵌教育

嵌入式系統(tǒng)驗證的自動化C測試用例

  SoC驗證工程師認識到了受限隨機測試平臺的局限性,促使他們手寫C測試以在處理器上運行模擬和硬件仿真,即使他們在充分運用SoC設計方面受到限制。這些驗證平臺的性能不足以運行完整的操作系統(tǒng)(OS),因此這些測試執(zhí)行“裸機”,這大大增加了合成的開銷。

適用學員自動生成C測試
  當然,自動生成的C測試會更有效地利用工程資源。它們也增加了覆蓋面。與手寫測試相比,生成的C測試用例可以測試更多的SoC功能,并且可以找出難以想象的復雜的極限情況。多線程、多處理器測試用例可以測試設計中的所有并行路徑,以驗證并發(fā)性。它們可以在內(nèi)存段之間移動數(shù)據(jù)以強調(diào)一致性算法,并在數(shù)據(jù)應該發(fā)送到芯片的輸入或從其輸出讀取時與I/O事務協(xié)調(diào)。這樣做的總體效果是增加系統(tǒng)功能覆蓋率,通常高于90%,而數(shù)字通常要低得多。
  測試生成軟件,被稱為測試套件合成,使用一個易于理解的、基于圖形的場景模型來捕獲預期的設計行為。這些模型可以使用Accellera可移植刺激標準使用本地C++編寫或可視化描述。場景模型由設計或驗證工程師創(chuàng)建,作為SoC開發(fā)的自然部分,因為它們類似于傳統(tǒng)的芯片數(shù)據(jù)流圖,可以在白板上繪制以解釋部分設計規(guī)范。
課程目標優(yōu)勢測試套件綜合
  測試套件合成的一個顯著優(yōu)勢是能夠在意圖模型上預先定義覆蓋目標。一旦指定了意圖,該工具就可以對其進行分析,以了解可能產(chǎn)生的測試數(shù)量以及將要實現(xiàn)的功能意圖的覆蓋范圍。
  對于SoC來說,這可能需要數(shù)千次測試。然后,可以通過約束要測試的意圖并將工具集中在關(guān)鍵領(lǐng)域來設置覆蓋目標。這種能力避免了傳統(tǒng)方法中出現(xiàn)的痛苦的迭代循環(huán),傳統(tǒng)方法是設置測試,運行驗證工具,理解實現(xiàn)的覆蓋范圍,然后一次又一次地重置測試。
  在一個由著名半導體公司開發(fā)的大型SoC的典型項目中,驗證工程師將測試組合時間減少到以前需要手寫測試的20%。自動化技術(shù)產(chǎn)生了更嚴格的測試用例,覆蓋率從84%提高到97%。此外,這些型號便于攜帶。
結(jié)論
  就像約束隨機測試平臺消除了塊驗證的人工一樣,基于嵌入式處理器的SOC的綜合測試內(nèi)容已被證明可以減少系統(tǒng)級驗證。此外,在嵌入式開發(fā)中,該解決方案目前正在塊級應用,并用于芯片后驗證。在這個例子中,自動化C測試用例應用了“盡可能自動化”的格言,顯著地提高了覆蓋率,同時縮短了驗證計劃。


上一篇:美國MBA工商管理碩士怎么樣
下一篇:3個Java框架
關(guān)于我們 | 聯(lián)系我們 | 廣州粵嵌教育地址:廣州粵嵌教育從化校區(qū)/廣州粵嵌教育黃埔校區(qū)/ 咨詢電話:400-888-4849
滬ICP備18018862號-2 網(wǎng)站地圖 注冊 登錄 招生合作 版權(quán)/投訴 免責聲明 更新時間:2024-10-23