嵌入式隨機(jī)故障測試軟件SMA工具簡介

第第頁嵌入式隨機(jī)故障測試軟件SMA工具簡介嵌入式隨機(jī)故障測試軟件SMA工具簡介

發(fā)表于：2023-03-01來源：：點(diǎn)擊數(shù)：標(biāo)簽：嵌入式SMA故障測試簡介軟件

嵌入式隨機(jī)故障測試軟件SMA工具簡介軟件測試工具前言眾所周知，嵌入式實(shí)時(shí)系統(tǒng)中的一些隨機(jī)軟件故障會(huì)導(dǎo)致系統(tǒng)的崩潰。這些隨機(jī)故障通常是由非法的內(nèi)存訪問、包括“CPU饑餓”在內(nèi)的各種死鎖、以及諸如堆棧溢出、數(shù)組越界和內(nèi)存泄漏等內(nèi)存問題引起的。由于

嵌入式隨機(jī)故障測試軟件SMA工具簡介軟件測試工具

前言

眾所周知，嵌入式實(shí)時(shí)系統(tǒng)中的一些隨機(jī)軟件故障會(huì)導(dǎo)致系統(tǒng)的崩潰。這些隨機(jī)故障通常是由非法的內(nèi)存訪問、包括“CPU饑餓”在內(nèi)的各種死鎖、以及諸如堆棧溢出、數(shù)組越界和內(nèi)存泄漏等內(nèi)存問題引起的。由于故障的隨機(jī)性，它們難以復(fù)現(xiàn)和檢測。

傳統(tǒng)的調(diào)試工具(如主機(jī)-代理調(diào)試器、JTAG等)在遇到這類問題時(shí)有著不可避免的局限性：用戶只能看到目標(biāo)機(jī)上的少量內(nèi)存段;只能用在開發(fā)階段;用戶必須在故障發(fā)生之前的很長時(shí)間內(nèi)就要決定在哪里停止程序的運(yùn)行以及要檢測哪些信息，這正是難以定位故障的主要原因。

針對(duì)上述問題，RTBF(Real-TimeBugFree)公司提出了具有針對(duì)性的SMA(SmartMemoryAnalyzer)工具。RTBF是世界上首家成功地把嵌入式實(shí)時(shí)系統(tǒng)的完整內(nèi)存映像自動(dòng)轉(zhuǎn)換為可讀信息的公司。SMA采用事后分析(post-mortem)技術(shù)對(duì)由工具在故障發(fā)生時(shí)“凍結(jié)”的內(nèi)存映像進(jìn)行分析。原始的內(nèi)存映像是不可讀的二進(jìn)制數(shù)據(jù)，經(jīng)SMA分析后便呈現(xiàn)為具有良好結(jié)構(gòu)和可讀性的形式。SMA記錄了內(nèi)存映像被保存時(shí)的系統(tǒng)總體狀態(tài)，包括任務(wù)、信號(hào)量、消息隊(duì)列、變量、內(nèi)存分配、通訊緩沖、……。這些信息可以幫助開發(fā)人員定位排查隨機(jī)故障，系統(tǒng)工程師也由此可以更詳細(xì)地觀察系統(tǒng)狀態(tài)。而且，SMA創(chuàng)建了快速有效的環(huán)形緩沖日志，允許對(duì)系統(tǒng)運(yùn)行時(shí)的變量進(jìn)行跟蹤。目前，SMA支持VxWorks.

檢測功能

適用的處理器包括：x86、arm、MIPS以及PowerPC

適用的編譯器包括：GNU、DIAB

主機(jī)平臺(tái)：所有版本的Windows

顯示包括類型定義、結(jié)構(gòu)、聯(lián)合、向量和枚舉在內(nèi)的所有變量

顯示所有任務(wù)的狀態(tài)

顯示看門狗：記錄內(nèi)存映像創(chuàng)建時(shí)所有還未被處理的時(shí)間相關(guān)事件

顯示信號(hào)量：三種(二進(jìn)制、互斥、計(jì)數(shù))信號(hào)量及其狀態(tài)和擁有者

消息隊(duì)列：隊(duì)列號(hào)、隊(duì)列中最大消息數(shù)、單條消息的最大容量、空閑消息的數(shù)量、收發(fā)消息失敗的延時(shí)

顯示所有空閑內(nèi)存區(qū)域、觀察分配的內(nèi)存塊、觀察內(nèi)存分配的丟失情況(內(nèi)存泄漏)

顯示所有文件描述符和套接字

顯示S