talsta V1.0(靜態分析系統)

 

             

                                        talsta (V1.0)

                                             產品說明

 

簡介

       talsta是擁有獨立知識產權的國產軟件,能夠對.c文件進行靜態分析。主要分析內容包括控制流分析、數據流分析、基本度量指標的計算、編碼規則的違反情況檢查等。在對文件進行詳盡分析基礎上,結合系統特有的質量模型,talsta對被分析的代碼進行了綜合質量評估,以直觀的形式顯示編碼的質量水平。系統提供了內容豐富的靜態分析結果和多角度的質量分析報告,爲對編碼進行有效評估提供重要的參考,也爲解決代碼中存在的問題提供明確的線索,進而促進軟件質量得到有效地改善與提高。

特點

  1. 指標豐富

talsta詳細計算了代碼相關指標、註釋信息相關指標、數據流相關指標、複雜度相關指標、循環相關指標、操作符及操作數指標、路徑指標等多個方面的指標,爲對代碼質量進行有效的評價提供堅實的基礎。

  1. 規則全面

talsta以MISRA爲基礎,結合衆多c語言專家的研究成果以及多名資深開發人員的開發經驗,提煉出了近千條可檢查的質量規則,從代碼的正確性、健壯性、可讀性、語義唯一性、環境兼容性等多個方面對之進行詳盡地檢查,輔助開發及測評人員查找代碼中的問題。

  1. 功能緊湊、簡單易用

talsta以輔助用戶提高編碼質量爲核心,力求以最簡潔的方式提供最實用的分析結果。用戶僅僅需要執行“打開”操作,就可以查看工程中所有源文件的度量指標、相關代碼、控制流圖、以及規則檢查結果等重要信息。在執行一次“綜合質量分析”操作,就可以查閱工程中所有源文件及其逐函數的指標彙總報告、規則檢查報告、可讀性報告、可維護性報告、可測試性報告以及質量評估報告等衆多分析報告。

  1. 使用靈活

talsta允許用戶選擇語法分析策略、分析報告內容以及編碼規則,還允許用戶調整相關編碼規則的邊界(閥值),從而使之成爲自己特定的編碼規則。藉助於自身具備的靈活性,talsta儘可能的適應用戶的應用環境。

主要功能

  1. 控制流分析

通過對c語言及c++語言的順序結構、選擇結構和循環結構等類型代碼塊自身及相互關係的詳盡分析,從而獲取被測文件中每個函數對應的控制流圖。通過對文件中函數間調用關係的分析,系統能夠獲取文件內函數間的調用關係;也可以獲取整個工程中的文件之間的使用關係圖。

  1. 基本指標計算

基於對文件中代碼進行分析而獲取的數據,talsta從代碼、註釋、數據流、

路徑、複雜度、循環、操作符及操作數等多個角度計算出相應的指標。

  1. 規則檢查

系統以 MISRA編碼規則爲依據,系統分析了三百餘條最常見的編碼問題。對於檢查出的問題,系統會給出問題發生的位置,原因以及對應的規則,方便用戶查證並改進。

  1. 綜合質量評估

通過對計算出的指標以及查找出的違反編碼規則信息的分類、甄別,根據相關信息在代碼綜合質量中的影響程度,雨田靜態分析系統從可讀性、可維護性以及可測試性等三個角度對文件整體、類整體、逐函數等不同層級的代碼進行了綜合質量評定,並給出直觀的分類評價報告及綜合評價報告,供用戶參考。

  1. 編碼規則的個性化定製

系統對內置的編碼規則進行了科學的分類,從而形成編碼規則樹。用戶可以根據被測文件的內容以及本單位的具體要求選用相應的規則。另外,用戶也可以在界面上定製相關閥值從而形成完全適用於自己的編碼規則。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章