[發(fā)明專利]一種基于擴(kuò)展?fàn)顟B(tài)機(jī)圖的測(cè)試用例自動(dòng)產(chǎn)生方法

無效

• 申請(qǐng)?zhí)枺?/td>: 201310034738.5
• 申請(qǐng)日: 2013-04-25
• 公開（公告）號(hào): CN103198012A
• 公開（公告）日: 2013-07-10
• 發(fā)明（設(shè)計(jì)）人: 謝崢;羅永貴;宋建龍;伍國斌;李?yuàn)瑯?/a>
• 申請(qǐng)（專利權(quán)）人: 李?yuàn)瑯?/a>
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種擴(kuò)展的狀態(tài)機(jī)圖及其構(gòu)建方法，其特征在于包括：

1)狀態(tài)集合、狀態(tài)轉(zhuǎn)移集合、狀態(tài)轉(zhuǎn)移條件集合分別用帶有狀態(tài)名的圓圈、帶箭頭的曲線、曲線上轉(zhuǎn)移條件的文字表示。

2)收集并分類每個(gè)狀態(tài)中涉及的輸入信號(hào)、內(nèi)部變量、輸出信號(hào)、輸出函數(shù)。

3)對(duì)于每個(gè)狀態(tài)中的每個(gè)輸出函數(shù)，收集和記錄實(shí)現(xiàn)該輸出函數(shù)對(duì)輸入信號(hào)和內(nèi)部變量的要求，以及該輸出函數(shù)輸出時(shí)所影響的內(nèi)部變量與輸出信號(hào)。

4)將每個(gè)狀態(tài)中的每個(gè)輸出函數(shù)，按照輸出后的下一狀態(tài)分類。即該狀態(tài)的狀態(tài)扇出數(shù)目為輸出函數(shù)的分類數(shù)目。

5)在每個(gè)狀態(tài)圓圈中，構(gòu)建影響輸出函數(shù)選擇，由輸入信號(hào)和內(nèi)部變量取值約束構(gòu)成的，具有優(yōu)先級(jí)先后順序的路徑圖。

2.如權(quán)利要求1所述的擴(kuò)展?fàn)顟B(tài)機(jī)圖及其構(gòu)建的方法，其特征在于，所述狀態(tài)圓圈中的路徑圖的特征包括：

每個(gè)狀態(tài)有幾種下一狀態(tài)，就有幾個(gè)路徑終點(diǎn)，即該狀態(tài)的狀態(tài)扇出數(shù)。該路徑圖上的每一條路徑都由一個(gè)統(tǒng)一的起點(diǎn)出發(fā)，路經(jīng)該狀態(tài)所有輸入信號(hào)和內(nèi)部變量，最后匯聚到這幾個(gè)終點(diǎn)中的一個(gè)上，形成一條完整的路徑。該起點(diǎn)由該狀態(tài)的扇入狀態(tài)轉(zhuǎn)移曲線的終點(diǎn)匯合而成。每一條連接到終點(diǎn)的路徑都對(duì)應(yīng)著一種輸出函數(shù)的選擇。從起點(diǎn)走到終點(diǎn)的一條完整路徑，表示了如果要走到最后連接終點(diǎn)的線路所表示的輸出函數(shù)，需要經(jīng)過一路上各相關(guān)輸入信號(hào)和內(nèi)部變量的約束，隨后通過終點(diǎn)對(duì)應(yīng)的狀態(tài)轉(zhuǎn)移曲線，進(jìn)入下一個(gè)狀態(tài)。

3.如權(quán)利要求1所述的擴(kuò)展?fàn)顟B(tài)機(jī)圖及其構(gòu)建的方法，其特征在于，所述狀態(tài)圓圈中的路徑圖的特征包括：

在路徑上標(biāo)注通過該路徑時(shí)對(duì)輸入信號(hào)和內(nèi)部變量相關(guān)的約束條件，包括與多個(gè)信號(hào)或多個(gè)變量相關(guān)的組合約束條件，并且同一條路徑上相同的約束條件可以合并。根據(jù)設(shè)計(jì)中判斷輸出函數(shù)選擇的實(shí)際判斷條件的優(yōu)先級(jí)高低，從上到下依次排列路徑，優(yōu)先級(jí)高的在上面。

4.一種在擴(kuò)展的狀態(tài)機(jī)圖上遍歷的方法，其特征在于包括：

1)計(jì)算并保存狀態(tài)機(jī)圖上任意一個(gè)狀態(tài)到另一個(gè)狀態(tài)中間經(jīng)過的最少狀態(tài)路徑，即任意兩狀態(tài)間的最短路徑。從一個(gè)狀態(tài)到另一個(gè)狀態(tài)，如果是不可達(dá)的，最短路徑則為無限大。進(jìn)入第二步。

2)如果從復(fù)位后的初始狀態(tài)存在到某一個(gè)狀態(tài)的最短路徑是不可達(dá)，停止該方法，打印狀態(tài)機(jī)設(shè)計(jì)錯(cuò)誤信息，否則進(jìn)入第三步。

3)統(tǒng)計(jì)每一個(gè)狀態(tài)到其每種下一個(gè)狀態(tài)可能通過的路徑圖中的路徑種類。并將種類數(shù)標(biāo)記在該狀態(tài)到其下一狀態(tài)的狀態(tài)轉(zhuǎn)移連線上。

4)創(chuàng)建一條路徑，增加到遍歷路徑集合中，以復(fù)位后的初始狀態(tài)節(jié)點(diǎn)作為起始節(jié)點(diǎn)，進(jìn)入第5步。

5)如果當(dāng)前狀態(tài)節(jié)點(diǎn)到任意下一狀態(tài)節(jié)點(diǎn)存在3步中標(biāo)記的大于零的轉(zhuǎn)移連線，從中選擇一個(gè)下一狀態(tài)，并選擇一條可以連接到該狀態(tài)轉(zhuǎn)移的輸出函數(shù)的約束路徑通過，在4步中創(chuàng)建的路徑中記錄這個(gè)狀態(tài)轉(zhuǎn)移，并將這個(gè)轉(zhuǎn)移的連線上標(biāo)記的數(shù)字減一，再以進(jìn)入的下一狀態(tài)節(jié)點(diǎn)作為當(dāng)前節(jié)點(diǎn)，進(jìn)入5步驟。如果當(dāng)前狀態(tài)節(jié)點(diǎn)到任意下一狀態(tài)節(jié)點(diǎn)轉(zhuǎn)移連線上的數(shù)字都為零，則進(jìn)入6步驟。

6)如果狀態(tài)機(jī)圖中所有狀態(tài)之間的轉(zhuǎn)移連線上的數(shù)字都不大于零時(shí)，則遍歷完成，停止該方法，打印所有遍歷路徑集合中的路徑。如果狀態(tài)機(jī)圖中狀態(tài)之間的轉(zhuǎn)移連線上的數(shù)字存在大于零的情況時(shí)，進(jìn)入步驟7。

7)如果不存在路徑從當(dāng)前狀態(tài)節(jié)點(diǎn)到任何一個(gè)標(biāo)記的數(shù)字還大于零的狀態(tài)轉(zhuǎn)移連線的起始狀態(tài)節(jié)點(diǎn)，則進(jìn)入步驟4，建立另一個(gè)從復(fù)位動(dòng)作開始的路徑。如果存在路徑從當(dāng)前狀態(tài)節(jié)點(diǎn)到一個(gè)標(biāo)記的數(shù)字還大于零的狀態(tài)轉(zhuǎn)移連線的起始狀態(tài)節(jié)點(diǎn)，從所有滿足該條件的起始狀態(tài)節(jié)點(diǎn)中選擇一個(gè)，從步驟1中保存的任意兩個(gè)可達(dá)節(jié)點(diǎn)的最短路徑中找到當(dāng)前狀態(tài)節(jié)點(diǎn)到所選大于零的狀態(tài)轉(zhuǎn)移連線的起始狀態(tài)節(jié)點(diǎn)的最短路徑，將該路徑記錄在遍歷路徑中，路徑中經(jīng)歷的連線上的數(shù)字減一。被選擇的大于零的連線的起始狀態(tài)節(jié)點(diǎn)作為當(dāng)前節(jié)點(diǎn)，進(jìn)入步驟5。