靜態(tài)分析

靜態(tài)測試屬于最基本的測試，是指不用執(zhí)行程序的測試，它主要采取代碼走查、技術(shù)評審、代碼審查等方法對軟件產(chǎn)品進行測試，它主要包括:

ISO26262軟件/代碼是否滿足相關(guān)質(zhì)量標(biāo)準(zhǔn)?

─ 走查，結(jié)對編程，檢查

─ 控制流分析

─ 數(shù)據(jù)流分析

─?靜態(tài)代碼分析

除不同類型的人為分析檢查外，靜態(tài)分析最最要內(nèi)容為靜態(tài)代碼分析，主要目的是檢查代碼編寫是否符合特定的編程規(guī)則。對于大部分車輛控制器代碼而言，靜態(tài)代碼分析，即C代碼靜態(tài)分析(如果基于模型開發(fā)，則是自動生成的代碼)，主要是保證代碼滿足MISRA C(Motor Industry Software Reliability Association, 汽車工業(yè)軟件可靠性協(xié)會)相關(guān)的要求。

靜態(tài)代碼分析一般可以直接采用自動化檢測軟件，例如SIMULINK, Model Advisor; Vector, VectorCAST; Perforce, Helix QAC等，通過配置代碼檢測規(guī)則，然后導(dǎo)入源文件進行自動化分析，如果不滿足相關(guān)要求，則需要對代碼進行修改直至滿足為止。

華菱咨詢成立至今，我們的咨詢師團隊已經(jīng)為5000多家企事業(yè)單位提供各項咨詢及培訓(xùn)服務(wù)，并獲得了客戶及業(yè)界的一致好評，歡迎您選擇、體驗華菱咨詢的優(yōu)質(zhì)服務(wù)。

華菱咨詢位于中國長三角、珠三角、京津冀和西南地區(qū)地區(qū)，成立于 2001 年,專注于標(biāo)準(zhǔn)體系咨詢、產(chǎn)品認(rèn)證咨詢、企業(yè)管理項目咨詢以及相關(guān)教育訓(xùn)練的顧問公司。公司已在北京、上海、杭州、廣州、深圳、合肥、江西、西安設(shè)立了分支機構(gòu)。

經(jīng)過20多年的發(fā)展與實踐沉淀，華菱咨詢將利用深厚的行業(yè)知識，幫助客戶把握新機遇，評估和管理風(fēng)險，以實現(xiàn)負(fù)責(zé)任的增長。華菱咨詢高績效的跨學(xué)科團隊可幫助客戶滿足監(jiān)管要求，確?？蛻?/strong>及時了解信息并滿足利益相關(guān)者的需求。華菱咨詢將為客戶提供全面的端到端的服務(wù)，利用技術(shù)的進步真正推動業(yè)務(wù)的發(fā)展。

版權(quán)聲明：