Solid Sands與Rapita Systems建立合作.致力于解決C++標(biāo)準(zhǔn)庫(kù)的代碼覆蓋率分析需求

Solid Sands和Rapita Systems宣布，兩家公司已達(dá)成戰(zhàn)略合作伙伴關(guān)系，以開發(fā)改進(jìn)C++標(biāo)準(zhǔn)庫(kù)的代碼覆蓋率分析中，傳統(tǒng)工具無(wú)法完全支援的部分。

這次合作源于雙方共同客戶提出的針對(duì)C++標(biāo)準(zhǔn)庫(kù)進(jìn)行大規(guī)模代碼覆蓋率分析的需求。通過雙方的交流，一致認(rèn)可了深化安全關(guān)鍵應(yīng)用市場(chǎng)的測(cè)試解決方案的可能性。

“據(jù)我們所知，我們是第一個(gè)嘗試對(duì)C++標(biāo)準(zhǔn)庫(kù)進(jìn)行大規(guī)模覆蓋分析的公司。”Solid Sands首席技術(shù)官M(fèi)arcel Beemster說道。“在這次分析中，我們發(fā)現(xiàn)C++標(biāo)準(zhǔn)庫(kù)中有相當(dāng)大一部份是用于僅被編譯器自行編譯的代碼。這是C++的一個(gè)基本特性，這種方式是利用更高效的運(yùn)行開銷模式來(lái)獲得更高的安全性能和編譯速度。然而，這使得進(jìn)行代碼覆蓋率分析變得更加困難，因?yàn)橥ǔ８采w率分析是基于運(yùn)行記錄結(jié)果進(jìn)行的。”

編譯器和標(biāo)準(zhǔn)庫(kù)認(rèn)證領(lǐng)域的世界引領(lǐng)者Solid Sands，聯(lián)系了許多提供覆蓋率分析解決方案的公司，發(fā)現(xiàn)目前只有少數(shù)公司熱心于處理編譯時(shí)執(zhí)行的代碼的覆蓋率分析。 Solid Sands認(rèn)為這是一項(xiàng)安全關(guān)鍵功能。

Rapita Systems首席技術(shù)官Antoine Colin表示，“隨著安全關(guān)鍵行業(yè)的發(fā)展，越來(lái)越多的現(xiàn)代編程功能得以推廣應(yīng)用，對(duì)于驗(yàn)證工具而言，跟上技術(shù)發(fā)展步伐并支持這些功能就顯得至關(guān)重要了。我們很高興與Solid Sands合作共同達(dá)成此目標(biāo)，通過探索RapiCover如何收集編譯時(shí)代碼的覆蓋范圍，以支持Solid Sand解決方案的開發(fā)、滿足客戶的驗(yàn)證需求?！?/p>

Rapita Systems是一家國(guó)際公司，主要為航空電子和汽車電子行業(yè)的客戶開發(fā)目標(biāo)板嵌入式驗(yàn)證軟件解決方案。他們的工具RapiCover現(xiàn)在被用于共同應(yīng)對(duì)完整C++標(biāo)準(zhǔn)庫(kù)的大規(guī)模代碼覆蓋率分析。

對(duì)于Solid Sands而言，這一合作恰逢他們準(zhǔn)備C++版SuperGuard之際。 C++版SuperGuard預(yù)計(jì)在2023年年底正式推出。