AdaTEST 95是圍繞Ada語言特性而設計的滿足Ada開發人員進行高效單元和集成測試要求的工具,提供一整套測試、覆蓋率分析和靜態分析功能。AdaTEST 95廣泛應用于各個高端領域,包括:空中交通控制、航空電子、鐵路運輸、空間技術、國防、核能以及金融和數字廣播系統,所有這些領域都有一個共性,就是都要求在合理的投入回報率下生產出高可靠性的軟件。
AdaTEST 95的主要特點:
●單元和集成測試:主機和目標機平臺
●完全支持 Ada 83 和 Ada 95
●向導驅動的測試腳本開發
●自動檢查
●集成代碼覆蓋率分析
●打樁模擬和控制外部接口
●異常檢查
●時間分析
●自動回歸測試
●自動全局數據檢查
●集成靜態分析:代碼復雜度和規模度量
●工具的開發經由ISO 9001:2008(TickIT)認證的質量管理系統控制
動態測試
●利用你的編譯器集成開發環境建立和執行測試,最大限度減小學習工具的時間。
●在向導的指引下生成測試腳本,包括在線幫助和分步指導創建測試驅動環境。
●白盒和黑盒測試技術都可以支持。
●直觀的測試指令,提供快速開發結構化的可重用的測試用例并生成清楚確定的結果。
●自動檢查所有標準的Ada 95 數據類型,對用戶定義類型的實例化做一般性檢查。
●異常校驗,檢查期望的異常出現和不希望的異常不發生。
●打樁,創建可編程的對外部單元的模擬并進行調用順序校驗。
●實時性能分析檢查指定代碼的實際執行時間。
●交叉平臺執行,從主機到嵌入式目標不需要做額外修改。
●自動回歸測試在批處理模式下重新運行測試。
●測試支持包自動檢查全局數據。
●從測試用例定義文件快速生成測試腳本。
覆蓋率分析
覆蓋率分析可提供檢查動態測試執行代碼是否有效的客觀標準。代碼覆蓋率的要求可以定義在規則集中。
●代碼覆蓋率度量,包括:入口點、調用返回、語句、基本塊、判定(分支)、條件、MC/DC。
●可配置的覆蓋率要求,在覆蓋率規則集中輕松定義。
●覆蓋率檢查集成到動態測試中,結論是通過/失敗。
●數據值覆蓋,指定變量的數據值,例如:“始終為TRUE”或“至少一次為TRUE”。
●檢查路徑和追蹤,以確定更加詳細的代碼執行路徑。
●覆蓋率統計可以生成文本文件和HTML文件。
靜態分析
靜態分析產生Ada代碼的100 多個復雜度。提供簡單的規則集合,比如限制某些代碼結構使用或限制代碼復雜度,用來強制實行代碼質量標準。
●.csv格式的復雜度報告。
●基礎度量包括代碼行數、注釋、Ada單元數,以及大多數由Ada語言參考手冊(LRM)定義的代碼結構統計。
●復雜度包括McCabe、Halstead和其他很多復雜度。
度量的檢查集成到動態測試,產生的結果可為通過/失敗/警告,也可以單獨運行。