SuperTest——幫助eSOL提供符合安全標準的實(shí)時(shí)嵌入式軟件平臺

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

對于eSOL歐洲公司的工程副總裁Rolland Dudemaine來(lái)說(shuō)，最后一個(gè)關(guān)鍵因素是符合安全標準，例如汽車(chē)行業(yè)的國際性安全標準ISO 26262。而他的職責之一就是確保團隊所開(kāi)發(fā)和支持的實(shí)時(shí)操作系統經(jīng)過(guò)了全面穩健的合規性測試。

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

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

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

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

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

“不包括這些部分并不是Arm的缺失，而是因為它們依賴(lài)于操作系統，因此Arm工具被設計為操作系統或平臺供應商將實(shí)現其余部分?！?/p>

現在，eSOL的eMCOS開(kāi)發(fā)團隊在eSOL每個(gè)新發(fā)布的操作系統上運行SuperTest，以驗證其涵蓋的許多操作系統API（應用編程接口）是否按預期運行。

“我們將SuperTest用作功能測試套件、覆蓋測試套件和合規性測試套件，因為我們的客戶(hù)希望eSOL提供的操作系統是已經(jīng)通過(guò)全面的測試并符合要求的，”Rolland說(shuō)道?！癝uperTest已為我們的客戶(hù)和合作伙伴所熟悉是其一大優(yōu)勢，甚至他們也經(jīng)常自己使用SuperTest來(lái)驗證合規性。實(shí)際上，在我們的操作系統和庫測試上使用SuperTest也對我們的客戶(hù)和合作伙伴而言更有信心?！?/p>

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

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

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