廣州粵嵌教育

400-888-4849

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

嵌入式學(xué)校新聞

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

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

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

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

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


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