欧美在线观看视频网站,亚洲熟妇色自偷自拍另类,啪啪伊人网,中文字幕第13亚洲另类,中文成人久久久久影院免费观看 ,精品人妻人人做人人爽,亚洲a视频

一種進(jìn)路聯(lián)鎖關(guān)系測試方法、電子設(shè)備、可讀存儲介質(zhì)與流程

文檔序號:40589575發(fā)布日期:2025-01-07 20:29閱讀:4來源:國知局
一種進(jìn)路聯(lián)鎖關(guān)系測試方法、電子設(shè)備、可讀存儲介質(zhì)與流程

本發(fā)明涉及軌道交通領(lǐng)域,具體涉及一種進(jìn)路聯(lián)鎖關(guān)系測試方法、電子設(shè)備、可讀存儲介質(zhì)。


背景技術(shù):

1、在軌道交通信號系統(tǒng)中,計(jì)算機(jī)聯(lián)鎖系統(tǒng)有著復(fù)雜的進(jìn)路聯(lián)鎖關(guān)系,包含進(jìn)路(簡稱route)與信號機(jī)(簡稱signal)、進(jìn)路與道岔(簡稱switch)、進(jìn)路與區(qū)段(簡稱ci?block)的重要聯(lián)鎖關(guān)系。進(jìn)路中包含多種信號設(shè)備,且與這些信號設(shè)備存在相互制約關(guān)系,進(jìn)路中任意信號設(shè)備狀態(tài)發(fā)生變化,均會影響該進(jìn)路的聯(lián)鎖狀態(tài)發(fā)生改變,包含進(jìn)路鎖閉狀態(tài)不成立,進(jìn)路信號狀態(tài)丟失、進(jìn)路鎖閉狀態(tài)不完整、進(jìn)路方向改變、進(jìn)路占用狀態(tài)成立等,進(jìn)路聯(lián)鎖狀態(tài)的變化,會進(jìn)一步影響與計(jì)算機(jī)聯(lián)鎖系統(tǒng)接口的其他信號子系統(tǒng)的功能安全性和正確性。

2、同時,隨著計(jì)算機(jī)聯(lián)鎖系統(tǒng)在城市軌道交通中的廣泛應(yīng)用,地鐵線路中因防淹門(簡稱fdg,flood?gate)、屏蔽門(簡稱psd,platform?screen?door)、緊停按鈕(簡稱esp,emergency?stop?buttom)、工作人員保護(hù)開關(guān)(簡稱spks,staff?protection?keyswitch)、保護(hù)區(qū)段(簡稱overlap)等線路設(shè)備設(shè)計(jì)布置,導(dǎo)致進(jìn)路的聯(lián)鎖關(guān)系變得更加繁雜,進(jìn)路聯(lián)鎖關(guān)系需要考慮進(jìn)路與fdg、進(jìn)路與psd、進(jìn)路與spks、進(jìn)路與esp、進(jìn)路與overlap等設(shè)備的聯(lián)鎖關(guān)系。進(jìn)路所有聯(lián)鎖關(guān)系在需求階段是否都被正確描述,是否在設(shè)計(jì)階段、測試階段被開發(fā)人員正確理解并實(shí)現(xiàn),需要通過大量測試過程來保證。尤其是進(jìn)路中包含多種聯(lián)鎖關(guān)系時,需要對每種聯(lián)鎖關(guān)系對應(yīng)的每類設(shè)備對象、每個設(shè)備對象、每個設(shè)備對象狀態(tài)屬性與進(jìn)路狀態(tài)進(jìn)行聯(lián)鎖關(guān)系的遍歷測試。

3、假設(shè):進(jìn)路的聯(lián)鎖關(guān)系有s個、進(jìn)路包含的設(shè)備類型有n個,每類設(shè)備對象有m個,進(jìn)路內(nèi)設(shè)備狀態(tài)屬性t個,進(jìn)路的聯(lián)鎖狀態(tài)有x個,

4、則進(jìn)路所有聯(lián)鎖關(guān)系和聯(lián)鎖狀態(tài)需要測試的基本次數(shù)為:s·n·m·t·x。

5、除了考慮進(jìn)路中設(shè)備對象影響進(jìn)路狀態(tài)的聯(lián)鎖關(guān)系外,還需要保證進(jìn)路外設(shè)備對象對進(jìn)路聯(lián)鎖關(guān)系無影響,進(jìn)路外設(shè)備是進(jìn)路內(nèi)設(shè)備y倍,如果要實(shí)現(xiàn)全站信號設(shè)備的完全遍歷測試,則測試執(zhí)行的測試次數(shù)成y的指數(shù)級別增長。

6、以往測試活動中,由人工根據(jù)聯(lián)鎖系統(tǒng)需求、用戶需求以及行業(yè)標(biāo)準(zhǔn)入手,獲取聯(lián)鎖系統(tǒng)的測試需求,構(gòu)建測試用例。測試用例的識別、實(shí)行都是由人工完成,測試用例生產(chǎn)過程中,很容易因?yàn)槿藛T資質(zhì)、對需求理解不一致等人為因素導(dǎo)致測試需求識別不完整,且測試執(zhí)行過程是采用等價類測試方法,人工測試,無法滿足迭代測試過程中重復(fù)測試。且人工采用等價類測試過程中未能完全測試進(jìn)路聯(lián)鎖對象唯一變化對進(jìn)路狀態(tài)影響,無法做到遍歷測試。

7、如此龐大的人工測試,費(fèi)時費(fèi)力,且重復(fù)性的測試操作容易造成疲勞和人為錯誤,因此,可自動測試的測試模型設(shè)計(jì)和自動測試是非常有必要的。尤其是涉及到設(shè)備數(shù)目、設(shè)備狀態(tài)的遍歷測試,需要有一套嚴(yán)格的數(shù)學(xué)方法,保證測試狀態(tài)空間的100%覆蓋。


技術(shù)實(shí)現(xiàn)思路

1、本發(fā)明的目的就是為了克服上述現(xiàn)有技術(shù)存在的缺陷,而提供一種進(jìn)路聯(lián)鎖關(guān)系測試需求形式化遍歷測試方法,快速實(shí)現(xiàn)進(jìn)路聯(lián)鎖關(guān)系的自動化測試,保障進(jìn)路聯(lián)鎖關(guān)系正確性和測試模型的迭代重復(fù)執(zhí)行。通過精確的測試需求描述,避免測試場景的遺漏,確保測試的完整性。形式化的測試規(guī)約描述,利于工具的解析和執(zhí)行。通過對進(jìn)路內(nèi)設(shè)備對象狀態(tài)屬性的追蹤和遍歷,保證進(jìn)路聯(lián)鎖關(guān)系的實(shí)現(xiàn)在計(jì)算機(jī)聯(lián)鎖系統(tǒng)運(yùn)行每個周期都滿足測試需求。

2、本發(fā)明提供了一種進(jìn)路聯(lián)鎖關(guān)系測試方法,包括以下步驟:

3、s1、對聯(lián)鎖系統(tǒng)中進(jìn)路聯(lián)鎖關(guān)系進(jìn)行識別和抽象,包括定義進(jìn)路聯(lián)鎖關(guān)系和聯(lián)鎖設(shè)備的規(guī)約;

4、s2、對進(jìn)路聯(lián)鎖關(guān)系規(guī)約和進(jìn)路聯(lián)鎖設(shè)備進(jìn)行形式化建模;

5、s3、部署測試環(huán)境,對模型進(jìn)行實(shí)例化并執(zhí)行測試。

6、進(jìn)一步地,所述步驟s1包括以下內(nèi)容:

7、s11、分析進(jìn)路功能和應(yīng)用場景,將應(yīng)用場景模塊化;

8、s12、識別進(jìn)路聯(lián)鎖關(guān)系中進(jìn)路聯(lián)鎖設(shè)備的類型;

9、s13、分析進(jìn)路聯(lián)鎖設(shè)備關(guān)聯(lián)的邏輯狀態(tài)信息;

10、s14、按照規(guī)定的規(guī)約格式,定義進(jìn)路聯(lián)鎖關(guān)系和聯(lián)鎖設(shè)備的規(guī)約。

11、進(jìn)一步地,所述步驟s2包括以下內(nèi)容:

12、s21、建立進(jìn)路聯(lián)鎖設(shè)備模型;

13、s22、建立進(jìn)路聯(lián)鎖關(guān)系與進(jìn)路聯(lián)鎖設(shè)備的測試規(guī)約模型;

14、s23、建立進(jìn)路聯(lián)鎖關(guān)系規(guī)約模型、聯(lián)鎖設(shè)備模型與測試對象的鏡像匹配規(guī)則。

15、進(jìn)一步地,所述步驟s3包括以下內(nèi)容:

16、部署測試工具至測試環(huán)境,將被測對象、以及步驟s2中的聯(lián)鎖設(shè)備模型、測試規(guī)約模型、鏡像匹配規(guī)則導(dǎo)入測試工具并進(jìn)行語法可滿足性檢查。

17、進(jìn)一步地,所述步驟s2是基于pispec形式化語言,進(jìn)行形式化建模。

18、進(jìn)一步地,所述步驟s3中的可滿足性檢查包括:

19、s31、基于pispec語法規(guī)則,對步驟s2中的模型進(jìn)行解析;

20、s32、檢查被測數(shù)據(jù)中變量信息與模型的匹配正確性,包括:

21、s321、按照步驟s2中的鏡像匹配規(guī)則,將步驟s2中的測試規(guī)約模型、聯(lián)鎖設(shè)備模型進(jìn)行實(shí)例化,生成進(jìn)路聯(lián)鎖關(guān)系測試集合和進(jìn)路設(shè)備對象集合;

22、s322、執(zhí)行聯(lián)鎖關(guān)系測試集合中的測試用例,將最后得到的邏輯公式進(jìn)行遍歷執(zhí)行,得到所有聯(lián)鎖關(guān)系測試集合的測試結(jié)果。

23、進(jìn)一步地,所述步驟s1包括的應(yīng)用場景包括:進(jìn)路與道岔、進(jìn)路與信號機(jī)、進(jìn)路與區(qū)段、進(jìn)路與防淹門、進(jìn)路與屏蔽門、進(jìn)路與緊停按鈕、進(jìn)路與工作人員保護(hù)開關(guān)和進(jìn)路與保護(hù)區(qū)段的相互制約的應(yīng)用場景。

24、進(jìn)一步地,所述步驟s1中的聯(lián)鎖設(shè)備類型包括:進(jìn)路、信號機(jī)、道岔、區(qū)段、防淹門、屏蔽門、工作人員保護(hù)開關(guān)和保護(hù)區(qū)段。

25、另外,本發(fā)明還提出了一種電子設(shè)備,包括處理器和存儲器,所述存儲器上存儲有計(jì)算機(jī)程序,所述計(jì)算機(jī)程序被所述處理器執(zhí)行時,實(shí)現(xiàn)所述的方法。

26、另外,本發(fā)明還提供了一種可讀存儲介質(zhì),所述可讀存儲介質(zhì)內(nèi)存儲有計(jì)算機(jī)程序,所述計(jì)算機(jī)程序被處理器執(zhí)行時,實(shí)現(xiàn)所述的方法。

27、本方案描述的形式化規(guī)約描述方法和進(jìn)路聯(lián)鎖關(guān)系測試方法,規(guī)定了進(jìn)路聯(lián)鎖關(guān)系需求描述的統(tǒng)一規(guī)則,需求描述上盡可能對進(jìn)路聯(lián)鎖關(guān)系中的設(shè)備對象進(jìn)行橫切,以進(jìn)路為單元,分解進(jìn)路的組成單元。對每個組成單元進(jìn)行特征抽取,生成計(jì)算機(jī)可自動識別的需求樹。根據(jù)需求樹,以pispec建立進(jìn)路組成單元及其特征元素的設(shè)備對象模型;并根據(jù)特征元素對進(jìn)路聯(lián)鎖關(guān)系相互制約關(guān)系,構(gòu)建以進(jìn)路為主體的測試規(guī)約模型。通過被測對象與測試規(guī)約模型的可滿足性檢查,實(shí)現(xiàn)被測對象進(jìn)路聯(lián)鎖關(guān)系的正確性測試。以數(shù)學(xué)的技術(shù)方法描述測試規(guī)約,且在每個周期跟蹤測試對象的變化,保證測試狀態(tài)空間的100%覆蓋。



技術(shù)特征:

1.一種進(jìn)路聯(lián)鎖關(guān)系測試方法,其特征在于,包括以下步驟:

2.如權(quán)利要求1所述的進(jìn)路聯(lián)鎖關(guān)系測試方法,其特征在于,所述步驟s1包括以下內(nèi)容:

3.如權(quán)利要求1所述的進(jìn)路聯(lián)鎖關(guān)系測試方法,其特征在于,所述步驟s2包括以下內(nèi)容:

4.如權(quán)利要求3所述的進(jìn)路聯(lián)鎖關(guān)系測試方法,其特征在于,所述步驟s3包括以下內(nèi)容:

5.如權(quán)利要求4所述的進(jìn)路聯(lián)鎖關(guān)系測試方法,其特征在于,所述步驟s2是基于pispec形式化語言,進(jìn)行形式化建模。

6.如權(quán)利要求5所述的進(jìn)路聯(lián)鎖關(guān)系測試方法,其特征在于,所述步驟s3中的可滿足性檢查包括:

7.如權(quán)利要求1所述的進(jìn)路聯(lián)鎖關(guān)系測試方法,其特征在于,所述步驟s1包括的應(yīng)用場景包括:進(jìn)路與道岔、進(jìn)路與信號機(jī)、進(jìn)路與區(qū)段、進(jìn)路與防淹門、進(jìn)路與屏蔽門、進(jìn)路與緊停按鈕、進(jìn)路與工作人員保護(hù)開關(guān)和進(jìn)路與保護(hù)區(qū)段的相互制約的應(yīng)用場景。

8.如權(quán)利要求1所述的進(jìn)路聯(lián)鎖關(guān)系測試方法,其特征在于,所述步驟s1中的聯(lián)鎖設(shè)備類型包括:進(jìn)路、信號機(jī)、道岔、區(qū)段、防淹門、屏蔽門、工作人員保護(hù)開關(guān)和保護(hù)區(qū)段。

9.一種電子設(shè)備,其特征在于,包括處理器和存儲器,所述存儲器上存儲有計(jì)算機(jī)程序,所述計(jì)算機(jī)程序被所述處理器執(zhí)行時,實(shí)現(xiàn)權(quán)利要求1至8中任一項(xiàng)所述的方法。

10.一種可讀存儲介質(zhì),其特征在于,所述可讀存儲介質(zhì)內(nèi)存儲有計(jì)算機(jī)程序,所述計(jì)算機(jī)程序被處理器執(zhí)行時,實(shí)現(xiàn)權(quán)利要求1至8中任一項(xiàng)所述的方法。


技術(shù)總結(jié)
本發(fā)明涉及一種進(jìn)路聯(lián)鎖關(guān)系測試方法,包括以下步驟:S1、對聯(lián)鎖系統(tǒng)中進(jìn)路聯(lián)鎖關(guān)系進(jìn)行識別和抽象,包括定義進(jìn)路聯(lián)鎖關(guān)系和聯(lián)鎖設(shè)備的規(guī)約;S2、對進(jìn)路聯(lián)鎖關(guān)系規(guī)約和進(jìn)路聯(lián)鎖設(shè)備進(jìn)行形式化建模;S3、部署測試環(huán)境,對模型進(jìn)行實(shí)例化并執(zhí)行測試。本發(fā)明采用精確的非形式化測試規(guī)約描述方法,便于自動化工具的自動識別和解析,以及避免理解產(chǎn)生歧義。構(gòu)建的進(jìn)路聯(lián)鎖設(shè)備形式化模型能夠提升聯(lián)鎖軟件的開發(fā)效率,降低維護(hù)成本。

技術(shù)研發(fā)人員:王燕芩,張銘瑤,杜洋,張程,李衛(wèi)娟,王淵,陳吉余,楊平
受保護(hù)的技術(shù)使用者:卡斯柯信號有限公司
技術(shù)研發(fā)日:
技術(shù)公布日:2025/1/6
網(wǎng)友詢問留言 已有0條留言
  • 還沒有人留言評論。精彩留言會獲得點(diǎn)贊!
1
南充市| 荥阳市| 永宁县| 苏尼特左旗| 仲巴县| 尚义县| 平塘县| 东兰县| 涞水县| 彰化县| 灵台县| 双牌县| 尉氏县| 岑溪市| 新河县| 武宁县| 乐山市| 桐梓县| 揭东县| 合川市| 邓州市| 寿宁县| 孟村| 台江县| 福安市| 静海县| 江门市| 大连市| 紫阳县| 尉氏县| 和顺县| 朝阳县| 庆安县| 寿光市| 广宁县| 留坝县| 大石桥市| 潢川县| 彭山县| 乐至县| 弥勒县|