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