TinyOS程序缺陷研究與基準測試包的實現(xiàn).pdf

1、TinyOS是無線傳感器網(wǎng)絡中應用廣泛的節(jié)點操作系統(tǒng)，采用組件化的nesC編程語言實現(xiàn)。由于節(jié)點資源嚴重受限，TinyOS程序具有以下特性，而這些特性使得程序很容易出錯：TinyOS程序在訪問節(jié)點內存等硬件時，無法得到系統(tǒng)所提供訪問保護機制；非類型安全的nesC編程語言使程序無法使用動態(tài)類型檢測機制；事件驅動和計算任務的分割執(zhí)行等使得程序的并發(fā)執(zhí)行模型很復雜。
　　對TinyOS程序的常見缺陷進行特征分析，是研究TinyOS程序測

2、試調試技術的基礎，對開發(fā)高質量的傳感網(wǎng)程序具有重要指導意義。實驗研究是軟件測試調試研究的重要組成部分，研究者在評估一個軟件測試調試技術時應當使用恰當?shù)幕鶞蕼y試包(benchmark suite)?，F(xiàn)有的TinyOS程序測試調試的每項研究所針對的通常是一到三種程序缺陷，而實驗研究所使用的通常是一到三個自選的被測程序。為了推動TinyOS的測試調試技術研究，很有必要對TinyOS程序的常見缺陷進行綜合分析并建立相應的基準測試包。