如今,，幾乎所有的安全關(guān)鍵型嵌入式軟件應(yīng)用都是由三個部分組成：開發(fā)人員編寫的應(yīng)用程序代碼,、標準庫組件和實時操作系統(tǒng)（RTOS）。
對于eSOL歐洲公司的工程副總裁Rolland Dudemaine來說,，最后一個關(guān)鍵因素是符合安全標準,，例如汽車行業(yè)的國際性安全標準ISO 26262,。而他的職責(zé)之一就是確保團隊所開發(fā)和支持的實時操作系統(tǒng)經(jīng)過了全面穩(wěn)健的合規(guī)性測試。
這就是為何eSOL選擇了Solid Sands的SuperTest C和C++編譯器與庫的測試和驗證套件來承擔(dān)這項工作的關(guān)鍵部分,。目前,，用于汽車和其他安全關(guān)鍵應(yīng)用的多核處理器在單個芯片上擁有數(shù)十或數(shù)百個內(nèi)核，因此驗證操作系統(tǒng)的合規(guī)性是該公司開發(fā)工作的關(guān)鍵部分,。
“多核處理是我們很早之前就發(fā)現(xiàn)的一個趨勢,。我們創(chuàng)建了一個名為eMCOS的操作系統(tǒng)，旨在為擁有多達256個內(nèi)核甚至更多內(nèi)核的系統(tǒng)上運行,，目前該系統(tǒng)主要用于汽車市場的客戶,，”Rolland Dudemaine說道，“我們還有一個團隊可支持Autoware（汽車軟件）,、AUTOSAR Classic Platform（汽車開放系統(tǒng)架構(gòu)經(jīng)典平臺）和AUTOSAR Adaptive Platform（汽車開放系統(tǒng)架構(gòu)自適應(yīng)平臺）,。”
為提供基于eMCOS或AUTOSAR安全認證的操作系統(tǒng)和平臺,，eSOL需要提供經(jīng)過全面測試的標準編程API (應(yīng)用編程接口),，而SuperTest非常適合此任務(wù)。
“每個人都希望操作系統(tǒng)在出廠時帶有C語言庫，有時還需C++庫,，因此我們需要確保這些庫的功能是按照最新的功能性安全(FuSa)方法進行全面測試的,。”
對我們來說,，使用SuperTest至關(guān)重要,，因為即使是使用Arm平臺和具有功能安全資格的商用ARM編譯器，以及一套合格的C和C++庫,，也無法滿足我們所有需求——諸如malloc（動態(tài)內(nèi)存分配）,、部分C庫和POSIX庫中依賴于操作系統(tǒng)的部分，以及我們操作系統(tǒng)API（應(yīng)用編程接口）相關(guān)的附加標頭文件,。
“不包括這些部分并不是Arm的缺失,，而是因為它們依賴于操作系統(tǒng)，因此Arm工具被設(shè)計為操作系統(tǒng)或平臺供應(yīng)商將實現(xiàn)其余部分,?！?/p>
現(xiàn)在，eSOL的eMCOS開發(fā)團隊在eSOL每個新發(fā)布的操作系統(tǒng)上運行SuperTest,，以驗證其涵蓋的許多操作系統(tǒng)API（應(yīng)用編程接口）是否按預(yù)期運行,。
“我們將SuperTest用作功能測試套件、覆蓋測試套件和合規(guī)性測試套件,，因為我們的客戶希望eSOL提供的操作系統(tǒng)是已經(jīng)通過全面的測試并符合要求的,，”Rolland說道?！癝uperTest已為我們的客戶和合作伙伴所熟悉是其一大優(yōu)勢,，甚至他們也經(jīng)常自己使用SuperTest來驗證合規(guī)性。實際上,，在我們的操作系統(tǒng)和庫測試上使用SuperTest也對我們的客戶和合作伙伴而言更有信心,。”
“SuperTest的兩大價值首先是測試套件本身的能力,，其次是針對已開發(fā)的測試所對應(yīng)的文檔,。增加新的測試來滿足我們的特定需求也并不困難，”Rolland補充道,，“除了SuperTest和其包含的C++庫測試,，我們還增加了其他測試，以配合我們特定的操作系統(tǒng),?！?/p>
就安裝而言，讓SuperTest啟動和運行是非常簡單的,。
“SuperTest的初始安裝很簡便，代碼也很整潔，這意味著該工具可以很快上線,。Solid Sands的日本經(jīng)銷商為我們提供了高質(zhì)量和反應(yīng)迅速的服務(wù)支持,，”Rolland說道，“我們不僅將Solid Sands看作供應(yīng)商,，也將其視為合作伙伴,，因為使用SuperTest對我們許多客戶而言，也會是勢在必行的趨勢,?！?/p>
更多有關(guān)Solid Sands的信息，請訪問: https://solidsands.nl/
更多有關(guān)eSOL符合安全標準的實時嵌入式軟件平臺的信息,，請訪問：www.esol.com
關(guān)于Solid Sands
Solid Sands成立于2014年,，是C和C++編譯器和庫測試、驗證和安全服務(wù)的一站式商店,。Solid Sands提供廣泛的測試和驗證套件,，具有獨特的編譯器和庫測試覆蓋水平，使客戶能夠達到ISO標準所要求的軟件工具質(zhì)量水平,。該公司的名字結(jié)合了沙子——世界上最豐富的硅源,，代表了行業(yè)領(lǐng)先的測試和驗證技術(shù)的穩(wěn)定性和安全性。有關(guān)該公司產(chǎn)品和服務(wù)的更多信息,，請訪問www.solidsands.nl,。您可以通過LinkedIn、Twitter和YouTube關(guān)注Solid Sands,。