專利名稱：基于DXM模型的SaaS軟件測試用例構(gòu)建方法
技術(shù)領(lǐng)域：
本發(fā)明涉及對互聯(lián)網(wǎng)環(huán)境下的基于SAAS軟件的測試用例的構(gòu)建方法，特別是借助于DXM (Durable X-Machine)支持流式輸入輸出，并擁有內(nèi)存，同時支持持久存儲特點的測試用例構(gòu)建方法，利用該模型能夠以形式化的方法有效構(gòu)建MaS軟件的測試集，從而驗證&iaS系統(tǒng)的正確性。
背景技術(shù)：
SaaS是software-as-a-service(軟件即服務(wù))的簡稱，它是一種基于hternet提供軟件服務(wù)的軟件應(yīng)用模式。在這種模式下，用戶不再購買軟件，而是向服務(wù)提供商租用基于Web的軟件。MaS通過hternet提供軟件訪問的模式給MaS軟件的測試帶來了挑戰(zhàn)。 在發(fā)布之初，SaaS軟件即面臨廣大^ternet用戶的檢驗，任何問題都有可能導(dǎo)致軟件的失敗。因而^aS軟件在發(fā)布之前需要經(jīng)歷嚴(yán)格的測試，包括軟件功能的有效性與完備性、系統(tǒng)的可靠性、以及數(shù)據(jù)通信與訪問的安全性等諸多方面的驗證。傳統(tǒng)的軟件測試通常在系統(tǒng)構(gòu)建過程中或之后針對代碼展開。這種測試無法在軟件開發(fā)之初發(fā)現(xiàn)系統(tǒng)設(shè)計存在的問題，因而并不適用于MaS系統(tǒng)。目前傳統(tǒng)的測試用例的構(gòu)建方法，在對^aS軟件進(jìn)行測試時存在如下局限性
1.隨著^aS軟件部署的規(guī)模的增大，無法保證測試用例集的完備性；
2.SaaS軟件相互之間的依賴性更強(qiáng)，無法避免系統(tǒng)之間相互的接口干擾、數(shù)據(jù)共享沖
突；
SaaS軟件通過Web訪問，用戶利用瀏覽器訪問&iaS系統(tǒng)，在軟件測試過程中，用戶可以隨時終止和離開，無法支持任意時刻用戶狀態(tài)的保存。

發(fā)明內(nèi)容
本發(fā)明主要是針對^aS軟件通常都比較龐大、復(fù)雜，系統(tǒng)之間接口眾多的問題， 提出一種基于DXM模型的^aS軟件測試用例構(gòu)建方法，該方法基于持久化的X-Machine計算模型構(gòu)造測試用例，保證了測試用例的完整性，可用性和正確性。同時由于MaS軟件變化快的特點，基于持久化的X-Machine計算模型構(gòu)造的測試用例，能夠快速的應(yīng)對這種變化。本發(fā)明的技術(shù)方案是
一種基于DXM計算模型的MaS軟件測試用例構(gòu)建方法，包括以下實現(xiàn)步驟
A、根據(jù)軟件測試需求，構(gòu)造待測功能的輸入集合，在軟件測試中的輸入集合相當(dāng)于軟件操作的輸入操作；
B、根據(jù)軟件測試需求，構(gòu)造待測功能所有的狀態(tài)集合，在軟件測試中的狀態(tài)集合相當(dāng)于軟件功能中軟件功能狀態(tài)集合；C、確定待測功能的初始狀態(tài)和終止?fàn)顟B(tài)集合，初始狀態(tài)指待測功能初始的裝態(tài)，例如 用戶登錄。終止?fàn)顟B(tài)集合是指待測功能的結(jié)束狀態(tài)；
D、構(gòu)造狀態(tài)集合的狀態(tài)轉(zhuǎn)移集合；
E、由任意初始狀態(tài)到終止?fàn)顟B(tài)的路徑，即為一個測試用例，當(dāng)狀態(tài)發(fā)生變化時，采用持久化的方法(例如磁盤)保存從初始狀態(tài)到終止?fàn)顟B(tài)的所有狀態(tài)變化信息，以便系統(tǒng)功能發(fā)生變化時，能夠在前序測試用例的基礎(chǔ)上，快速構(gòu)造新的測試用例。本發(fā)明的待測功能的輸入集合為{el，e2,……，en}。本發(fā)明的待測功能所有的狀態(tài)集合{ q0, ql,……，qn}。本發(fā)明的所述的待測功能的初始狀態(tài)集合和終止?fàn)顟B(tài)集合均為{qX}，X為0-n之間的任意一個或多個。本發(fā)明的有益效果
本發(fā)明采用基于DXM(DurabIe X-Machine)是一種理論計算模型。在軟件設(shè)計之初，根據(jù)實際需求，構(gòu)建^aS軟件的DXM模型，以形式化的方法刻畫軟件功能，并在隨后的系統(tǒng)設(shè)計與實現(xiàn)中，不斷檢測系統(tǒng)與模型的差距，利用該模型能夠以形式化的方法有效構(gòu)建MaS 軟件的測試集，從而驗證MaS系統(tǒng)的正確性。一、通過持久化X-Machine (DXM)的理論模型形式化地提出了 &iaS系統(tǒng)測試集的構(gòu)造方法，從而保證測試用例的完備性。二、當(dāng)^aS系統(tǒng)需求發(fā)生變化時，特別是在軟件功能發(fā)生變化的時候，能夠快速的響應(yīng)變化，構(gòu)造出完備的測試用例。三、由于是采用形式化的構(gòu)建測試用例的方法，模型可以直接驅(qū)動MaS軟件的自動化測試。


圖1是本發(fā)明的實施例的結(jié)構(gòu)示意圖。
具體實施例方式下面結(jié)合附圖和實施例對本發(fā)明作進(jìn)一步的說明。如圖1所示，以添加用戶信息的&iaS軟件測試用例構(gòu)建為例 第一步，確定功能的輸入集合{el, e2, e3, e4, e5, e6, e7}；
第二步，確定功能的有限的狀態(tài)集合{ q0, ql, q2, q3, q4, q5, q6, q7}； 第三步，確定功能的初始狀態(tài)集{q0}、{q2，q5，q7}；
第四步，構(gòu)造狀態(tài)的裝換集合 Kq0，el，ql)，(ql，e2，ql)，(ql，e3，q3)，(q3, e4, q4), (q4，e5，q5), (q4, e6, q6,), (q6, e7, q7)}；
第五步，確定測試用例集合{ele2, ele3, ele3e4e5, ele3e4e6e7}。由任意初始狀態(tài)到終止?fàn)顟B(tài)的路徑，即為一個測試用例，當(dāng)狀態(tài)發(fā)生變化時，采用持久化的方法(例如磁盤)保存從初始狀態(tài)到終止?fàn)顟B(tài)的所有狀態(tài)變化信息。本發(fā)明未涉及部分均與現(xiàn)有技術(shù)相同或可采用現(xiàn)有技術(shù)加以實現(xiàn)。
權(quán)利要求
1.一種基于DXM計算模型的MaS軟件測試用例構(gòu)建方法，其特征在于，包括以下實現(xiàn)步驟A、根據(jù)軟件測試需求，構(gòu)造待測功能的輸入集合，即軟件操作的輸入操作；B、根據(jù)軟件測試需求，構(gòu)造待測功能所有的狀態(tài)集合，即軟件功能狀態(tài)集合；C、確定待測功能的初始狀態(tài)和終止?fàn)顟B(tài)集合；D、構(gòu)造狀態(tài)集合的狀態(tài)轉(zhuǎn)移集合；E、由任意初始狀態(tài)到終止?fàn)顟B(tài)的路徑，即為一個測試用例，當(dāng)狀態(tài)發(fā)生變化時，采用持久化的方法保存從初始狀態(tài)到終止?fàn)顟B(tài)的所有狀態(tài)變化信息。
2.根據(jù)權(quán)利要求1所述的基于DXM計算模型的^aS軟件測試用例構(gòu)建方法，其特征在于，所述的待測功能的輸入集合為{el，e2,……，en}。
3.根據(jù)權(quán)利要求1所述的基于DXM計算模型的^aS軟件測試用例構(gòu)建方法，其特征在于，所述的待測功能所有的狀態(tài)集合{ q0，ql，……，qn}。
4.根據(jù)權(quán)利要求1所述的基于DXM計算模型的^aS軟件測試用例構(gòu)建方法，其特征在于，所述的待測功能的初始狀態(tài)集合和終止?fàn)顟B(tài)集合均為{qx}，Χ為0-n之間的任意一個或多個。
5.根據(jù)權(quán)利要求1所述的基于DXM計算模型的^aS軟件測試用例構(gòu)建方法，其特征在于，步驟E中，當(dāng)狀態(tài)發(fā)生變化時，采用磁盤保存從初始狀態(tài)到終止?fàn)顟B(tài)的所有狀態(tài)變化信息。
全文摘要
一種基于DXM計算模型的SaaS軟件測試用例構(gòu)建方法，包括以下實現(xiàn)步驟根據(jù)軟件測試需求，構(gòu)造待測功能的輸入集合；構(gòu)造待測功能所有的狀態(tài)集合，即軟件功能狀態(tài)集合；確定待測功能的初始狀態(tài)和終止?fàn)顟B(tài)集合；構(gòu)造狀態(tài)集合的狀態(tài)轉(zhuǎn)移集合；由任意初始狀態(tài)到終止?fàn)顟B(tài)的路徑，即為一個測試用例，當(dāng)狀態(tài)發(fā)生變化時，采用持久化的方法保存從初始狀態(tài)到終止?fàn)顟B(tài)的所有狀態(tài)變化信息。本發(fā)明的基于DXM計算模型的SaaS軟件測試用例構(gòu)造方法，保證了測試用例的完整性，可用性和正確性。同時由于SaaS軟件變化快的特點，基于持久化的X-Machine計算模型構(gòu)造的測試用例，能夠快速的應(yīng)對這種變化。
文檔編號G06F11/36GK102253887SQ201110196069
公開日2011年11月23日 申請日期2011年7月13日 優(yōu)先權(quán)日2011年7月13日
發(fā)明者劉永明, 曹陽, 王淵, 馬陟剛 申請人:南京中興軟創(chuàng)科技股份有限公司