嵌入式隨機故障測試軟件SMA工具簡介 軟件測試工具
前言
眾所周知，嵌入式實時系統中的一些隨機軟件故障會導致系統的崩潰。這些隨機故障通常是由非法的內存訪問、包括“CPU饑餓”在內的各種死鎖、以及諸如堆棧溢出、數組越界和內存泄漏等內存問題引起的。由于故障的隨機性，它們難以復現和檢測。
傳統的調試工具(如主機-代理調試器、JTAG等)在遇到這類問題時有著不可避免的局限性：用戶只能看到目標機上的少量內存段;只能用在開發階段;用戶必須在故障發生之前的很長時間內就要決定在哪里停止程序的運行以及要檢測哪些信息，這正是難以定位故障的主要原因。
針對上述問題，RTBF(Real-Time Bug Free)公司提出了具有針對性的SMA(Smart Memory Analyzer)工具。RTBF是世界上首家成功地把嵌入式實時系統的完整內存映像自動轉換為可讀信息的公司。SMA采用事后分析(post-mortem)技術對由工具在故障發生時“凍結”的內存映像進行分析。原始的內存映像是不可讀的二進制數據，經SMA分析后便呈現為具有良好結構和可讀性的形式。SMA記錄了內存映像被保存時的系統總體狀態，包括任務、信號量、消息隊列、變量、內存分配、通訊緩沖、……。這些信息可以幫助開發人員定位排查隨機故障，系統工程師也由此可以更詳細地觀察系統狀態。而且，SMA創建了快速有效的環形緩沖日志，允許對系統運行時的變量進行跟蹤。目前，SMA支持VxWorks.
檢測功能
適用的處理器包括：x86、arm、MIPS以及Power PC
適用的編譯器包括：GNU、DIAB
主機平臺：所有版本的Windows
顯示包括類型定義、結構、聯合、向量和枚舉在內的所有變量
顯示所有任務的狀態
顯示看門狗：記錄內存映像創建時所有還未被處理的時間相關事件
顯示信號量：三種(二進制、互斥、計數)信號量及其狀態和擁有者
消息隊列：隊列號、隊列中最大消息數、單條消息的最大容量、空閑消息的數量、收發消息失敗的延時
顯示所有空閑內存區域、觀察分配的內存塊、觀察內存分配的丟失情況(內存泄漏)
顯示所有文件描述符和套接字
顯示SNMP樹
搜集所有錯誤與警告
顯示環形緩沖的狀態
顯示網絡緩沖的狀態
文章來源于領測軟件測試網 http://www.kjueaiud.com/
