原標題：Solid Sands 推出用于安全關(guān)鍵應(yīng)用、可簡化軟件審批的SuperGuard C 庫安全驗證套件

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

一、產(chǎn)品背景與目的

Solid Sands作為編譯器測試和驗證領(lǐng)域的全球領(lǐng)導者，深刻理解安全關(guān)鍵應(yīng)用領(lǐng)域?qū)藴蕩祢炞C的需求。盡管庫已成為應(yīng)用程序的重要組成部分，但市場上仍缺乏對庫進行專業(yè)驗證的工具。因此，Solid Sands決定開發(fā)SuperGuard C庫安全驗證套件，以填補這一市場空白。

二、產(chǎn)品功能與特點

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

• SuperGuard與ISO C規(guī)范緊密結(jié)合，將規(guī)范轉(zhuǎn)換為測試要求，這些要求說明了標準C庫中條件函數(shù)的不同實現(xiàn)，并調(diào)用了合規(guī)性所需的測試。

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

2. 完整的可追溯性：

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

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

3. 高代碼覆蓋率：

• SuperGuard提供了開箱即用的高結(jié)構(gòu)代碼和分支覆蓋率，確保了標準庫在安全關(guān)鍵應(yīng)用中的安全使用。

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

4. 廣泛的兼容性：

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

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

5. 靈活的測試定制：

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

• 開發(fā)人員可以根據(jù)具體需求生成多個測試規(guī)范，并應(yīng)用于庫實現(xiàn)。

三、應(yīng)用場景與價值

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

1. 汽車電子：確保車載系統(tǒng)中的C庫函數(shù)在極端條件下仍能穩(wěn)定運行，提高行車安全性。

2. 航空航天：對飛行控制系統(tǒng)中的C庫進行嚴格的驗證，確保系統(tǒng)在各種復(fù)雜環(huán)境下的可靠性。

3. 醫(yī)療設(shè)備：對醫(yī)療設(shè)備中的C庫進行驗證，確保設(shè)備在關(guān)鍵時刻能夠準確、穩(wěn)定地運行，挽救患者生命。

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

四、市場反饋與未來發(fā)展

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

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