《電子技術應用》
您所在的位置:首頁 > 模擬設計 > 新品快遞 > Solid Sands推出用于安全關鍵應用、可簡化軟件審批的SuperGuard C庫安全驗證套件

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

2021-06-29
來源:Solid Sands

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

Marcel Beemster 2021.jpg

Solid Sands 首席技術官Marcel Beemster

? C 庫測試要求、規范和實施的綜合文檔為開發人員提供了遵守功能安全標準所需的信息

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

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

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

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

SOL006 SuperGuard.jpg

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

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

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

關于Solid Sands

Solid Sands 成立于 2014 年,是 C 和 C++ 編譯器和庫測試、驗證和安全服務的一站式商店。 Solid Sands提供廣泛的測試和驗證套件,具有獨特的編譯器和庫測試覆蓋水平,使客戶能夠達到 ISO 標準所要求的軟件工具質量水平。該公司的名字結合了沙子——世界上最豐富的硅源,代表了行業領先的測試和驗證技術的穩定性和安全性。有關該公司產品和服務的更多信息,請訪問 solidsands.nl" target="_self">www.solidsands.nl。您可以通過LinkedIn、Twitter 和 YouTube 關注 Solid Sands。
 



ChinaAET微店.jpg

本站內容除特別聲明的原創文章之外,轉載內容只為傳遞更多信息,并不代表本網站贊同其觀點。轉載的所有的文章、圖片、音/視頻文件等資料的版權歸版權所有權人所有。本站采用的非本站原創文章及圖片等內容無法一一聯系確認版權者。如涉及作品內容、版權和其它問題,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,避免給雙方造成不必要的經濟損失。聯系電話:010-82306116;郵箱:aet@chinaaet.com。
蜜糖直播官网_蜜糖直播软件下载_蜜糖直播苹果