基于問(wèn)題框架的系統(tǒng)級(jí)別測(cè)試的研究.pdf

1、近些年來(lái)，隨著軟件事故的頻發(fā)，人們開(kāi)始意識(shí)到軟件測(cè)試的重要性。為了避免軟件質(zhì)量問(wèn)題引發(fā)重大災(zāi)難，人們希望能夠在軟件測(cè)試階段找出軟件中隱藏的錯(cuò)誤。軟件測(cè)試是軟件質(zhì)量的重要保障，而軟件測(cè)試的關(guān)鍵則是要幫助測(cè)試人員全面理解被測(cè)試的功能，這就需要有明確具體的需求分析，因此需求分析的好壞對(duì)軟件測(cè)試尤其是系統(tǒng)測(cè)試起到至關(guān)重要的作用。特別是近期提出的信息物理融合系統(tǒng)(Cyber-Physical Systems，簡(jiǎn)稱(chēng)CPS)，對(duì)軟件測(cè)試的研究提出了新

2、的挑戰(zhàn)和機(jī)遇。同時(shí)，對(duì)于這類(lèi)系統(tǒng)的軟件需求建模和分析也面臨新的問(wèn)題，需要更適合的理論研究方法。
　　傳統(tǒng)的需求規(guī)格說(shuō)明由于客戶需求變更以及所開(kāi)發(fā)軟件的多樣性等原因都具有一定的復(fù)雜性，這使得在需求分析時(shí)要精確地捕獲和分析客戶需求變得困難，同時(shí)也會(huì)給系統(tǒng)測(cè)試人員在開(kāi)發(fā)系統(tǒng)測(cè)試用例時(shí)帶來(lái)困難。因此本文運(yùn)用需求工程中的主流方法問(wèn)題框架對(duì)軟件需求建模，以問(wèn)題框架關(guān)注點(diǎn)為依據(jù)導(dǎo)出系統(tǒng)測(cè)試用例，以此來(lái)確保測(cè)試人員在系統(tǒng)測(cè)試階段對(duì)所要測(cè)試的內(nèi)容做

3、到方向正確及目標(biāo)明確。
　　本文第一章敘述研究的背景和意義、國(guó)內(nèi)外的研究現(xiàn)狀以及本文的創(chuàng)新點(diǎn)和貢獻(xiàn)。第二章主要描述了基于問(wèn)題框架的需求分析方法。接著在第三章介紹軟件系統(tǒng)測(cè)試，并說(shuō)明需求分析對(duì)軟件系統(tǒng)測(cè)試的重要性。第四章具體介紹本文所要用到的問(wèn)題框架的方法，并說(shuō)明不同的問(wèn)題框架都要解決關(guān)注點(diǎn)問(wèn)題，為下文的研究做好鋪墊。第五章運(yùn)用智能家居的案例詳細(xì)地給出基于問(wèn)題框架的需求分析，并通過(guò)子問(wèn)題的組合，提出組合關(guān)注點(diǎn)作為系統(tǒng)測(cè)試的依據(jù)。第六

4、章提出并展望未來(lái)的工作。
　　本文的主要貢獻(xiàn)歸結(jié)為以下三點(diǎn):
　　(1)提出了一種基于問(wèn)題框架的信息物理融合系統(tǒng)需求建模和分析方法，通過(guò)確立問(wèn)題關(guān)注點(diǎn)來(lái)輔助系統(tǒng)測(cè)試人員開(kāi)發(fā)系統(tǒng)測(cè)試用例;
　　(2)在總結(jié)已有問(wèn)題框架關(guān)注點(diǎn)的基礎(chǔ)上，提出了問(wèn)題組合關(guān)注點(diǎn)（也稱(chēng)為子問(wèn)題交互關(guān)注點(diǎn)），即在畫(huà)出問(wèn)題圖和建立問(wèn)題模型、將復(fù)雜問(wèn)題分解為較簡(jiǎn)單的子問(wèn)題之后，分析或發(fā)現(xiàn)將這些子問(wèn)題組合起來(lái)滿足系統(tǒng)總體需求時(shí)需要關(guān)注的問(wèn)題，來(lái)幫助測(cè)試人