編譯器測(cè)試和驗(yàn)證領(lǐng)域的全球領(lǐng)導(dǎo)者 Solid Sands 近期宣布推出SuperGuard C 庫(kù)安全驗(yàn)證套件。和SuperTest一樣,，SuperGuard 也記錄了C 庫(kù)測(cè)試要求和規(guī)范,。

Solid Sands 首席技術(shù)官M(fèi)arcel Beemster

? C 庫(kù)測(cè)試要求、規(guī)范和實(shí)施的綜合文檔為開(kāi)發(fā)人員提供了遵守功能安全標(biāo)準(zhǔn)所需的信息

? 庫(kù)測(cè)試與 ISO C 語(yǔ)言標(biāo)準(zhǔn)要求之間具有完全可追溯性和透明度

“我們的許多客戶,，包括開(kāi)發(fā)安全關(guān)鍵應(yīng)用領(lǐng)域的客戶,，都對(duì)標(biāo)準(zhǔn)庫(kù)驗(yàn)證提出需求。盡管庫(kù)已成為應(yīng)用程序的一部分,，但市場(chǎng)上仍缺乏對(duì)庫(kù)進(jìn)行專(zhuān)業(yè)驗(yàn)證的工具,。因此,，我們決定開(kāi)發(fā) SuperGuard，”Solid Sands首席運(yùn)營(yíng)官 Marianne Damstra 解釋道,，“作為全球安全關(guān)鍵應(yīng)用領(lǐng)域編譯器測(cè)試最杰出的企業(yè),，我們對(duì)測(cè)試和需求深度了解。因此,，我們非常適合,，也能夠?qū)?SuperGuard 打造為目前市場(chǎng)上最全面的庫(kù)驗(yàn)證工具?！?/p>

SuperGuard 為ISO C 語(yǔ)言定義的需求和測(cè)試套件提供了全程可追溯性,，以及國(guó)際認(rèn)證機(jī)構(gòu)要求的信息和透明度文件。

“所有的 C 語(yǔ)言編譯器均與標(biāo)準(zhǔn)庫(kù)一起使用,，庫(kù)中的函數(shù)會(huì)鏈接到應(yīng)用程序,，并在目標(biāo)上執(zhí)行。這使得安全關(guān)鍵應(yīng)用程序的開(kāi)發(fā)人員有責(zé)任證明庫(kù)代碼與其編寫(xiě)的代碼一樣經(jīng)過(guò)嚴(yán)格測(cè)試,，”Solid Sands 首席技術(shù)官M(fèi)arcel Beemster 說(shuō),，“我們現(xiàn)有的產(chǎn)品 SuperTest 不僅可以驗(yàn)證編譯器，還包含一套全面的測(cè)試來(lái)驗(yàn)證庫(kù),。我們需要為開(kāi)發(fā)人員提供必要的文檔,，以顯示這些庫(kù)的測(cè)試是如何基于需求和測(cè)試規(guī)范，并達(dá)到功能安全標(biāo)準(zhǔn)要求的水平的,?！?/p>

C 語(yǔ)言規(guī)范沒(méi)有明確定義一套能測(cè)試每個(gè)庫(kù)函數(shù)的要求規(guī)范，但它們卻是功能安全標(biāo)準(zhǔn)批準(zhǔn)的重要組成部分,，如ISO 26262 ,。因此，它們需要通過(guò)測(cè)試開(kāi)發(fā)人員從語(yǔ)言規(guī)范中創(chuàng)建,，在這種情況下，Solid Sands應(yīng)運(yùn)而生,。這些要求和測(cè)試的可追溯性是 SuperGuard 與眾不同之處,。

Solid Sands 的產(chǎn)品正迅速成為安全關(guān)鍵應(yīng)用中編譯器和庫(kù)認(rèn)證的“黃金標(biāo)準(zhǔn)”。

SuperGuard C 庫(kù)安全認(rèn)證套件將于 2021 年夏季推出,，它既能作為獨(dú)立的產(chǎn)品,，也能作為 SuperTest 用戶的附加產(chǎn)品。目前,，針對(duì)C++標(biāo)準(zhǔn)庫(kù)的類(lèi)似套件正在開(kāi)發(fā)中,。

關(guān)于Solid Sands

Solid Sands 成立于 2014 年，是 C 和 C++ 編譯器和庫(kù)測(cè)試,、驗(yàn)證和安全服務(wù)的一站式商店,。 Solid Sands提供廣泛的測(cè)試和驗(yàn)證套件,，具有獨(dú)特的編譯器和庫(kù)測(cè)試覆蓋水平，使客戶能夠達(dá)到 ISO 標(biāo)準(zhǔn)所要求的軟件工具質(zhì)量水平,。該公司的名字結(jié)合了沙子——世界上最豐富的硅源,，代表了行業(yè)領(lǐng)先的測(cè)試和驗(yàn)證技術(shù)的穩(wěn)定性和安全性。有關(guān)該公司產(chǎn)品和服務(wù)的更多信息,，請(qǐng)?jiān)L問(wèn) solidsands.nl" target="_self">www.solidsands.nl,。您可以通過(guò)LinkedIn、Twitter 和 YouTube 關(guān)注 Solid Sands,。