???????????? ? ? ? ? ? ? ? ? ?? talcheck產(chǎn)品介紹

簡介

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

技術(shù)特點

??????? 1.檢測準(zhǔn)確、全面且檢測能力強

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

??????? 2.支持編碼標(biāo)準(zhǔn)豐富

??????? talcheck既支持GB/T 28169、GB/T 34943、GB/T 34944、GJB 5369、GJB 8114等國家標(biāo)準(zhǔn)及特定領(lǐng)域標(biāo)準(zhǔn)，也支持MISRA C、MISRA C++等通用的行業(yè)標(biāo)準(zhǔn)，還支持CERT C、CWE等專業(yè)標(biāo)準(zhǔn)。

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

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

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

????? （1）talcheck允許用戶自主選用編碼標(biāo)準(zhǔn)、編碼規(guī)則集合、設(shè)置規(guī)則的嚴(yán)重等級、定制不同編碼標(biāo)準(zhǔn)中的可自定義的規(guī)則。

????? （2）talcheck還可根據(jù)測試資源的實際情況調(diào)整檢測程度。既可以單獨進行基礎(chǔ)檢查以節(jié)省檢查時間，也可以根據(jù)時間的多少有選擇地進行特定函數(shù)或特定文件的深度規(guī)則檢查，從而在測試資源有限的前提下，實現(xiàn)規(guī)則檢查效率的最大化。

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

????? （1）talcheck既支持對整個工程進行檢查，也支持對單個文件進行檢查 ；

????? （2）不依賴任何第三方編譯器，能夠檢測不完整工程中的源碼，甚至能夠檢測第三方編譯器不能編譯成功的代碼；

????? （3）talcheck既能夠應(yīng)用于windows系統(tǒng)環(huán)境，也能夠應(yīng)用于linux系統(tǒng)環(huán)境。能夠適配麒麟等國產(chǎn)操作系統(tǒng)。

主要功能

??????? 1.規(guī)則檢查

??????? 依據(jù)當(dāng)前選用的編碼標(biāo)準(zhǔn)進行規(guī)則符合情況檢查。檢查分兩階段進行：基礎(chǔ)檢查、深度檢查。基礎(chǔ)檢查耗時短，覆蓋編碼標(biāo)準(zhǔn)中的絕大部分規(guī)則；深度檢查對測試資源的消耗相對較多，能夠覆蓋編碼標(biāo)準(zhǔn)中不易檢測的規(guī)則。

??????? 2.代碼合規(guī)情況評價

??????? 依據(jù)違反編碼標(biāo)準(zhǔn)的規(guī)則數(shù)量、行數(shù)等數(shù)據(jù)計算出違背率，根據(jù)違背率對被檢查代碼進行評價。

???????

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

??????? 匯總工程、文件、函數(shù)等級別違規(guī)結(jié)果，并生成報告文件。

???????

??????? 4.編碼標(biāo)準(zhǔn)設(shè)置

??????? 設(shè)置當(dāng)前使用的編碼標(biāo)準(zhǔn)，選擇進行檢查的規(guī)則集合，設(shè)置規(guī)則的嚴(yán)重程度以及定制自定義規(guī)則。

相關(guān)工具

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

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

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

?????? （1） talsta是專注于代碼質(zhì)量評估的靜態(tài)分析系統(tǒng)。主要包括違規(guī)檢查、度量指標(biāo)計算、控制流圖生成、綜合質(zhì)量評估等功能；

?????? （2）ufinder是專注于不可達語句檢測的工具；

?????? （3）weakscan是專注于代碼安全漏洞掃描的漏洞掃描工具；

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

talcheck最新版本：1.1

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。