Solid Sands與Rapita Systems建立合作.致力于解決C++標準庫的代碼覆蓋率分析需求

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

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

“據我們所知，我們是第一個(gè)嘗試對C++標準庫進(jìn)行大規模覆蓋分析的公司?！?a class="contentlabel" href="http://dyxdggzs.com/news/listbylabel/label/Solid Sands">Solid Sands首席技術(shù)官Marcel Beemster說(shuō)道?！霸谶@次分析中，我們發(fā)現C++標準庫中有相當大一部份是用于僅被編譯器自行編譯的代碼。這是C++的一個(gè)基本特性，這種方式是利用更高效的運行開(kāi)銷(xiāo)模式來(lái)獲得更高的安全性能和編譯速度。然而，這使得進(jìn)行代碼覆蓋率分析變得更加困難，因為通常覆蓋率分析是基于運行記錄結果進(jìn)行的?！?/p>

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

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

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

對于Solid Sands而言，這一合作恰逢他們準備C++版SuperGuard之際。 C++版SuperGuard預計在2023年年底正式推出。