性无码一区二区三区在线观看,少妇被爽到高潮在线观看,午夜精品一区二区三区,无码中文字幕人妻在线一区二区三区,无码精品国产一区二区三区免费

微軟公司宣布不再支持你正在使用的 IE瀏覽器,這會(huì)嚴(yán)重影響瀏覽網(wǎng)頁,請(qǐng)使用微軟最新的Edge瀏覽器
廠商專區(qū)
產(chǎn)品/技術(shù)
應(yīng)用分類

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

2021-06-08 16:51 來源:Solid Sands 編輯:電源網(wǎng)

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

1

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

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

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

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

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

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

2

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

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

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

聲明:本內(nèi)容為作者獨(dú)立觀點(diǎn),不代表電源網(wǎng)。本網(wǎng)站原創(chuàng)內(nèi)容,如需轉(zhuǎn)載,請(qǐng)注明出處;本網(wǎng)站轉(zhuǎn)載的內(nèi)容(文章、圖片、視頻)等資料版權(quán)歸原作者所有。如我們采用了您不宜公開的文章或圖片,未能及時(shí)和您確認(rèn),避免給雙方造成不必要的經(jīng)濟(jì)損失,請(qǐng)電郵聯(lián)系我們,以便迅速采取適當(dāng)處理措施;歡迎投稿,郵箱∶editor@netbroad.com。

微信關(guān)注
技術(shù)專題 更多>>
技術(shù)專題之EMC
技術(shù)專題之PCB

頭條推薦

電子行業(yè)原創(chuàng)技術(shù)內(nèi)容推薦
客服熱線
服務(wù)時(shí)間:周一至周五9:00-18:00
微信關(guān)注
獲取一手干貨分享
免費(fèi)技術(shù)研討會(huì)
editor@netbroad.com
400-003-2006