原標題：Solid Sands 推出用于安全關鍵應用、可簡化軟件審批的SuperGuard C 庫安全驗證套件

Solid Sands推出的SuperGuard C庫安全驗證套件，是一款針對安全關鍵應用設計的工具，旨在簡化軟件審批流程。以下是對該套件的詳細介紹：

一、產品背景與目的

Solid Sands作為編譯器測試和驗證領域的全球領導者，深刻理解安全關鍵應用領域對標準庫驗證的需求。盡管庫已成為應用程序的重要組成部分，但市場上仍缺乏對庫進行專業驗證的工具。因此，Solid Sands決定開發SuperGuard C庫安全驗證套件，以填補這一市場空白。

二、產品功能與特點

1. 基于需求的測試解決方案：

• SuperGuard與ISO C規范緊密結合，將規范轉換為測試要求，這些要求說明了標準C庫中條件函數的不同實現，并調用了合規性所需的測試。

• 該套件為C90和C99庫提供了以需求為中心的測試解決方案，沒有為每個C庫函數定義測試要求，而是根據ISO C規范生成測試案例。

2. 完整的可追溯性：

• SuperGuard提供了從ISO標準C庫規范到生成測試需求、創建測試規范和執行測試，一直到報告的鏈接和文檔的完整可追溯性。

• 這為開發人員提供了遵守功能安全標準所需的信息，并滿足了國際認證機構對信息和透明度的要求。

3. 高代碼覆蓋率：

• SuperGuard提供了開箱即用的高結構代碼和分支覆蓋率，確保了標準庫在安全關鍵應用中的安全使用。

• Solid Sands使用該方法為MUSL-C庫實現和高修改條件/決策覆蓋率實現了高達100%的代碼覆蓋率。

4. 廣泛的兼容性：

• SuperGuard與Windows和Linux系統兼容，可與任何C或C++編譯器（包括裸機目標）一起使用。

• 該套件支持配置插件，并且可以利用多處理功能來傳播驗證運行，以便更快地執行測試。

5. 靈活的測試定制：

• 對于那些實現定義的元素，SuperGuard為工程師提供了完全控制來添加他們自己的測試或調整生成的測試集。

• 開發人員可以根據具體需求生成多個測試規范，并應用于庫實現。

三、應用場景與價值

SuperGuard C庫安全驗證套件適用于各種需要精確驗證C庫安全性的場景，如：

1. 汽車電子：確保車載系統中的C庫函數在極端條件下仍能穩定運行，提高行車安全性。

2. 航空航天：對飛行控制系統中的C庫進行嚴格的驗證，確保系統在各種復雜環境下的可靠性。

3. 醫療設備：對醫療設備中的C庫進行驗證，確保設備在關鍵時刻能夠準確、穩定地運行，挽救患者生命。

通過使用該套件，開發人員可以大大簡化軟件審批流程，提高產品質量和安全性，降低因C庫問題導致的潛在風險。

四、市場反饋與未來發展

SuperGuard C庫安全驗證套件自推出以來，受到了廣大開發人員的熱烈歡迎和高度評價。隨著技術的不斷發展，Solid Sands將繼續完善該套件的功能和性能，以滿足更多用戶的需求。同時，該公司也在積極開發針對C++標準庫的類似套件，以進一步拓展其產品線和應用領域。

綜上所述，Solid Sands推出的SuperGuard C庫安全驗證套件是一款功能強大、易于使用的工具，為開發人員提供了完整的可追溯性和高代碼覆蓋率，適用于各種需要精確驗證C庫安全性的場景。