日韩性视频-久久久蜜桃-www中文字幕-在线中文字幕av-亚洲欧美一区二区三区四区-撸久久-香蕉视频一区-久久无码精品丰满人妻-国产高潮av-激情福利社-日韩av网址大全-国产精品久久999-日本五十路在线-性欧美在线-久久99精品波多结衣一区-男女午夜免费视频-黑人极品ⅴideos精品欧美棵-人人妻人人澡人人爽精品欧美一区-日韩一区在线看-欧美a级在线免费观看

歡迎訪問 生活随笔!

生活随笔

當前位置: 首頁 > 编程资源 > 编程问答 >内容正文

编程问答

GJB 8114编码标准检查软件产品简介

發布時間:2023/12/20 编程问答 30 豆豆
生活随笔 收集整理的這篇文章主要介紹了 GJB 8114编码标准检查软件产品简介 小編覺得挺不錯的,現在分享給大家,幫大家做個參考.

???????????? ? ? ? ? ? ? ? ? ?? talcheck產品介紹

簡介

?????? talcheck是擁有獨立知識產權的國產軟件,能夠對c/c++/java代碼進行編碼標準符合情況檢查,進而根據檢查結果對被測代碼的編碼規則符合情況進行評估,并生成檢查報告。檢測結果準確詳實,既包括違規點在源文件的位置信息、違反的規則信息以及違反原因等信息,還可以包括特定規則的溯源分析、影響范圍分析以及影響程度分析的結果,這些豐富且全面地信息能夠為評估特定的違規提供依據,也為解決代碼中存在的問題提供明確的線索,進而促進軟件代碼質量得到有效地改善與提高。

技術特點

??????? 1.檢測準確、全面且檢測能力強

??????? talcheck以完全自研的c/c++/java代碼解析器為基礎,對被測代碼進行準確且全面的合規性檢查。既能夠進行依賴于代碼解析的基礎規則檢查,也能夠在代碼解析結果的基礎上,應用路徑遍歷、約束求解、仿真地址空間、循環函數求解及仿真等多項相關技術進行深度規則檢查,從而對源碼與編碼標準的符合情況進行準確深入且全面地檢查。

??????? 2.支持編碼標準豐富

??????? talcheck既支持GB/T 28169、GB/T 34943、GB/T 34944、GJB 5369、GJB 8114等國家標準及特定領域標準,也支持MISRA C、MISRA C++等通用的行業標準,還支持CERT C、CWE等專業標準。

??????? 3.功能緊湊、簡單易用

??????? talcheck力求以最簡潔的方式提供準確且全面的規則檢查,并以便捷且清晰的方式呈現檢測結果。僅需要執行“打開”操作,即可實現整個被測工程的基礎規則檢查。在執行一次“深度檢查”操作,即可全面完成整個被測工程的規則檢查。借助于工程導航樹,可以輕松的查看特定函數、特定單元乃至整個工程的檢查結果,也可以輕松地實現對特定文件或者整個工程的編碼規則符合情況進行評估。

??????? 4.使用靈活

????? (1)talcheck允許用戶自主選用編碼標準、編碼規則集合、設置規則的嚴重等級、定制不同編碼標準中的可自定義的規則。

????? (2)talcheck還可根據測試資源的實際情況調整檢測程度。既可以單獨進行基礎檢查以節省檢查時間,也可以根據時間的多少有選擇地進行特定函數或特定文件的深度規則檢查,從而在測試資源有限的前提下,實現規則檢查效率的最大化。

??????? 5.適用性強??

????? (1)talcheck既支持對整個工程進行檢查,也支持對單個文件進行檢查 ;

????? (2)不依賴任何第三方編譯器,能夠檢測不完整工程中的源碼,甚至能夠檢測第三方編譯器不能編譯成功的代碼;

????? (3)talcheck既能夠應用于windows系統環境,也能夠應用于linux系統環境。能夠適配麒麟等國產操作系統。

主要功能

??????? 1.規則檢查

??????? 依據當前選用的編碼標準進行規則符合情況檢查。檢查分兩階段進行:基礎檢查、深度檢查。基礎檢查耗時短,覆蓋編碼標準中的絕大部分規則;深度檢查對測試資源的消耗相對較多,能夠覆蓋編碼標準中不易檢測的規則。

??????? 2.代碼合規情況評價

??????? 依據違反編碼標準的規則數量、行數等數據計算出違背率,根據違背率對被檢查代碼進行評價。

???????

??????? 3.綜合檢查報告

??????? 匯總工程、文件、函數等級別違規結果,并生成報告文件。

???????

??????? 4.編碼標準設置

??????? 設置當前使用的編碼標準,選擇進行檢查的規則集合,設置規則的嚴重程度以及定制自定義規則。

相關工具

??????? 1.taleffect(故障影響分析工具)

??????? taleffect是對由違規引發的故障對軟件所造成的影響進行分析的工具。主要包括故障溯源分析、故障影響范圍分析以及故障影響程度分析。通過“故障路徑集合”、“被污染路徑集合”、“污染路徑比率”及其它多個相關度量指標客觀全面地衡量特定故障的影響,為故障評估及故障排除提供有力的支持。

??????? 2.其它工具

?????? (1) talsta是專注于代碼質量評估的靜態分析系統。主要包括違規檢查、度量指標計算、控制流圖生成、綜合質量評估等功能;

?????? (2)ufinder是專注于不可達語句檢測的工具;

?????? (3)weakscan是專注于代碼安全漏洞掃描的漏洞掃描工具;

?????? (4)talunit是專注于白盒動態測試的軟件。主要包括單元測試、集成測試、回歸測試、自動生成用例等功能。

talcheck最新版本:1.1

總結

以上是生活随笔為你收集整理的GJB 8114编码标准检查软件产品简介的全部內容,希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯,歡迎將生活随笔推薦給好友。