[發(fā)明專利]一種基于擴(kuò)展有限狀態(tài)機(jī)的軟件通信體系架構(gòu)符合性測(cè)試建模方法

在審

• 申請(qǐng)?zhí)枺?/td>: 202010063310.3
• 申請(qǐng)日: 2020-01-20
• 公開（公告）號(hào): CN111274142A
• 公開（公告）日: 2020-06-12
• 發(fā)明（設(shè)計(jì)）人: 唐麒;伍旭東;魏急波;連進(jìn);趙海濤
• 申請(qǐng)（專利權(quán)）人: 中國人民解放軍國防科技大學(xué)
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 湖南省國防科技工業(yè)局專利中心 43102
• 代理人: 馮青

1.一種基于擴(kuò)展有限狀態(tài)機(jī)的軟件通信體系架構(gòu)符合性測(cè)試建模方法，基于SCA核心框架符合性測(cè)試進(jìn)行建模模型，其特征在于，包含以下步驟：

步驟一、確定測(cè)試的初始狀態(tài)s0，并根據(jù)SCA規(guī)范構(gòu)建狀態(tài)集合S和遷移集合T，在SCA符合性測(cè)試中，將每個(gè)需求的測(cè)試都可以抽象成一個(gè)EFSM模型，需求測(cè)試中存在的狀態(tài)為初始狀態(tài)si，執(zhí)行動(dòng)作狀態(tài)sj，以及需求測(cè)試通過后的測(cè)試通過狀態(tài)即測(cè)試末狀態(tài)sz；存在si指向sj的遷移ta，sj指向sz的遷移tb以及sj指向si的遷移tc，分析每個(gè)需求的測(cè)試過程，將各個(gè)需求測(cè)試過程中存在的狀態(tài)以及遷移分別加入到狀態(tài)集合S和遷移集合T；

步驟二、構(gòu)建變量集V，將各需求測(cè)試過程中存在的變量加入到變量集V中；

步驟三、構(gòu)造測(cè)試依賴樹形圖，每個(gè)節(jié)點(diǎn)的需求測(cè)試都對(duì)應(yīng)到一個(gè)EFSM模型；

步驟四、根據(jù)測(cè)試依賴樹狀模型，和已定義的狀態(tài)集S、遷移集T、變量集V構(gòu)造SCA符合性測(cè)試的EFSM模型；

步驟五、在步驟四給出的EFSM模型的基礎(chǔ)上，對(duì)構(gòu)造的模型依規(guī)則進(jìn)行縮減；

所述步驟四具體包含如下步驟：

4.1)各需求測(cè)試對(duì)應(yīng)到不同的EFSM模型，這些模型中存在相同的狀態(tài)，以相同的狀態(tài)為節(jié)點(diǎn)，對(duì)這些模型進(jìn)行連接，去除掉S中存在的重復(fù)狀態(tài)；

4.2)指定初始狀態(tài)s0指向樹形圖中根節(jié)點(diǎn)的執(zhí)行狀態(tài)的遷移；

4.3)對(duì)于每個(gè)節(jié)點(diǎn)的需求測(cè)試，構(gòu)造該測(cè)試末狀態(tài)指向其子節(jié)點(diǎn)的需求測(cè)試的執(zhí)行動(dòng)作狀態(tài)的遷移，

4.4)對(duì)于每個(gè)節(jié)點(diǎn)的需求測(cè)試，構(gòu)造該測(cè)試末狀態(tài)指向其兄弟節(jié)點(diǎn)的需求測(cè)試的執(zhí)行動(dòng)作狀態(tài)的遷移；

所述步驟五中的規(guī)則具體為：

規(guī)則一：對(duì)任一需求的測(cè)試，在其初始狀態(tài)到其末狀態(tài)之間構(gòu)造遷移，將原初始狀態(tài)指向執(zhí)行動(dòng)作狀態(tài)的遷移和執(zhí)行動(dòng)作狀態(tài)指向末狀態(tài)的遷移上的觸發(fā)事件、執(zhí)行條件、動(dòng)作進(jìn)行合并，置于新的遷移上，對(duì)于其他狀態(tài)指向執(zhí)行動(dòng)作狀態(tài)的遷移，構(gòu)造該狀態(tài)指向?qū)?yīng)末狀態(tài)的遷移，操作類似；

規(guī)則二：對(duì)任一需求的測(cè)試，在其初始狀態(tài)上添加自循環(huán)遷移，將原初始狀態(tài)指向執(zhí)行動(dòng)作狀態(tài)的遷移和執(zhí)行動(dòng)作狀態(tài)指向初始狀態(tài)的遷移上的觸發(fā)事件、執(zhí)行條件、動(dòng)作進(jìn)行合并，置于新的遷移上，對(duì)于其他狀態(tài)指向執(zhí)行動(dòng)作狀態(tài)的遷移，構(gòu)造該狀態(tài)上的自循環(huán)遷移，操作類似；

規(guī)則三：刪除所有指向執(zhí)行動(dòng)作狀態(tài)和由執(zhí)行動(dòng)作狀態(tài)指向末狀態(tài)的遷移，再刪除所有不存在遷移的狀態(tài)，其結(jié)果是刪除模型中所有描述動(dòng)作的狀態(tài)和其遷移。