基于錯(cuò)誤驅(qū)動(dòng)的翻譯模板自動(dòng)獲取 利用Controller Tester進(jìn)行動(dòng)態(tài)測(cè)試
日期:2023-03-11 12:39:36 / 人氣: 421 / 發(fā)布者:成都翻譯公司
單元測(cè)試也叫模塊測(cè)試或組件測(cè)試,是一項(xiàng)在可測(cè)試的*小單位在與程序的其他部分相隔離的情況下對(duì)其進(jìn)行測(cè)試尋找缺陷并驗(yàn)證其功能的活動(dòng)。Tester通過(guò)分析規(guī)范和代碼,反映所用變量的輸入/輸出或必要的存根信息來(lái)編寫(xiě)測(cè)試代碼。完成測(cè)試編碼后,根據(jù)所反映的信息生成要執(zhí)行的測(cè)試用例。Tester支持測(cè)試設(shè)計(jì)、測(cè)試代碼及數(shù)據(jù)生成、執(zhí)行測(cè)試及覆蓋率測(cè)定等各個(gè)階段,具有測(cè)試自動(dòng)化過(guò)程中所需的各種功能。我們先來(lái)了解一下什么是編輯器的單元測(cè)試!
1. 什么是單元測(cè)試?
單元測(cè)試也稱(chēng)為模塊測(cè)試或組件測(cè)試。它是測(cè)試可以與程序的其他部分隔離進(jìn)行測(cè)試的*小單元的活動(dòng),以發(fā)現(xiàn)缺陷并驗(yàn)證其功能。
一般來(lái)說(shuō),單元的具體含義應(yīng)根據(jù)實(shí)際情況確定,可以是函數(shù)、模塊、類(lèi)或?qū)ο蟆?/p>
并且單元測(cè)試將首先進(jìn)行功能(基于需求)測(cè)試,此外還有具體的非功能測(cè)試,如接口測(cè)試、源代碼相關(guān)測(cè)試、健壯性測(cè)試等。
單元測(cè)試一般在以編碼為中心的運(yùn)行環(huán)境中進(jìn)行,因此需要調(diào)試或編譯工具等開(kāi)發(fā)環(huán)境的支持。但是在單元測(cè)試中,有時(shí)會(huì)用到驅(qū)動(dòng)、存根和模擬器,所以不需要完美的環(huán)境。
上圖是國(guó)際汽車(chē)電子控制裝置功能安全標(biāo)準(zhǔn)ISO 26262(Road Vehicles Functional Safety)中提出的V模型。汽車(chē)相關(guān)行業(yè)的開(kāi)發(fā)和驗(yàn)證都需要遵守此規(guī)定,單元測(cè)試是右側(cè)測(cè)試過(guò)程的第一階段。
汽車(chē)控制器通過(guò)接受危害分析和風(fēng)險(xiǎn)評(píng)估來(lái)建立 ASIL(汽車(chē)安全完整性等級(jí))級(jí)別。根據(jù)不同的層次,有相應(yīng)的推薦方法或結(jié)構(gòu)覆蓋(Structural Coverage:Statement Coverage、Branch Coveage、MC/DC)。
就像汽車(chē)領(lǐng)域的ISO 26262一樣,各個(gè)行業(yè)都有相應(yīng)的標(biāo)準(zhǔn)應(yīng)該遵循。國(guó)防和航天標(biāo)準(zhǔn)為DO-178B/C,鐵路領(lǐng)域?yàn)镮EC-62279、EN-50128。
2.使用Controller Tester進(jìn)行單元測(cè)試過(guò)程
單元測(cè)試過(guò)程
首先在Controller Tester中,根據(jù)環(huán)境信息(如集成開(kāi)發(fā)環(huán)境和目標(biāo)軟件的編譯器版本)搭建Build環(huán)境,然后繼續(xù)搭建測(cè)試環(huán)境,通過(guò)創(chuàng)建項(xiàng)目生成測(cè)試代碼每個(gè)單位。
測(cè)試環(huán)境搭建好后,為了測(cè)試順利,還需要添加測(cè)試代碼。此時(shí),Controller Tester 通過(guò)分析規(guī)范和代碼來(lái)編寫(xiě)測(cè)試代碼,反映使用的變量的輸入/輸出或必要的存根信息。
完成測(cè)試編碼后,根據(jù)反映的信息生成要執(zhí)行的測(cè)試用例。創(chuàng)建測(cè)試用例的方法有很多種,其中*具代表性的是等價(jià)類(lèi)劃分法和邊界值法。前者是將所有可能的輸入數(shù)據(jù),即程序的輸入域分成若干部分(子集),然后從每個(gè)子集中選取少量有代表性的數(shù)據(jù)作為測(cè)試用例;后者是對(duì)每組錯(cuò)誤概率較高的極限值進(jìn)行測(cè)試。
Controller Tester判斷測(cè)試用例的必要性,使用上述方法直接生成測(cè)試用例或使用Controller Tester提供的自動(dòng)生成功能自動(dòng)生成測(cè)試用例。
Controller Tester提供的測(cè)試用例自動(dòng)生成功能利用了多種測(cè)試用例生成和組合方式,包括基于測(cè)試數(shù)據(jù)數(shù)量*多的變量簡(jiǎn)單組合的平面組合。每個(gè)選定的參數(shù)數(shù)據(jù)至少與自身以外的參數(shù)數(shù)據(jù)組合。一個(gè)pairwise組合的Pairwise組合,以及輸入?yún)?shù)變量分區(qū)列表的*小值和*大值之間的任意值的隨機(jī)組合基于錯(cuò)誤驅(qū)動(dòng)的翻譯模板自動(dòng)獲取,根據(jù)用戶定義的數(shù)量等。
測(cè)試用例生成后,使用編寫(xiě)好的測(cè)試代碼和測(cè)試用例進(jìn)行測(cè)試,直到必須滿足100%的結(jié)構(gòu)覆蓋率(Structural Coverage:Statement Coverage、Branch Coverage、MC/DC)。執(zhí)行工作。在這種情況下,只要使用Controller Tester提供的可以輕松掌握覆蓋滿意程度的“Coverage View”功能或者可以確認(rèn)函數(shù)內(nèi)執(zhí)行的分支的“Control Flow Chart”功能,就可以更簡(jiǎn)單有效 執(zhí)行單元測(cè)試。
測(cè)試結(jié)束后基于錯(cuò)誤驅(qū)動(dòng)的翻譯模板自動(dòng)獲取,在確認(rèn)測(cè)試結(jié)果時(shí),可以通過(guò)分析可能導(dǎo)致致命錯(cuò)誤的部分或掌握覆蓋效果不能滿足的原因來(lái)發(fā)現(xiàn)軟件缺陷。
我們公司的軟件Controller Tester可以通過(guò)在目標(biāo)環(huán)境或類(lèi)似于目標(biāo)環(huán)境的主機(jī)環(huán)境中配置嵌入式軟件來(lái)幫助您輕松測(cè)試。此外,Controller Tester 支持測(cè)試設(shè)計(jì)、測(cè)試代碼和數(shù)據(jù)生成、執(zhí)行測(cè)試和覆蓋率測(cè)量的各個(gè)階段,并具有測(cè)試自動(dòng)化過(guò)程中所需的各種功能。
相關(guān)閱讀Relate
熱門(mén)文章 Recent
- 居民身份證本翻譯模板 身份證哪一面是正面 身份證正反面如何區(qū)分2023-03-11
- 簽證身份證正反面翻譯模板 辦簽證邀請(qǐng)函模板匯編3篇2023-03-11
- 在讀證明翻譯模板2023-03-11
- 亞馬遜上產(chǎn)品模板翻譯 創(chuàng)建庫(kù)存文件2023-03-11
- 英國(guó)簽證離婚證翻譯件模板 經(jīng)驗(yàn)貼,辦英簽畢業(yè)證學(xué)位證完全可以自己翻譯2023-03-11
- 校園安全英語(yǔ)作文模板帶翻譯 校園安全的英語(yǔ)作文2023-03-11
- 加拿大簽證材料房產(chǎn)證翻譯模板 加拿大留學(xué)簽證的資金證明要求介紹2023-03-11
- 加拿大探親簽證資料翻譯模板 一家三口加拿大探親簽證和學(xué)簽同時(shí)下簽的實(shí)例2023-03-11
- 英語(yǔ)護(hù)照翻譯模板 護(hù)照翻譯價(jià)格-安徽護(hù)照翻譯-某翻譯(查看)2023-03-11
- 執(zhí)業(yè)醫(yī)師資格證翻譯模板 兒科醫(yī)生個(gè)人簡(jiǎn)歷模板2023-03-11