基于觀測模型的構件化軟件集成測試方法研究.pdf

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

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