![]() |
CA基于Java開發,Java Swing的模式支持系統跨平臺運行;支持C、C++、Java等多種編程語言掃描;支持windows平臺、linux平臺、命令行環境、IDE環境。規則包含國軍標5369,MISRAC:2004,國軍標5369(C++),Java sun 編程規范,Java sun 安全規則等。 |
![]() |
CA是根據預定的規則對代碼進行掃描分析,檢查代碼是否符合編碼規范和各種規則,查找可能的錯誤,無需編寫測試用例可以實現自動化測試,節省大量的人力。 |
![]() |
靜態分析工具基于編譯和基于模式的兩種方法。CA基于編譯的方法,是對整個代碼進行掃描分析,相對于基于模式的方法,掃描某個段落的上下文,來判斷是否違反了規則,能獲得更和完備的分析,便于用戶自定義規則的實現。 |
![]() |
CA是基于用戶的軟件生命周期環境來設計的,通過提供開放的接口,支持與測試管理軟件、項目管理軟件等集成。CA提供了圖形用戶界面(GUI)、命令行、外部接口(DLL)等多樣化的用戶接口,用戶可以根據自己的需求,通過圖形界面將源代碼逐個導入到CA里進行分析,也可以通過SHELL或者批處理命令BAT來調用命令行;通過對外接口API,CA支持根據代碼符合規范的程度對程序員編寫的代碼評分,還可以輕松實現CA和配置管理工具SVN的集成。 |
![]() |
CA支持對源代碼進行解析,得到代碼的控制流程圖,通過對流程圖進行代碼走查,實現代碼級的測試覆蓋,輕松實現XUnit單元測試模塊的構建。CA還可以通過時間設定,只檢驗更新的代碼,提高效率。 |
![]() |
CA支持控制報告的輸出形式,將分析結果返回到日志文件或者將分析結果返回數據庫表中,為客戶提供進一步處理的資料。包括缺陷統計信息、安全漏洞統計信息、軟件架構分析、類關系分析、函數調用關系分析、腳本關系分析、度量分析等。 |
詞法規則:CA支持英語的單詞表,變量命名的定義來自于詞表檢查。
語法規則:CA通過標準化的語法模板來處理語義規則。
語義規則:CA通過調用標準化的處理程序來分析定義的規則。
支持用戶開發自己的規則包,然后通過配置文件以插件的形式配置到CA中。
CA在掃描源代碼時對安全規范子集中定義的規則進行逐條檢查,用戶可以通過自己的需求選定規則,并制定問題的嚴重程度,如果發現有不符合項則報告在問題列表中,用戶可通過行號、列號精確定位問題,除此之外CA還為用戶提供修改建議。
CA可以通過以下方式來實現修改配置管理的提交腳本,潛入掃描觸發程序。當用戶check in程序的時候,腳本觸發了CA,來進行代碼掃描,并且提交掃描結果。
CA支持SMTP的接口,可以根據需要向指定的SMTP發送請求,提交發送的郵件。CA需要配置固定的用戶名、密碼,作為郵件發件人。
CA可支持私有云服務的版本:通過本地化來掃描程序,生成xml,上傳到云服務,再進行掃描處理,在云端保存掃描結果,并且提供瀏覽器訪問服務。
CA支持通過命令行方式嵌入IDE的方式,可以通過配置IDE環境來調用命令行工作;也支持通過提供客戶端的方式來工作,用戶可以通過操作客戶端來掃描制定的代碼,甚至整個項目。
CA支持與現有的測試管理平臺和項目管理系統集成,實現單點登錄和單一用戶ID登錄,來實現跨項目和項目群的管理和設置;支持組織級的用戶、角色以及權限設置。支持把掃描發現的問題歸到缺陷管理系統,通過調用各個不同的缺陷管理系統的API實現集成;支持把掃描分析結果輸出到測試管理平臺,測試管理平臺本身提供自定義的報表和分析,支持PDF、word、excel多種格式的檢測報告,實現缺陷分析查看。
包括從McCabe 復雜度、Halstead 程序度量、代碼行數、繼承數、循環數等各種基本度量。客戶還可以根據自己的質量目標,任意組合這些基本度量進行運算生成復合度量。
2019.9.23 |
CodeAnalyzer v2.1.0.9
|
您的信息已成功提交!
我們的客服人員稍后會與您聯系