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

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

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