編譯器測試和驗證領(lǐng)域的全球領(lǐng)導(dǎo)者 Solid Sands 近期宣布推出SuperGuard C 庫安全驗證套件。和SuperTest一樣，SuperGuard 也記錄了C 庫測試要求和規(guī)范。
Solid Sands 首席技術(shù)官Marcel Beemster
? C 庫測試要求、規(guī)范和實施的綜合文檔為開發(fā)人員提供了遵守功能安全標(biāo)準(zhǔn)所需的信息
? 庫測試與 ISO C 語言標(biāo)準(zhǔn)要求之間具有完全可追溯性和透明度
“我們的許多客戶，包括開發(fā)安全關(guān)鍵應(yīng)用領(lǐng)域的客戶，都對標(biāo)準(zhǔn)庫驗證提出需求。盡管庫已成為應(yīng)用程序的一部分，但市場上仍缺乏對庫進行專業(yè)驗證的工具。因此，我們決定開發(fā) SuperGuard，”Solid Sands首席運營官 Marianne Damstra 解釋道，“作為全球安全關(guān)鍵應(yīng)用領(lǐng)域編譯器測試最杰出的企業(yè)，我們對測試和需求深度了解。因此，我們非常適合，也能夠?qū)?SuperGuard 打造為目前市場上最全面的庫驗證工具。”
SuperGuard 為ISO C 語言定義的需求和測試套件提供了全程可追溯性，以及國際認(rèn)證機構(gòu)要求的信息和透明度文件。
“所有的 C 語言編譯器均與標(biāo)準(zhǔn)庫一起使用，庫中的函數(shù)會鏈接到應(yīng)用程序，并在目標(biāo)上執(zhí)行。這使得安全關(guān)鍵應(yīng)用程序的開發(fā)人員有責(zé)任證明庫代碼與其編寫的代碼一樣經(jīng)過嚴(yán)格測試，”Solid Sands 首席技術(shù)官Marcel Beemster 說，“我們現(xiàn)有的產(chǎn)品 SuperTest 不僅可以驗證編譯器，還包含一套全面的測試來驗證庫。我們需要為開發(fā)人員提供必要的文檔，以顯示這些庫的測試是如何基于需求和測試規(guī)范，并達(dá)到功能安全標(biāo)準(zhǔn)要求的水平的。”
C 語言規(guī)范沒有明確定義一套能測試每個庫函數(shù)的要求規(guī)范，但它們卻是功能安全標(biāo)準(zhǔn)批準(zhǔn)的重要組成部分，如ISO 26262 。因此，它們需要通過測試開發(fā)人員從語言規(guī)范中創(chuàng)建，在這種情況下，Solid Sands應(yīng)運而生。這些要求和測試的可追溯性是 SuperGuard 與眾不同之處。
Solid Sands 的產(chǎn)品正迅速成為安全關(guān)鍵應(yīng)用中編譯器和庫認(rèn)證的“黃金標(biāo)準(zhǔn)”。
SuperGuard C 庫安全認(rèn)證套件將于 2021 年夏季推出，它既能作為獨立的產(chǎn)品，也能作為 SuperTest 用戶的附加產(chǎn)品。目前，針對C++標(biāo)準(zhǔn)庫的類似套件正在開發(fā)中。
關(guān)于Solid Sands
Solid Sands 成立于 2014 年，是 C 和 C++ 編譯器和庫測試、驗證和安全服務(wù)的一站式商店。 Solid Sands提供廣泛的測試和驗證套件，具有獨特的編譯器和庫測試覆蓋水平，使客戶能夠達(dá)到 ISO 標(biāo)準(zhǔn)所要求的軟件工具質(zhì)量水平。該公司的名字結(jié)合了沙子——世界上最豐富的硅源，代表了行業(yè)領(lǐng)先的測試和驗證技術(shù)的穩(wěn)定性和安全性。有關(guān)該公司產(chǎn)品和服務(wù)的更多信息，請訪問 solidsands.nl" target="_self">www.solidsands.nl。您可以通過LinkedIn、Twitter 和 YouTube 關(guān)注 Solid Sands。
