編譯器測試和驗證領域的全球領導者 Solid Sands 近期宣佈推出SuperGuard C 庫安全驗證套件。和SuperTest一樣，SuperGuard 也記錄了C 庫測試要求和規範。

Solid Sands 首席技術官Marcel Beemster

• C 庫測試要求、規範和實施的綜合文件為開發人員提供了遵守功能安全標準所需的資訊

• 庫測試與 ISO C 語言標準要求之間具有完全可追溯性和透明度

“我們的許多客戶，包括開發安全關鍵應用領域的客戶，都對標準庫驗證提出需求。儘管庫已成為應用程式的一部分，但市場上仍缺乏對庫進行專業驗證的工具。因此，我們決定開發 SuperGuard，”Solid Sands營運長 Marianne Damstra 解釋道，“作為全球安全關鍵應用領域編譯器測試最傑出的企業，我們對測試和需求深度瞭解。因此，我們非常適合，也能夠將 SuperGuard 打造為目前市場上最全面的庫驗證工具。”

SuperGuard 為ISO C 語言定義的需求和測試套件提供了全程可追溯性，以及國際認證機構要求的資訊和透明度檔案。

“所有的 C 語言編譯器均與標準庫一起使用，庫中的函式會連結到應用程式，並在目標上執行。這使得安全關鍵應用程式的開發人員有責任證明庫程式碼與其編寫的程式碼一樣經過嚴格測試，”Solid Sands 首席技術官Marcel Beemster 說，“我們現有的產品 SuperTest 不僅可以驗證編譯器，還包含一套全面的測試來驗證庫。我們需要為開發人員提供必要的文件，以顯示這些庫的測試是如何基於需求和測試規範，並達到功能安全標準要求的水平的。”

C 語言規範沒有明確定義一套能測試每個庫函式的要求規範，但它們卻是功能安全標準批准的重要組成部分，如ISO 26262 。因此，它們需要透過測試開發人員從語言規範中建立，在這種情況下，Solid Sands應運而生。這些要求和測試的可追溯性是 SuperGuard 與眾不同之處。

Solid Sands 的產品正迅速成為安全關鍵應用中編譯器和庫認證的“黃金標準”。

SuperGuard C 庫安全認證套件將於 2021 年夏季推出，它既能作為獨立的產品，也能作為 SuperTest 使用者的附加產品。目前，針對C++標準庫的類似套件正在開發中。