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

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

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

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

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

1. 基于需求的測(cè)試解決方案：

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

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

2. 完整的可追溯性：

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

• 這為開發(fā)人員提供了遵守功能安全標(biāo)準(zhǔn)所需的信息，并滿足了國(guó)際認(rèn)證機(jī)構(gòu)對(duì)信息和透明度的要求。

3. 高代碼覆蓋率：

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

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

4. 廣泛的兼容性：

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

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

5. 靈活的測(cè)試定制：

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

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

三、應(yīng)用場(chǎng)景與價(jià)值

SuperGuard C庫(kù)安全驗(yàn)證套件適用于各種需要精確驗(yàn)證C庫(kù)安全性的場(chǎng)景，如：

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

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

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

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

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

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

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