動(dòng)態(tài)分析是指實(shí)際運(yùn)行程序，并通過觀察程序運(yùn)行的實(shí)際結(jié)果來發(fā)現(xiàn)錯(cuò)誤的軟件測(cè)試技術(shù)，它包括了以下幾個(gè)方面:

1、軟件/代碼是否做了它應(yīng)該做的?

─ 基于需求測(cè)試─?接口測(cè)試─?Back-to-Back測(cè)試

2、軟件/代碼是否做了它不應(yīng)該做的?

─?魯棒性測(cè)試

3、軟件/代碼是否足夠?

─?結(jié)構(gòu)覆蓋性測(cè)試

重要的動(dòng)態(tài)測(cè)試包括:

基于需求測(cè)試??

─?基于分配的安全需求和測(cè)試環(huán)境，制定安全測(cè)試用例，測(cè)試用例一般包括5個(gè)關(guān)鍵參數(shù)，即: 初始狀態(tài)或前提條件，數(shù)據(jù)設(shè)置，輸入，預(yù)期輸出，實(shí)際輸出。

─?需管理需求和測(cè)試用例及結(jié)果的可追溯性，進(jìn)行覆蓋率解析。

?接口測(cè)試??????

─?不同軟件層次接口，包括信號(hào)名稱，數(shù)目，數(shù)據(jù)類型，范圍測(cè)試。

錯(cuò)誤注入測(cè)試? ?

─ 即魯棒性測(cè)試，故障注入測(cè)試主要目的是驗(yàn)證系統(tǒng)設(shè)計(jì)、軟件設(shè)計(jì)過程所提出安全機(jī)制或安全措施的有效性，通過在特定位置注入錯(cuò)誤，包括錯(cuò)誤的數(shù)值，方向，頻率等，對(duì)系統(tǒng)功能安全機(jī)制響應(yīng)時(shí)間、診斷覆蓋等內(nèi)容進(jìn)行驗(yàn)證。

Back-to-Back測(cè)試

─?基于模型設(shè)計(jì)的測(cè)試，驗(yàn)證模型和生成的代碼的一致性，即采用相同的測(cè)試用例，同時(shí)輸入模型和生成的代碼進(jìn)行執(zhí)行，對(duì)二者輸出結(jié)果進(jìn)行比較，一致則通過，否則存在不一致。

除基本測(cè)試方法外，ISO?26262-6:2018對(duì)不同階段的軟件安全測(cè)試環(huán)境也有相應(yīng)的要求:

單元驗(yàn)證及集成驗(yàn)證: 基于開發(fā)環(huán)境的軟件測(cè)試，包括模型在環(huán)，軟件在環(huán)，處理器在環(huán)，硬件在環(huán)。

嵌入式軟件驗(yàn)證: 硬件在環(huán)或車輛

軟件安全測(cè)試用例導(dǎo)出

靜態(tài)測(cè)試多自動(dòng)化完成，多不需要測(cè)試用例，相對(duì)比較簡(jiǎn)單，而動(dòng)態(tài)測(cè)試基本上都需要用到測(cè)試用例，那如何導(dǎo)出測(cè)試用例，用盡可能少的測(cè)試用例，覆蓋盡可能多的測(cè)試場(chǎng)景，這是個(gè)很重要的問題。

在ISO?26262-6:2018中，根據(jù)不用ASIL等級(jí)，對(duì)于軟件單元，集成測(cè)試，嵌入式軟件這三個(gè)層次的用測(cè)試用例導(dǎo)出方法基本類似，包括:

需求分析

等價(jià)類的生成和分析

邊界值分析

基于經(jīng)驗(yàn)的錯(cuò)誤猜想

功能相關(guān)性分析

操作用例的分析

其中，等價(jià)類的生成和分析，可以基于劃分輸入輸出來識(shí)別等價(jià)類，為每個(gè)等價(jià)類選擇一個(gè)有代表性的測(cè)試值，這樣可以有效降低測(cè)試用例數(shù)目，降低測(cè)試成本和時(shí)間。

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

華菱咨詢服務(wù)將通過變革的思想，快速的實(shí)施及降低風(fēng)險(xiǎn)來為客戶提供增值服務(wù)。幫助客戶構(gòu)想、開拓、實(shí)施及運(yùn)營關(guān)鍵性業(yè)務(wù)。

版權(quán)聲明：