隨著軟件技術(shù)、嵌入式技術(shù)和網(wǎng)絡(luò)技術(shù)的發(fā)展,軟件所處的信息空間與人們?nèi)粘９ぷ魃钏幍奈锢砜臻g日漸融合。能夠?yàn)橛脩籼峁└臃奖恪⒏咝�、快捷的�?jì)算服務(wù)的信息物理融合系統(tǒng)正在改變?nèi)藗兒蛙浖到y(tǒng)的交互方式。軟件作為信息物理融合系統(tǒng)重要的組成部分,其質(zhì)量不僅影響著信息物理融合系統(tǒng)本身能否提供優(yōu)質(zhì)的計(jì)算服務(wù),還關(guān)乎信息物理融合系統(tǒng)使用者的生命和財(cái)產(chǎn)安全（如特斯拉撞車事件、優(yōu)步撞行人事件等）。軟件測(cè)試作為一種重要的軟件質(zhì)量保障手段,被廣泛使用于各類軟件的質(zhì)量保障中。然而信息物理融合系統(tǒng)軟件面臨的環(huán)境不確定性,為信息物理融合系統(tǒng)軟件的測(cè)試提出了新的挑戰(zhàn)。由于人類對(duì)于信息物理融合系統(tǒng)軟件所處的物理環(huán)境的認(rèn)知的有限性,環(huán)境不確定性在信息物理融合系統(tǒng)軟件中是固有存在的。本文認(rèn)為,環(huán)境不確定性對(duì)信息物理融合系統(tǒng)軟件的測(cè)試有如下兩大挑戰(zhàn):●其一,環(huán)境不確定性使得信息物理融合系統(tǒng)軟件無(wú)法準(zhǔn)確感知其所處的運(yùn)行環(huán)境。感知的不確定性不僅使得現(xiàn)有軟件測(cè)試方法難以快速、有效地探索信息物理融合系統(tǒng)軟件的狀態(tài)空間,還使得軟件測(cè)試工程師難以準(zhǔn)確判斷信息物理融合系統(tǒng)軟件的運(yùn)行是否處于正確狀態(tài)�！衿涠�,環(huán)境不確定性使得軟件開發(fā)人員無(wú)... 

【文章來(lái)源】：南京大學(xué)江蘇省 211工程院校 985工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：140 頁(yè)

【學(xué)位級(jí)別】：博士

【部分圖文】：

圖１－４：受環(huán)境不確定性影響的信息物理融合系統(tǒng)軟件的程序與其所屬的物理環(huán)境的交互過(guò)??程??

圖１－５：環(huán)境感知不確定性對(duì)輸入空間的拓展作用??研究挑戰(zhàn)??節(jié)分別討論環(huán)境不確定性的兩個(gè)分類，即環(huán)境感知不確性，給信息物理融合系統(tǒng)軟件測(cè)試帶來(lái)的挑戰(zhàn)。??１環(huán)境感知不確定性帶來(lái)的挑戰(zhàn)??感知不確定性主要表征為信息物理融合系統(tǒng)軟件難以精理環(huán)境。這種不精確的感知不但導(dǎo)致了被測(cè)試程序無(wú)法據(jù)，即影響了軟件測(cè)試的第一個(gè)子任務(wù)一測(cè)試輸入生成，方法無(wú)法準(zhǔn)確衡量被測(cè)試程序在物理環(huán)境中的運(yùn)行狀態(tài)，第二個(gè)子任務(wù)一測(cè)試預(yù)言生成。下面從測(cè)試輸入生成和度來(lái)深入討論環(huán)境感知不確定性給信息物理融合系統(tǒng)軟

圖１－６：環(huán)境感知不確定性對(duì)被測(cè)試程序正確－異常行為界線的模糊??索一個(gè)由這些參數(shù)的誤差所決定的多維空間。由于信息物理以迭代的方式運(yùn)行，因此其程序輸入通常會(huì)成呈現(xiàn)為一個(gè)有的輸入序列（如（Ｃ）所示）。對(duì)于這樣的輸入序列，程序在得的輸入都會(huì)在下一個(gè)迭代中拓展為一個(gè)待探索的多維輸入知不確定性會(huì)以指數(shù)級(jí)的速度拓展測(cè)試輸入生成技術(shù)需要額。??環(huán)境感知不確定性極大地拓展了測(cè)試輸入生成技術(shù)需要探索勢(shì)必會(huì)降低測(cè)試輸入生成技術(shù)探索程序輸入空間的效率。在空間的拓展可能導(dǎo)致引導(dǎo)失效執(zhí)行的程序輸入被稀釋，增大現(xiàn)失效的難度。在高效性方面，輸入空間的拓展增加了測(cè)試時(shí)間開銷。??感知不確定性對(duì)于測(cè)試預(yù)言生成任務(wù)的挑戰(zhàn)要體現(xiàn)在被測(cè)行為界線的模糊上。測(cè)試預(yù)言生成任務(wù)關(guān)鍵在于如何描述程

【參考文獻(xiàn)】：
期刊論文
[1]網(wǎng)構(gòu)軟件的研究與進(jìn)展[J]. 呂建,馬曉星,陶先平,徐鋒,胡昊.  中國(guó)科學(xué)E輯:信息科學(xué). 2006(10)



本文編號(hào)：3262154