SuperTest——幫助eSOL提供符合安全標(biāo)準(zhǔn)的實(shí)時(shí)嵌入式軟件平臺(tái)

如今，幾乎所有的安全關(guān)鍵型嵌入式軟件應(yīng)用都是由三個(gè)部分組成：開發(fā)人員編寫的應(yīng)用程序代碼、標(biāo)準(zhǔn)庫組件和實(shí)時(shí)操作系統(tǒng)（RTOS）。

對(duì)于eSOL歐洲公司的工程副總裁Rolland Dudemaine來說，最后一個(gè)關(guān)鍵因素是符合安全標(biāo)準(zhǔn)，例如汽車行業(yè)的國(guó)際性安全標(biāo)準(zhǔn)ISO 26262。而他的職責(zé)之一就是確保團(tuán)隊(duì)所開發(fā)和支持的實(shí)時(shí)操作系統(tǒng)經(jīng)過了全面穩(wěn)健的合規(guī)性測(cè)試。

這就是為何eSOL選擇了Solid Sands的SuperTest C和C++編譯器與庫的測(cè)試和驗(yàn)證套件來承擔(dān)這項(xiàng)工作的關(guān)鍵部分。目前，用于汽車和其他安全關(guān)鍵應(yīng)用的多核處理器在單個(gè)芯片上擁有數(shù)十或數(shù)百個(gè)內(nèi)核，因此驗(yàn)證操作系統(tǒng)的合規(guī)性是該公司開發(fā)工作的關(guān)鍵部分。

“多核處理是我們很早之前就發(fā)現(xiàn)的一個(gè)趨勢(shì)。我們創(chuàng)建了一個(gè)名為eMCOS的操作系統(tǒng)，旨在為擁有多達(dá)256個(gè)內(nèi)核甚至更多內(nèi)核的系統(tǒng)上運(yùn)行，目前該系統(tǒng)主要用于汽車市場(chǎng)的客戶，”Rolland Dudemaine說道，“我們還有一個(gè)團(tuán)隊(duì)可支持Autoware（汽車軟件）、AUTOSAR Classic Platform（汽車開放系統(tǒng)架構(gòu)經(jīng)典平臺(tái)）和AUTOSAR Adaptive Platform（汽車開放系統(tǒng)架構(gòu)自適應(yīng)平臺(tái)）。”

為提供基于eMCOS或AUTOSAR安全認(rèn)證的操作系統(tǒng)和平臺(tái)，eSOL需要提供經(jīng)過全面測(cè)試的標(biāo)準(zhǔn)編程API (應(yīng)用編程接口)，而SuperTest非常適合此任務(wù)。

“每個(gè)人都希望操作系統(tǒng)在出廠時(shí)帶有C語言庫，有時(shí)還需C++庫，因此我們需要確保這些庫的功能是按照最新的功能性安全(FuSa)方法進(jìn)行全面測(cè)試的。”

對(duì)我們來說，使用SuperTest至關(guān)重要，因?yàn)榧词故鞘褂肁rm平臺(tái)和具有功能安全資格的商用ARM編譯器，以及一套合格的C和C++庫，也無法滿足我們所有需求——諸如malloc（動(dòng)態(tài)內(nèi)存分配）、部分C庫和POSIX庫中依賴于操作系統(tǒng)的部分，以及我們操作系統(tǒng)API（應(yīng)用編程接口）相關(guān)的附加標(biāo)頭文件。

“不包括這些部分并不是Arm的缺失，而是因?yàn)樗鼈円蕾囉诓僮飨到y(tǒng)，因此Arm工具被設(shè)計(jì)為操作系統(tǒng)或平臺(tái)供應(yīng)商將實(shí)現(xiàn)其余部分?！?/p>

現(xiàn)在，eSOL的eMCOS開發(fā)團(tuán)隊(duì)在eSOL每個(gè)新發(fā)布的操作系統(tǒng)上運(yùn)行SuperTest，以驗(yàn)證其涵蓋的許多操作系統(tǒng)API（應(yīng)用編程接口）是否按預(yù)期運(yùn)行。

“我們將SuperTest用作功能測(cè)試套件、覆蓋測(cè)試套件和合規(guī)性測(cè)試套件，因?yàn)槲覀兊目蛻粝Ｍ鹐SOL提供的操作系統(tǒng)是已經(jīng)通過全面的測(cè)試并符合要求的，”Rolland說道?！癝uperTest已為我們的客戶和合作伙伴所熟悉是其一大優(yōu)勢(shì)，甚至他們也經(jīng)常自己使用SuperTest來驗(yàn)證合規(guī)性。實(shí)際上，在我們的操作系統(tǒng)和庫測(cè)試上使用SuperTest也對(duì)我們的客戶和合作伙伴而言更有信心?！?/p>

“SuperTest的兩大價(jià)值首先是測(cè)試套件本身的能力，其次是針對(duì)已開發(fā)的測(cè)試所對(duì)應(yīng)的文檔。增加新的測(cè)試來滿足我們的特定需求也并不困難，”Rolland補(bǔ)充道，“除了SuperTest和其包含的C++庫測(cè)試，我們還增加了其他測(cè)試，以配合我們特定的操作系統(tǒng)?！?/p>

就安裝而言，讓SuperTest啟動(dòng)和運(yùn)行是非常簡(jiǎn)單的。

“SuperTest的初始安裝很簡(jiǎn)便，代碼也很整潔，這意味著該工具可以很快上線。Solid Sands的日本經(jīng)銷商為我們提供了高質(zhì)量和反應(yīng)迅速的服務(wù)支持，”Rolland說道，“我們不僅將Solid Sands看作供應(yīng)商，也將其視為合作伙伴，因?yàn)槭褂肧uperTest對(duì)我們?cè)S多客戶而言，也會(huì)是勢(shì)在必行的趨勢(shì)?！?/p>