br>[0056]實施例中對圖2的非通用FSM進行轉(zhuǎn)換，過程如下:
[0057]步驟(3.1)對并行轉(zhuǎn)換改造過程是首先添加虛擬節(jié)點1，之后進行如下操作:
[0058]為虛擬節(jié)點I生成一個負圖元ID ;修改轉(zhuǎn)換a/Ο尾結(jié)點為虛擬狀態(tài)I的ID ;修改轉(zhuǎn)換b/Ο頭節(jié)點為虛擬狀態(tài)I的ID。
[0059]步驟(3.2)對次序轉(zhuǎn)換進行改造。過程是首先按照次序轉(zhuǎn)換的優(yōu)先級對轉(zhuǎn)換進行排序，并在按序排序后的兩條轉(zhuǎn)換之間添加I個虛擬節(jié)點2，之后進行如下操作:
[0060]為虛擬節(jié)點2生成一個負圖元ID ;復制原始狀態(tài)sO，賦予新狀態(tài)sO’正圖元ID ;修改優(yōu)先權(quán)較高的轉(zhuǎn)換a/Ο尾結(jié)點為虛擬節(jié)點2的ID ;修改優(yōu)先權(quán)較低的轉(zhuǎn)換b/Ο頭節(jié)點為虛擬節(jié)點2的ID ;修改優(yōu)先權(quán)較低的轉(zhuǎn)換b/Ο尾節(jié)點為新狀態(tài)sO’的ID ;修改由sO射出的轉(zhuǎn)換c/1頭節(jié)點為新狀態(tài)sO’的ID。
[0061]步驟(3.3)對約束轉(zhuǎn)換進行改造。過程是首先復制狀態(tài)s5，由于約束轉(zhuǎn)換組中到達狀態(tài)s5的約束輸入為I條，因此只復制I個s5。之后將復制的新狀態(tài)s5’分配給該約束轉(zhuǎn)換組中的約束輸入a/Ο，之后執(zhí)行如下過程:
[0062]賦予新狀態(tài)s5’正圖元ID ;將指向狀態(tài)s6的約束輸出a/Ι頭結(jié)點ID改為s5’的ID ;將由狀態(tài)s4射出的約束輸入a/Ο尾節(jié)點ID改為s5’的ID ;由于s5上的c/Ο又射回s5，不影響轉(zhuǎn)換過程，因此在s5’上復制c/Ο ;修改s5’的轉(zhuǎn)換c/Ο頭節(jié)點ID為s5’的ID ；修改s5’的轉(zhuǎn)換c/Ο尾節(jié)點ID為s5’的ID。最后，在狀態(tài)s5處刪除約束輸出a/1。
[0063]圖3即為改造后的通用FSM模型。
[0064]步驟4:解析改造后的非通用FSM，定義XML標簽，存儲特征圖元數(shù)據(jù)
[0065]實施例中定義了
【發(fā)明內(nèi)容】
中所要求的5個標簽:
[0066]〈name〉標簽，文本內(nèi)容為子狀態(tài)機名稱。
[0067]〈states〉標簽，表示一個狀態(tài)機中的狀態(tài)名稱列表。標簽文本內(nèi)容中首位為數(shù)字，代表此狀態(tài)機中的狀態(tài)個數(shù)；后面代表狀態(tài)機中各狀態(tài)名稱，狀態(tài)名之間以“，”作為分隔符。
[0068]〈inputs〉標簽，表示一個狀態(tài)機中的所有轉(zhuǎn)換激發(fā)條件。標簽文本內(nèi)容中首位數(shù)字代表此狀態(tài)機激發(fā)條件的總個數(shù)，后面代表各激發(fā)條件名稱，條件之間以“，”作為分隔符。
[0069]〈outputs〉標簽，表示一個狀態(tài)機的所有激發(fā)結(jié)果。標簽文本內(nèi)容中首位數(shù)字代表激發(fā)結(jié)果總個數(shù)，之后表示各激發(fā)結(jié)果的名字，結(jié)果之間以“，”作為分隔符。
[0070]〈transit1n〉標簽，表示一個狀態(tài)機的所有轉(zhuǎn)換線信息。標簽文本內(nèi)容為描述每條轉(zhuǎn)換線的四個元素，分別是頭節(jié)點ID、尾節(jié)點ID、激發(fā)條件、激發(fā)結(jié)果，不同元素之間以“，”作為分隔符，不同轉(zhuǎn)換線之間亦用“，”作為分隔符。
[0071]此外，實施例中還定義了一些僅對當前被測對象有效的輔助性標簽:
[0072]<hfsm type = 〃HFSM〃>標簽，表示此文件描述的是分層有限狀態(tài)機；<fsm>標簽，表示一個有限狀態(tài)機模型；〈init_state>標簽，文本內(nèi)容為一個狀態(tài)機的起點狀態(tài)名稱。
[0073]步驟5:生成測試結(jié)果
[0074]對改造后的通用FSM生成測試方案結(jié)果為:
[0075]輸入序列為aabcebba時，若輸出結(jié)果為10011100，則執(zhí)行的路徑為開始>>s0>>次序轉(zhuǎn)換 a/Ο? 次序轉(zhuǎn)換 b/0>>cml?cm2>>s5>>s7>>s0。
[0076]輸入序列為aabcebc時，若輸出結(jié)果為1001110，則執(zhí)行的路徑為開始>>s0>>次序轉(zhuǎn)換a/Ο?次序轉(zhuǎn)換b/0>>cml?cm2>>s5>>自循環(huán)轉(zhuǎn)換c/0?s5。
[0077]輸入序列為aabcaabaaab時，若輸出結(jié)果為10011101011，則執(zhí)行的路徑為開始>>s0>>次序轉(zhuǎn)換a/Ο?次序轉(zhuǎn)換b/0?Cml?S2>>并行轉(zhuǎn)換a/Ι?并行轉(zhuǎn)換b/0>>s3>>s4>>s5>> 約束轉(zhuǎn)換 a/l>>s6>>cm2o
[0078]輸入序列為aabcaabaaac時，若輸出結(jié)果為10011101011，則執(zhí)行的路徑為開始>>s0>>次序轉(zhuǎn)換a/Ο?次序轉(zhuǎn)換b/0?Cml?S2>>并行轉(zhuǎn)換a/Ι?并行轉(zhuǎn)換b/0>>s3>>s4>>s5>> 約束轉(zhuǎn)換 a/l>>s6>> 自循環(huán)轉(zhuǎn)換 c/l>>s6。
[0079]子狀態(tài)機cml的測試方案為:
[0080]輸入序列為a時，若輸出結(jié)果為I，則執(zhí)行路徑為sl-0>>sl-l。
[0081]子狀態(tài)機cm2的測試方案為:
[0082]輸入序列為cd時，若輸出結(jié)果為01，則執(zhí)行的路徑為s2-0>>s2-l。
[0083]最后，將上述符號替換回對應(yīng)的文字，既可得到測試方案。
[0084]以上過程即是本專利設(shè)計的對非通用FSM特殊轉(zhuǎn)換過程進行改造的方法。使用此方法改造非通用FSM后，可以XML格式存儲改造后的通用FSM，并得到測試方案。
【主權(quán)項】
1.一種對含有特殊轉(zhuǎn)換過程的非通用有限狀態(tài)機進行改造的方法，其特征在于包括如下步驟: 步驟(I)構(gòu)建非通用FSM特征圖元及數(shù)據(jù)結(jié)構(gòu) 具有特殊轉(zhuǎn)換過程的非通用FSM是由狀態(tài)、普通轉(zhuǎn)換、特殊轉(zhuǎn)換、子狀態(tài)機組成的，在本專利中構(gòu)建的特征圖元及數(shù)據(jù)結(jié)構(gòu)如下: 描述轉(zhuǎn)換過程的轉(zhuǎn)換線圖元，其數(shù)據(jù)結(jié)構(gòu)中含有唯一性圖元ID、表示圖元類別的標記符、轉(zhuǎn)換激發(fā)條件、轉(zhuǎn)換激發(fā)結(jié)果、所連接頭節(jié)點和尾節(jié)點的圖元ID、所屬特殊轉(zhuǎn)換類別；表示狀態(tài)的狀態(tài)圖元，其數(shù)據(jù)結(jié)構(gòu)中含有唯一性圖元ID、表示圖元類別的標記符、狀態(tài)名稱； 包含狀態(tài)及轉(zhuǎn)換線的子狀態(tài)機圖元，表示HFSM中的子狀態(tài)機，其數(shù)據(jù)結(jié)構(gòu)中含有唯一性圖元ID、表示圖元類別的標記符、子狀態(tài)機名稱； 步驟(2)使用特征圖元表示被測對象的執(zhí)行流程，標記特殊轉(zhuǎn)換過程步驟(2.1)以狀態(tài)圖元表示被測對象執(zhí)行過程中的運行狀態(tài)；以轉(zhuǎn)換線圖元表示在被測對象不同狀態(tài)之間的跳轉(zhuǎn)方向，以及執(zhí)行跳轉(zhuǎn)所需的激發(fā)條件和激發(fā)結(jié)果；以子狀態(tài)機圖元表示被測對象中含有的模塊和子流程； 步驟(2.2)在轉(zhuǎn)換線圖元上標記被測對象中含有的并行轉(zhuǎn)換；標記過程為首先選中所有轉(zhuǎn)換線圖元，之后將頭節(jié)點尾節(jié)點相同的轉(zhuǎn)換線劃分為同一組；如果該組轉(zhuǎn)換線所屬的頭節(jié)點只在該組內(nèi)所有轉(zhuǎn)換線全部執(zhí)行完畢之后，才可以跳轉(zhuǎn)到下一狀態(tài)，就將該組內(nèi)的所有轉(zhuǎn)換線圖元標記為并行轉(zhuǎn)換； 步驟(2.3)在轉(zhuǎn)換線圖元上標記被測對象中含有的次序轉(zhuǎn)換；標記過程為逐一選中所有狀態(tài)，獲取以所選狀態(tài)作為頭節(jié)點的所有轉(zhuǎn)換線，如果這些轉(zhuǎn)換線有先后執(zhí)行順序，就標記這些轉(zhuǎn)換線為次序轉(zhuǎn)換； 步驟(2.4)在轉(zhuǎn)換線圖元上標記被測對象中含有的約束轉(zhuǎn)換；標記過程為逐一選中所有狀態(tài)，獲取以所選狀態(tài)作為尾節(jié)點的所有轉(zhuǎn)換線，之后遍歷這些轉(zhuǎn)換線；如經(jīng)過該轉(zhuǎn)換線到達所選狀態(tài)后，必須按照特定路徑進行跳轉(zhuǎn)，就將這條轉(zhuǎn)換線標記為約束輸入，將表示特定路徑的轉(zhuǎn)換線標記為約束輸出； 步驟(3)對具有特殊轉(zhuǎn)換過程的非通用有限狀態(tài)機進行改造步驟(3.1)對并行轉(zhuǎn)換過程進行改造；改造方式是在并行轉(zhuǎn)換的頭結(jié)點、尾節(jié)點之間新建η-l個虛擬節(jié)點(η為并行轉(zhuǎn)換條數(shù))，把并行轉(zhuǎn)換依次利用虛擬節(jié)點連接，并更改并行轉(zhuǎn)換的頭尾節(jié)點； 步驟(3.2)對次序轉(zhuǎn)換進行改造；首先按照次序轉(zhuǎn)換優(yōu)先級對轉(zhuǎn)換進行排序，并在按序排列后的前后兩條轉(zhuǎn)換之間添加I個虛擬節(jié)點，總共添加η-l個，其中η為次序轉(zhuǎn)換條數(shù)；之后復制I個次序轉(zhuǎn)換頭結(jié)點，將優(yōu)先級最低的次序轉(zhuǎn)換的尾節(jié)點改為復制的頭結(jié)點，至此完成次序轉(zhuǎn)換的通用化； 步驟(3.3)對約束轉(zhuǎn)換過程進行改造，首先復制處于約束輸入、約束輸出之間的狀態(tài)，復制的次數(shù)為到達該狀態(tài)的約束輸入條數(shù)；將每個約束輸入的尾節(jié)點更改為復制的新狀態(tài)中的任意一個，并更改約束輸出的頭結(jié)點為復制的新狀態(tài)中的任意一個；最后在原狀態(tài)處刪除約束輸出； 步驟⑷定義5個XML標簽，在XML標簽的文本位置中存儲如下內(nèi)容: 標簽I文本內(nèi)容:按照轉(zhuǎn)換線圖元ID的大小順序，存儲所有轉(zhuǎn)換線的激發(fā)條件，單個激發(fā)條件的文本長度小于100個字符； 標簽2文本內(nèi)容:按照轉(zhuǎn)換線圖元ID的大小順序，存儲所有轉(zhuǎn)換線的激發(fā)結(jié)果，單個激發(fā)結(jié)果的文本長度小于100個字符； 標簽3文本內(nèi)容:按照轉(zhuǎn)換線圖元ID的大小順序，存儲每個轉(zhuǎn)換線圖元的頭節(jié)點ID、尾節(jié)點ID、激發(fā)條件、激發(fā)結(jié)果； 標簽4文本內(nèi)容:所有狀態(tài)圖元名稱，單個狀態(tài)圖元名的文本長度小于10個字符；標簽5文本內(nèi)容:所有子狀態(tài)機圖元名稱，單個子狀態(tài)機圖元名的文本長度小于10個字符； 至此完成有限狀態(tài)機信息XML存儲化；最后，對改造后的非通用FSM進行邊遍歷，覆蓋所有執(zhí)行路徑，得到測試方案。
【專利摘要】本發(fā)明公開了一種對含有特殊轉(zhuǎn)換過程的非通用有限狀態(tài)機進行改造的方法,屬于系統(tǒng)測試領(lǐng)域，具體涉及一種對非通用有限狀態(tài)機中的特殊轉(zhuǎn)換過程進行改造的方法。針對非通用FSM中的特殊轉(zhuǎn)換，本發(fā)明提出一種FSM模型改造方法，將非通用FSM模型轉(zhuǎn)換為通用FSM模型。此外，通過構(gòu)建一組表示非通用FSM特點的特征圖元，實現(xiàn)非通用有限狀態(tài)機的XML文件存儲化。本發(fā)明通過對非通用FSM進行改造，使得具有特殊轉(zhuǎn)換過程的非通用FSM也可適用于測試用例生成方案，擴充了有限狀態(tài)機在軟件測試各階段中的適用范圍。此外，構(gòu)建了表示非通用FSM的特征圖元及其數(shù)據(jù)結(jié)構(gòu)，實現(xiàn)了非通用FSM的XML存儲方式。
【IPC分類】G06F11-36
【公開號】CN104572457
【申請?zhí)枴緾N201410842894
【發(fā)明人】張建標, 楊宇澤, 崔玲, 劉紅宇, 艾蓉
【申請人】北京工業(yè)大學
【公開日】2015年4月29日
【申請日】2014年12月30日