女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線(xiàn)課程
  • 觀(guān)看技術(shù)視頻
  • 寫(xiě)文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

利用正確的靜態(tài)分析實(shí)現(xiàn)應(yīng)用

星星科技指導(dǎo)員 ? 來(lái)源:嵌入式計(jì)算設(shè)計(jì) ? 作者:Wayne Ariola,Adam T ? 2022-07-04 15:22 ? 次閱讀

一般來(lái)說(shuō),最佳實(shí)踐是平臺(tái)中立的——這就是為什么它們被稱(chēng)為“最佳實(shí)踐”。盡管嵌入式開(kāi)發(fā)特有的微妙之處,有已知的標(biāo)準(zhǔn)來(lái)確保質(zhì)量,無(wú)論平臺(tái)如何。例如,避免內(nèi)存泄漏應(yīng)該是通用的。此外,靜態(tài)分析和軟件之間的關(guān)系不一定由應(yīng)用程序定義:它由設(shè)備的用途定義。也就是說(shuō),運(yùn)行靜態(tài)分析是嵌入式軟件開(kāi)發(fā)特別重要的最佳實(shí)踐。

傳統(tǒng)上,嵌入式軟件在發(fā)布后訪(fǎng)問(wèn)起來(lái)非常昂貴且痛苦。出于這個(gè)原因,大多數(shù)質(zhì)量或驗(yàn)證活動(dòng)都集中在消除修補(bǔ)或重構(gòu)嵌入式代碼的需要上。發(fā)布后修復(fù)錯(cuò)誤不僅對(duì)品牌而且對(duì)利潤(rùn)構(gòu)成最大風(fēng)險(xiǎn)。在某些行業(yè),特別是在安全關(guān)鍵領(lǐng)域,與軟件缺陷相關(guān)的后果非常嚴(yán)重,以至于必須完美地執(zhí)行質(zhì)量和驗(yàn)證任務(wù)。嵌入到胰島素泵、武器控制系統(tǒng)、汽車(chē)制動(dòng)系統(tǒng)等關(guān)鍵設(shè)備中的軟件需要使用全方位靜態(tài)分析功能的預(yù)防策略;否則后果可能包括代價(jià)高昂的訴訟、C 級(jí)辭職,甚至喪生。這與敏捷相反,持續(xù)開(kāi)發(fā),Web 驅(qū)動(dòng)的軟件應(yīng)用程序,例如智能手機(jī)、電視等,對(duì)于這些應(yīng)用程序而言,預(yù)防策略不太重要。為此,在軟件開(kāi)發(fā)范圍的預(yù)防策略方面進(jìn)行了以下討論,檢查了各種靜態(tài)分析實(shí)現(xiàn):

積分時(shí)靜態(tài)分析

持續(xù)集成時(shí)間 (CI) 靜態(tài)分析

指標(biāo)分析

編輯時(shí)靜態(tài)分析

運(yùn)行時(shí)靜態(tài)分析

積分時(shí)靜態(tài)分析

在集成期間運(yùn)行靜態(tài)分析以檢測(cè)容易實(shí)現(xiàn)的目標(biāo)和嚴(yán)重錯(cuò)誤是實(shí)施預(yù)防策略的良好起點(diǎn)。集成時(shí)靜態(tài)分析在不實(shí)際執(zhí)行代碼的情況下模擬可行的應(yīng)用程序路徑,這對(duì)于無(wú)法進(jìn)行運(yùn)行時(shí)分析的系統(tǒng)非常有用。靜態(tài)分析可以跨多個(gè)函數(shù)和文件進(jìn)行測(cè)試,并捕獲常見(jiàn)的內(nèi)存問(wèn)題,例如未初始化的內(nèi)存、溢出、空指針等。

當(dāng)組織開(kāi)始在集成期間進(jìn)行測(cè)試時(shí),靜態(tài)分析在開(kāi)發(fā)策略方面有幾個(gè)目的。首先,工程師可以查看測(cè)試結(jié)果并確定它們對(duì)于特定應(yīng)用的重要性。靜態(tài)分析可能會(huì)發(fā)現(xiàn)可能對(duì)軟件安全性、可靠性或性能產(chǎn)生嚴(yán)重影響的潛在缺陷。另一方面,它可能會(huì)返回企業(yè)可能不關(guān)心的東西。例如,企業(yè)可能并不關(guān)心游戲控制臺(tái)中的缺陷會(huì)導(dǎo)致軟件在發(fā)生不太可能的操作序列時(shí)崩潰。用戶(hù)可以簡(jiǎn)單地重新啟動(dòng)并繼續(xù)享受他們的系統(tǒng)。然而,在其他情況下解決同類(lèi)問(wèn)題可能對(duì)于防止災(zāi)難性后果至關(guān)重要。

靜態(tài)分析還可以幫助軟件工程師發(fā)現(xiàn)在風(fēng)險(xiǎn)評(píng)估階段很難想到的潛在缺陷。工程師可以對(duì)潛在缺陷進(jìn)行分類(lèi),以改進(jìn)未來(lái)的風(fēng)險(xiǎn)評(píng)估迭代。

持續(xù)集成時(shí)間 (CI) 靜態(tài)分析

在運(yùn)行集成時(shí)靜態(tài)分析之后,軟件工程師應(yīng)該對(duì)代碼中潛在的系統(tǒng)問(wèn)題有更強(qiáng)烈的認(rèn)識(shí)。下一步是運(yùn)行 CI 靜態(tài)分析,以執(zhí)行規(guī)劃階段概述的編碼策略。這可以防止在集成時(shí)間分析期間發(fā)現(xiàn)的缺陷類(lèi)型。

對(duì)于靜態(tài)分析中發(fā)現(xiàn)的每個(gè)問(wèn)題,在代碼的其他地方至少還有 10 個(gè)完全相同的東西。靜態(tài)分析是同時(shí)解決所有同類(lèi)違規(guī)行為的理想工具。這與在代碼中追逐每一條可能的路徑相反。找到系統(tǒng)性問(wèn)題,創(chuàng)造一個(gè)bug無(wú)法生存的環(huán)境要好得多。

當(dāng)我們談?wù)撿o態(tài)分析時(shí),在很多情況下我們指的是反模式分析。積極的模式是應(yīng)該在代碼中的東西。例如,要求工程師在聲明函數(shù)指針時(shí)使用typedef的策略是正模式靜態(tài)分析規(guī)則。這與例如在與標(biāo)準(zhǔn) C 庫(kù) 交互時(shí)禁止使用字符串類(lèi)中的data()成員函數(shù)的策略形成對(duì)比。

執(zhí)行兩種類(lèi)型(正模式和反模式)的靜態(tài)分析很重要,但值得一提的是這種區(qū)別,因?yàn)槿绻M織花時(shí)間基于正模式構(gòu)建編碼策略,這可以確保軟件工程師準(zhǔn)確地構(gòu)建代碼它應(yīng)該符合業(yè)務(wù)目標(biāo)或合規(guī)性要求。

指標(biāo)分析

指標(biāo)分析是一種靜態(tài)分析實(shí)現(xiàn),它評(píng)估代碼特征并提供有關(guān)代碼的洞察力,可以幫助軟件工程師識(shí)別弱點(diǎn)(圖 1)。它是一種關(guān)鍵傳感器,可以突出顯示可能容易出現(xiàn)邏輯錯(cuò)誤的應(yīng)用程序區(qū)域。指標(biāo)分析是一個(gè)基本的基線(xiàn)測(cè)量,應(yīng)該觸發(fā)進(jìn)一步的分析,例如代碼審查或其他一些補(bǔ)救活動(dòng)。

圖 1: Parasoft 靜態(tài)分析指標(biāo)報(bào)告

poYBAGLClVSAPqDYAAzok6Ytcn4348.png

指標(biāo)分析最好盡早使用,因?yàn)樗赡軙?huì)影響軟件工程師編寫(xiě)代碼的方式。避免嘗試被動(dòng)地或在 QA 階段實(shí)施指標(biāo)分析。指標(biāo)分析的目標(biāo)不僅僅是檢測(cè)潛在的缺陷;它以允許工程師遵循可持續(xù)編碼軌跡的方式檢測(cè)它們。對(duì)潛在缺陷熱點(diǎn)運(yùn)行指標(biāo)分析,糾正任何違規(guī)行為,并實(shí)施基于模式的分析規(guī)則以防止將來(lái)發(fā)生。

任何與潛在問(wèn)題相關(guān)的指標(biāo)都是公平的游戲。例如,一家醫(yī)療設(shè)備公司可能會(huì)使用度量分析來(lái)衡量圈復(fù)雜度,因?yàn)楦叻直砻髟O(shè)備在正常操作期間有太多決策點(diǎn)需要處理。當(dāng)有 10 個(gè)分支要削減時(shí),知道復(fù)雜性分?jǐn)?shù)超過(guò)了編碼策略中設(shè)置的閾值,而不是在 QA 階段發(fā)現(xiàn),這將有助于保持項(xiàng)目按時(shí)和按預(yù)算進(jìn)行。例如,組織可能想要測(cè)量公共變量,因?yàn)楦邤?shù)字可能與代碼中過(guò)多的依賴(lài)關(guān)系相關(guān)。每個(gè)組織都需要決定哪些指標(biāo)可以與代碼中可能的缺陷相關(guān)聯(lián)。

編輯時(shí)靜態(tài)分析

靜態(tài)分析的最佳點(diǎn)是開(kāi)發(fā)人員在編輯器中工作時(shí)。在編輯時(shí)運(yùn)行靜態(tài)分析有幾個(gè)目的。首先,它將軟件工程師指出潛在的問(wèn)題。其次,它通過(guò)確保系統(tǒng)地修復(fù)任何問(wèn)題來(lái)實(shí)施風(fēng)險(xiǎn)評(píng)估策略。

但是什么時(shí)候應(yīng)該實(shí)施靜態(tài)分析呢?我們已經(jīng)討論了為什么太遲實(shí)施靜態(tài)分析是一個(gè)問(wèn)題。但是,它也可能實(shí)施得太早,因?yàn)殪o態(tài)分析必須有足夠的上下文才能提供有意義的信息。對(duì)字符、行甚至語(yǔ)句運(yùn)行靜態(tài)分析會(huì)產(chǎn)生太多噪音而無(wú)用。實(shí)施積極的設(shè)計(jì)模式可確保新代碼在編寫(xiě)時(shí)按預(yù)期構(gòu)建。在編輯時(shí)運(yùn)行靜態(tài)分析是在開(kāi)發(fā)團(tuán)隊(duì)中促進(jìn)正確行為的一種有效方式,因?yàn)榉答伿强焖俚牟⑶沂窃谡诰帉?xiě)的代碼的上下文中。利用這種類(lèi)型的分析可以提高代碼審查的效率,因?yàn)楣こ處煈?yīng)該能夠立即糾正基于策略的錯(cuò)誤。

運(yùn)行時(shí)靜態(tài)分析

一些靜態(tài)分析模式可以在運(yùn)行時(shí)檢測(cè)缺陷。如果嵌入式目標(biāo)可以容納開(kāi)銷(xiāo),則組織應(yīng)執(zhí)行運(yùn)行時(shí)靜態(tài)分析以完善其預(yù)防策略。運(yùn)行時(shí)靜態(tài)分析在代碼實(shí)際運(yùn)行時(shí)檢測(cè)錯(cuò)誤,這使軟件工程師能夠使用真實(shí)數(shù)據(jù)測(cè)試真實(shí)路徑。

關(guān)于靜態(tài)分析和 QA 的最后說(shuō)明

在理想的預(yù)防策略中,QA 運(yùn)行靜態(tài)分析時(shí)發(fā)現(xiàn)的錯(cuò)誤應(yīng)該已經(jīng)知道并確定為可接受的。這是因?yàn)檐浖こ處煈?yīng)該已經(jīng)針對(duì)設(shè)計(jì)模式進(jìn)行了測(cè)試和調(diào)整以強(qiáng)制執(zhí)行編碼策略。此階段的違規(guī)意味著流程存在問(wèn)題,例如不正確的靜態(tài)分析規(guī)則。在這些情況下,QA 需要將代碼發(fā)送回開(kāi)發(fā)人員,以便他們可以找到缺陷的系統(tǒng)原因并實(shí)施規(guī)則以防止將來(lái)發(fā)生。從這個(gè)角度來(lái)看,靜態(tài)分析是一個(gè)比錯(cuò)誤查找器更好的質(zhì)量門(mén)。

作者:Wayne Ariola,Adam Trujillo,Arthur Hicken

審核編輯:郭婷

聲明:本文內(nèi)容及配圖由入駐作者撰寫(xiě)或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀(guān)點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • 傳感器
    +關(guān)注

    關(guān)注

    2564

    文章

    52619

    瀏覽量

    763902
收藏 人收藏

    評(píng)論

    相關(guān)推薦
    熱點(diǎn)推薦

    SiC MOSFET并聯(lián)運(yùn)行實(shí)現(xiàn)靜態(tài)均流的基本要求和注意事項(xiàng)

    通過(guò)并聯(lián)SiC MOSFET功率器件,可以獲得更高輸出電流,滿(mǎn)足更大功率系統(tǒng)的要求。本章節(jié)主要介紹了SiC MOSFET并聯(lián)運(yùn)行實(shí)現(xiàn)靜態(tài)均流的基本要求和注意事項(xiàng)。
    的頭像 發(fā)表于 05-23 10:52 ?430次閱讀
    SiC MOSFET并聯(lián)運(yùn)行<b class='flag-5'>實(shí)現(xiàn)</b><b class='flag-5'>靜態(tài)</b>均流的基本要求和注意事項(xiàng)

    如何利用EPR分析USB PD?

    /ref_xdps2222_240w1/)。 我想知道是否有適用于 CY4500 或任何其他分析儀的新固件可以用于進(jìn)行一些測(cè)試。 或者,您建議我們?nèi)绾?b class='flag-5'>利用 EPR 分析 USB PD?
    發(fā)表于 05-21 06:40

    如何利用高光譜相機(jī)實(shí)現(xiàn)精確的光譜分析

    空間信息基礎(chǔ)上增加第三維的光譜信息。 這種技術(shù)基于物質(zhì)對(duì)不同波長(zhǎng)光的吸收、反射特性具有"指紋"效應(yīng)的原理。每種物質(zhì)都有其獨(dú)特的光譜特征,通過(guò)分析這些特征,我們能夠準(zhǔn)確識(shí)別物質(zhì)的成分和狀態(tài)。 一、實(shí)現(xiàn)精確光譜分析的關(guān)鍵
    的頭像 發(fā)表于 03-28 17:05 ?309次閱讀
    如何<b class='flag-5'>利用</b>高光譜相機(jī)<b class='flag-5'>實(shí)現(xiàn)</b>精確的光譜<b class='flag-5'>分析</b>?

    如何利用MES系統(tǒng)進(jìn)行產(chǎn)能分析呢?

    利用MES系統(tǒng)進(jìn)行產(chǎn)能分析是一個(gè)涉及數(shù)據(jù)收集、處理、分析和結(jié)果呈現(xiàn)的全過(guò)程。對(duì)生產(chǎn)過(guò)程加以監(jiān)控,充分利用MES數(shù)據(jù)采集分析
    的頭像 發(fā)表于 02-21 12:10 ?332次閱讀
    如何<b class='flag-5'>利用</b>MES系統(tǒng)進(jìn)行產(chǎn)能<b class='flag-5'>分析</b>呢?

    集成電路設(shè)計(jì)中靜態(tài)時(shí)序分析介紹

    本文介紹了集成電路設(shè)計(jì)中靜態(tài)時(shí)序分析(Static Timing Analysis,STA)的基本原理、概念和作用,并分析了其優(yōu)勢(shì)和局限性。 ? 靜態(tài)時(shí)序
    的頭像 發(fā)表于 02-19 09:46 ?509次閱讀

    ADC的靜態(tài)指標(biāo)有專(zhuān)用的分析工具嗎?

    請(qǐng)問(wèn):ADC的靜態(tài)指標(biāo)有專(zhuān)用的分析工具嗎?該指標(biāo)很少在評(píng)估ADC指標(biāo)時(shí)使用,是否該指標(biāo)不重要,應(yīng)用中什么情況下需要評(píng)估該指標(biāo)? 另外ADC的SNR = 6.02*N + 1.76 +10*log10(fs/2BW) 當(dāng)被采樣信號(hào)為單音時(shí) 該BW為多少?
    發(fā)表于 02-08 08:13

    利用EVM對(duì)ADS1299進(jìn)行內(nèi)部產(chǎn)生方波的測(cè)試,如何才能從邏輯分析儀上獲得正確的輸出?

    利用EVM對(duì)ADS1299進(jìn)行內(nèi)部產(chǎn)生方波的測(cè)試,同時(shí)在ADS1299上接著邏輯分析儀,可是從邏輯分析儀獲得的數(shù)據(jù)跟EVM獲得的數(shù)據(jù)不一樣,請(qǐng)問(wèn)發(fā)生什么問(wèn)題?我該如何才能從邏輯分析
    發(fā)表于 12-05 07:17

    汽車(chē)異構(gòu)硬件平臺(tái)開(kāi)發(fā)如何進(jìn)行靜態(tài)代碼分析

    先進(jìn)的靜態(tài)代碼分析工具,其新版本中引入的多CCT功能為開(kāi)發(fā)人員提供了強(qiáng)大的支持,該功能不僅簡(jiǎn)化了多編譯器環(huán)境下的代碼分析過(guò)程,還可以極大增強(qiáng)代碼的質(zhì)量和安全性。
    的頭像 發(fā)表于 10-09 16:15 ?788次閱讀
    汽車(chē)異構(gòu)硬件平臺(tái)開(kāi)發(fā)如何進(jìn)行<b class='flag-5'>靜態(tài)</b>代碼<b class='flag-5'>分析</b>

    Perforce靜態(tài)分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進(jìn)和安全增強(qiáng)

    ?和Klocwork的最新版本對(duì)靜態(tài)分析工具進(jìn)行了重大改進(jìn),通過(guò)盡早修復(fù)錯(cuò)誤、降低開(kāi)發(fā)成本和加快發(fā)布速度,使開(kāi)發(fā)團(tuán)隊(duì)實(shí)現(xiàn)左移。本文中,我們將概述2024.2版本的新特性和新功能。CI/CD和左移以
    的頭像 發(fā)表于 10-08 16:22 ?560次閱讀
    Perforce<b class='flag-5'>靜態(tài)</b><b class='flag-5'>分析</b>工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork<b class='flag-5'>分析</b>引擎改進(jìn)和安全增強(qiáng)

    利用靜態(tài)電流和動(dòng)態(tài)電壓調(diào)節(jié)技術(shù)延長(zhǎng)電池壽命

    電子發(fā)燒友網(wǎng)站提供《利用靜態(tài)電流和動(dòng)態(tài)電壓調(diào)節(jié)技術(shù)延長(zhǎng)電池壽命.pdf》資料免費(fèi)下載
    發(fā)表于 09-04 10:14 ?0次下載
    <b class='flag-5'>利用</b>低<b class='flag-5'>靜態(tài)</b>電流和動(dòng)態(tài)電壓調(diào)節(jié)技術(shù)延長(zhǎng)電池壽命

    利用靜態(tài)電流和動(dòng)態(tài)電壓調(diào)節(jié)技術(shù)延長(zhǎng)電池壽命

    電子發(fā)燒友網(wǎng)站提供《利用靜態(tài)電流和動(dòng)態(tài)電壓調(diào)節(jié)技術(shù)延長(zhǎng)電池壽命.pdf》資料免費(fèi)下載
    發(fā)表于 08-31 09:51 ?0次下載
    <b class='flag-5'>利用</b>低<b class='flag-5'>靜態(tài)</b>電流和動(dòng)態(tài)電壓調(diào)節(jié)技術(shù)延長(zhǎng)電池壽命

    通過(guò)LM74912-Q1睡眠模式實(shí)現(xiàn)超低靜態(tài)電流和為常開(kāi)負(fù)載供電

    電子發(fā)燒友網(wǎng)站提供《通過(guò)LM74912-Q1睡眠模式實(shí)現(xiàn)超低靜態(tài)電流和為常開(kāi)負(fù)載供電.pdf》資料免費(fèi)下載
    發(fā)表于 08-28 09:35 ?1次下載
    通過(guò)LM74912-Q1睡眠模式<b class='flag-5'>實(shí)現(xiàn)</b>超低<b class='flag-5'>靜態(tài)</b>電流和為常開(kāi)負(fù)載供電

    基于ANSYS的高速磨削電主軸動(dòng)靜態(tài)性能分析

    以國(guó)產(chǎn)120MD60Y6型高速磨削電主軸為研究對(duì)象,使用有限元分析方法,基于ANSYS Workbench建立高速電主軸模型,先分析靜態(tài)特性,計(jì)算工作條件下電主軸前端所受徑向力和軸承徑向剛度;然后
    的頭像 發(fā)表于 08-05 11:20 ?152次閱讀
    基于ANSYS的高速磨削電主軸動(dòng)<b class='flag-5'>靜態(tài)</b>性能<b class='flag-5'>分析</b>

    IAR通過(guò)多架構(gòu)認(rèn)證的靜態(tài)分析工具加速代碼質(zhì)量自動(dòng)化

    公司推出經(jīng)TüV SüD認(rèn)證的C-STAT靜態(tài)分析工具,適用于最新發(fā)布的IAR Embedded Workbench for RISC-V V3.30.2功能安全版。
    的頭像 發(fā)表于 06-19 15:49 ?627次閱讀

    FPGA 高級(jí)設(shè)計(jì):時(shí)序分析和收斂

    的綜合、映射、布局和布線(xiàn),以減小邏輯和布線(xiàn)延時(shí),從而提高 工作頻率。 2、獲得正確的時(shí)序分析報(bào)告 幾乎所有的 FPGA 設(shè)計(jì)平臺(tái)都包含靜態(tài)時(shí)序分析工具,
    發(fā)表于 06-17 17:07