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

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

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

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

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

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

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

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