基于觀測(cè)模型的構(gòu)件化軟件集成測(cè)試方法研究.pdf

1、基于構(gòu)件的軟件開發(fā)技術(shù)著重于重用已有的構(gòu)件來生成新的系統(tǒng)。然而構(gòu)件本身固有的一些特點(diǎn)，如源代碼不可見、分布式運(yùn)行、平臺(tái)獨(dú)立性等，使得傳統(tǒng)的軟件測(cè)試?yán)碚摵图夹g(shù)對(duì)于新的基于構(gòu)件技術(shù)構(gòu)造的軟件系統(tǒng)并不完全適用。 本文分析了構(gòu)件化軟件自身的特點(diǎn)，討論了傳統(tǒng)集成測(cè)試方法的局限性和當(dāng)前基于構(gòu)件軟件的集成測(cè)試方法的優(yōu)缺點(diǎn)，針對(duì)目前現(xiàn)有的構(gòu)件化軟件集成測(cè)試方法缺乏對(duì)構(gòu)件化軟件運(yùn)行過程行為完整描述的支持，從而不能強(qiáng)有力地支撐測(cè)試工作實(shí)施的狀況，提

2、出了一種基于具有獨(dú)立關(guān)系的有窮自動(dòng)機(jī)觀測(cè)模型的構(gòu)件化軟件集成測(cè)試方法。分析了軟件系統(tǒng)所映射的代數(shù)系統(tǒng)的特征，結(jié)合自動(dòng)機(jī)理論對(duì)構(gòu)件化軟件系統(tǒng)中的事件概念和狀態(tài)概念作了新的表述，利用事件狀態(tài)序列來描述構(gòu)件化軟件完整的動(dòng)態(tài)行為，為順序行為和并發(fā)行為提供了統(tǒng)一的研究框架；同時(shí)，結(jié)合可辨識(shí)蹤跡語言的理論中關(guān)于描述并發(fā)行為的獨(dú)立關(guān)系相關(guān)定義和性質(zhì)研究了構(gòu)件化系統(tǒng)并發(fā)控制行為特征，建立了構(gòu)件化軟件行為觀測(cè)模型；結(jié)合觀測(cè)理論研究了捕獲完整構(gòu)件化軟件順序