• <th id="g1iou"></th>
    <li id="g1iou"></li>

  • <dd id="g1iou"></dd>
      <dd id="g1iou"><center id="g1iou"></center></dd>

        <progress id="g1iou"><big id="g1iou"></big></progress>

      1. <span id="g1iou"></span>

        裝備電子系統的研發、測試、保障解決方案中心

        Ada代碼測試AdaTEST 95
        產品中心 Ada代碼測試AdaTEST 95
        產品概述

        AdaTEST 95是圍繞Ada語言特性而設計的滿足Ada開發人員進行高效單元和集成測試要求的工具,提供一整套測試、覆蓋率分析和靜態分析功能。AdaTEST 95廣泛應用于各個高端領域,包括:空中交通控制、航空電子、鐵路運輸、空間技術、國防、核能以及金融和數字廣播系統,所有這些領域都有一個共性,就是都要求在合理的投入回報率下生產出高可靠性的軟件。

        AdaTEST 95的主要特點:

        單元和集成測試:主機和目標機平臺

        完全支持 Ada 83 和 Ada 95

        向導驅動的測試腳本開發

        自動檢查

        集成代碼覆蓋率分析

        打樁模擬和控制外部接口

        異常檢查

        時間分析

        自動回歸測試

        自動全局數據檢查

        集成靜態分析:代碼復雜度和規模度量

        工具的開發經由ISO 9001:2008TickIT)認證的質量管理系統控制


        圖片1.png

        功能特性

        動態測試

        利用你的編譯器集成開發環境建立和執行測試,最大限度減小學習工具的時間。

        在向導的指引下生成測試腳本,包括在線幫助和分步指導創建測試驅動環境。

        白盒和黑盒測試技術都可以支持。

        直觀的測試指令,提供快速開發結構化的可重用的測試用例并生成清楚確定的結果。

        自動檢查所有標準的Ada 95 數據類型,對用戶定義類型的實例化做一般性檢查。

        異常校驗,檢查期望的異常出現和不希望的異常不發生。

        打樁,創建可編程的對外部單元的模擬并進行調用順序校驗。

        實時性能分析檢查指定代碼的實際執行時間。

        交叉平臺執行,從主機到嵌入式目標不需要做額外修改。

        自動回歸測試在批處理模式下重新運行測試。

        測試支持包自動檢查全局數據。

        從測試用例定義文件快速生成測試腳本。



        圖片2.png


        圖片3.png


        覆蓋率分析

        覆蓋率分析可提供檢查動態測試執行代碼是否有效的客觀標準。代碼覆蓋率的要求可以定義在規則集中。

        代碼覆蓋率度量,包括:入口點、調用返回、語句、基本塊、判定(分支)、條件、MC/DC。

        可配置的覆蓋率要求,在覆蓋率規則集中輕松定義。

        覆蓋率檢查集成到動態測試中,結論是通過/失敗。

        數據值覆蓋,指定變量的數據值,例如:“始終為TRUE”或“至少一次為TRUE”。

        檢查路徑和追蹤,以確定更加詳細的代碼執行路徑。

        覆蓋率統計可以生成文本文件和HTML文件。



        圖片4.png


        靜態分析

        靜態分析產生Ada代碼的100 多個復雜度。提供簡單的規則集合,比如限制某些代碼結構使用或限制代碼復雜度,用來強制實行代碼質量標準。

        .csv格式的復雜度報告。

        基礎度量包括代碼行數、注釋、Ada單元數,以及大多數由Ada語言參考手冊(LRM)定義的代碼結構統計。

        復雜度包括McCabe、Halstead和其他很多復雜度。

               度量的檢查集成到動態測試,產生的結果可為通過/失敗/警告,也可以單獨運行。



        圖片5.png


        国产原创51蜜桃果冻在线