如今,幾乎所有的安全關鍵型嵌入式軟件應用都是由三個部分組成:開發(fā)人員編寫的應用程序代碼、標準庫組件和實時操作系統(tǒng)(RTOS)。

對于eSOL歐洲公司的工程副總裁RollandDudemaine來說,最后一個關鍵因素是符合安全標準,例如汽車行業(yè)的國際性安全標準ISO26262。而他的職責之一就是確保團隊所開發(fā)和支持的實時操作系統(tǒng)經(jīng)過了全面穩(wěn)健的合規(guī)性測試。

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

"多核處理是我們很早之前就發(fā)現(xiàn)的一個趨勢。我們創(chuàng)建了一個名為eMCOS的操作系統(tǒng),旨在為擁有多達256個內(nèi)核甚至更多內(nèi)核的系統(tǒng)上運行,目前該系統(tǒng)主要用于汽車市場的客戶,"RollandDudemaine說道,"我們還有一個團隊可支持Autoware(汽車軟件)、AUTOSARClassicPlatform(汽車開放系統(tǒng)架構經(jīng)典平臺)

和AUTOSARAdaptivePlatform(汽車開放系統(tǒng)架構自適應平臺)。"

為提供基于eMCOS或AUTOSAR安全認證的操作系統(tǒng)和平臺,eSOL需要提供經(jīng)過全面測試的標準編程API(應用編程接口),而SuperTest非常適合此任務。

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

對我們來說,使用SuperTest至關重要,因為即使是使用Arm平臺和具有功能安全資格的商用ARM編譯器,以及一套合格的C和C++庫,也無法滿足我們所有需求——諸如malloc(動態(tài)內(nèi)存分配)、部分C庫和POSIX庫中依賴于操作系統(tǒng)的部分,以及我們操作系統(tǒng)API(應用編程接口)相關的附加標頭文件。

"不包括這些部分并不是Arm的缺失,而是因為它們依賴于操作系統(tǒng),因此Arm工具被設計為操作系統(tǒng)或平臺供應商將實現(xiàn)其余部分。"

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

"我們將SuperTest用作功能測試套件、覆蓋測試套件和合規(guī)性測試套件,因為我們的客戶希望eSOL提供的操作系統(tǒng)是已經(jīng)通過全面的測試并符合要求的,"Rolland說道。"SuperTest已為我們的客戶和合作伙伴所熟悉是其一大優(yōu)勢,甚至他們也經(jīng)常自己使用SuperTest來驗證合規(guī)性。實際上,在我們的操作系統(tǒng)和庫測試上使用SuperTest也對我們的客戶和合作伙伴而言更有信心。"

"SuperTest的兩大價值首先是測試套件本身的能力,其次是針對已開發(fā)的測試所對應的文檔。增加新的測試來滿足我們的特定需求也并不困難,"Rolland補充道,"除了SuperTest和其包含的C++庫測試,我們還增加了其他測試,以配合我們特定的操作系統(tǒng)。"

就安裝而言,讓SuperTest啟動和運行是非常簡單的。

"SuperTest的初始安裝很簡便,代碼也很整潔,這意味著該工具可以很快上線。SolidSands的日本經(jīng)銷商為我們提供了高質量和反應迅速的服務支持,"Rolland說道,"我們不僅將SolidSands看作供應商,也將其視為合作伙伴,因為使用SuperTest對我們許多客戶而言,也會是勢在必行的趨勢。"