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

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

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