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

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

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

編譯器和標(biāo)準(zhǔn)庫認(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ā)展，越來越多的現(xiàn)代編程功能得以推廣應(yīng)用，對于驗(yàn)證工具而言，跟上技術(shù)發(fā)展步伐并支持這些功能就顯得至關(guān)重要了。我們很高興與Solid Sands合作共同達(dá)成此目標(biāo)，通過探索RapiCover如何收集編譯時(shí)代碼的覆蓋范圍，以支持Solid Sand解決方案的開發(fā)、滿足客戶的驗(yàn)證需求。”

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

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