嵌入式軟件時(shí)序異常檢測(cè)

　　時(shí)序特性是嵌入式軟件的重要特性，實(shí)時(shí)嵌入式軟件運(yùn)行的正確性不僅依賴于任務(wù)執(zhí)行結(jié)果，更依賴于任務(wù)執(zhí)行時(shí)間，執(zhí)行任務(wù)往往具有多個(gè)時(shí)間約束，且相互之間可能存在制約關(guān)系，對(duì)時(shí)間約束進(jìn)行驗(yàn)證和確認(rèn)是嵌入式軟件測(cè)試的一個(gè)重要問(wèn)題，文中提出一種基于執(zhí)行片段的嵌入式軟件時(shí)序特性檢測(cè)方法（ Trace -Bascd　Tcmporal Dcfcct Dctcction，TBTDD）．一方面，基于擴(kuò)展語(yǔ)義接口自動(dòng)機(jī)（Fxtcndcd Scmantic Intcrface Automata，ESIA）模型，刻畫嵌入式軟件時(shí)序特性需求，分析不同時(shí)間約束間存在的相關(guān)關(guān)系類型，并提出基于相關(guān)矩陣的相關(guān)時(shí)間約束識(shí)別算法；另一方面，在目標(biāo)軟件運(yùn)行環(huán)境中提取包含時(shí)間信息的執(zhí)行片段，通過(guò)執(zhí)行片段與時(shí)間約束模型的匹配，依據(jù)預(yù)先制定的時(shí)序特性檢測(cè)準(zhǔn)則，檢驗(yàn)執(zhí)行序列是否滿足模型中各項(xiàng)獨(dú)立和相關(guān)時(shí)間約束的要求，進(jìn)而發(fā)現(xiàn)被測(cè)軟件中存在的時(shí)序缺陷．實(shí)驗(yàn)以衛(wèi)星定位系統(tǒng)軟件為例進(jìn)行建模與缺陷檢測(cè)，并在執(zhí)行片段集和缺陷檢測(cè)能力等方面進(jìn)行了對(duì)比分析．實(shí)驗(yàn)表明，該方法可有效檢測(cè)軟件運(yùn)行過(guò)程中存在的各類異常時(shí)序，提高了軟件時(shí)序測(cè)試的有效性和充分性．