一種基于數(shù)據(jù)配置工具的模型驗(yàn)證分析方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明屬于計(jì)算機(jī)系統(tǒng)軟件專(zhuān)業(yè)技術(shù)領(lǐng)域，具體涉及一種基于數(shù)據(jù)配置工具的模型驗(yàn)證分析方法。
【背景技術(shù)】
[0002]在綜合化航電裝備系統(tǒng)中，運(yùn)行管理軟件負(fù)責(zé)管理和控制系統(tǒng)。系統(tǒng)配置數(shù)據(jù)是控制系統(tǒng)運(yùn)行行為的數(shù)據(jù)，作為運(yùn)行管理軟件的輸入源，它配置和描述了應(yīng)用任務(wù)、消息通信、系統(tǒng)控制、故障處理等所有必要的配置信息和狀態(tài)機(jī)信息。運(yùn)行管理軟件根據(jù)運(yùn)行時(shí)配置數(shù)據(jù)中的配置，執(zhí)行系統(tǒng)的初始化、配置、后續(xù)重構(gòu)以及最終的關(guān)閉。
[0003]由于綜合化航電系統(tǒng)具有功能模塊數(shù)量多，狀態(tài)變換多，通信頻繁，通信數(shù)據(jù)量大等的特點(diǎn)，手工配置系統(tǒng)配置數(shù)據(jù)文件方式暴露出生產(chǎn)效率慢、極易出錯(cuò)、定位錯(cuò)誤困難、修改難度大，以及不利于統(tǒng)計(jì)、分析和驗(yàn)證等缺點(diǎn)，不能滿足項(xiàng)目要求。
[0004]目前該領(lǐng)域尚無(wú)找到相關(guān)的成熟理論方法或產(chǎn)品。針對(duì)上述問(wèn)題，開(kāi)發(fā)了系統(tǒng)數(shù)據(jù)配置工具。用戶與工具的用戶界面進(jìn)行交互，使用鼠標(biāo)、鍵盤(pán)編輯模型，完成編輯后生成系統(tǒng)配置數(shù)據(jù)。然而，由于數(shù)據(jù)元素屬性多、類(lèi)型廣，元素內(nèi)部及元素間存在層級(jí)嵌套、邏輯引用等關(guān)系，可能導(dǎo)致用戶配置編輯的模型存在邏輯結(jié)構(gòu)不正確、元素屬性不合法。

【發(fā)明內(nèi)容】

[0005]為了解決【背景技術(shù)】中的問(wèn)題，本發(fā)明了提供了能夠全面的對(duì)模型進(jìn)行檢查分析，系統(tǒng)實(shí)時(shí)將檢查分析結(jié)果反饋給用戶，便于用戶檢查配置錯(cuò)誤，從而確保配置模型數(shù)據(jù)的正確性的基于數(shù)據(jù)配置工具的模型驗(yàn)證分析方法。
[0006]本發(fā)明的具體技術(shù)方案是:
[0007]本發(fā)明提出了一種基于數(shù)據(jù)配置工具的模型驗(yàn)證分析方法，其特征在于，包括以下步驟:
[0008]1)創(chuàng)建數(shù)據(jù)配置工具；
[0009]所述數(shù)據(jù)配置工具包括導(dǎo)入導(dǎo)出模塊、模型編輯模塊、數(shù)據(jù)檢查和驗(yàn)證模塊以及數(shù)據(jù)生成模塊；
[0010]所述導(dǎo)入導(dǎo)出模塊用于創(chuàng)建模型和模型數(shù)據(jù)的導(dǎo)出；
[0011 ]所述模型編輯模塊對(duì)新建模型進(jìn)行元素配置；
[0012]元素包括元素邏輯、分區(qū)、端口通道、故障過(guò)濾表、資源部署以及健康監(jiān)控表；
[0013]元素配置的動(dòng)作包括增加、刪除、修改、查看；
[0014]所述數(shù)據(jù)檢查和驗(yàn)證模塊用于對(duì)創(chuàng)建的模型進(jìn)行檢查和驗(yàn)證；
[0015]所述數(shù)據(jù)生成模塊將配置完成的模型轉(zhuǎn)化為二進(jìn)制格式的數(shù)據(jù)；
[0016]2)采用導(dǎo)入導(dǎo)出模塊新建模型；
[0017]3)采用模型編輯模塊對(duì)新建模型進(jìn)行元素配置；
[0018]4)采用數(shù)據(jù)檢查和驗(yàn)證模塊對(duì)模型元素進(jìn)行檢查;若檢查通過(guò)，則進(jìn)行步驟5，若檢查不通過(guò)，則進(jìn)行步驟3);
[0019]所述檢查包括對(duì)導(dǎo)入已有項(xiàng)目進(jìn)行檢查以及對(duì)模型的元素配置過(guò)程進(jìn)行檢查；
[0020]5)采用數(shù)據(jù)檢查和驗(yàn)證模塊對(duì)模型元素進(jìn)行驗(yàn)證;若驗(yàn)證通過(guò)，則進(jìn)行步驟6，若驗(yàn)證不通過(guò)，則進(jìn)行步驟3);
[0021]所述驗(yàn)證包括自上而下依次對(duì)模型框架結(jié)構(gòu)、模型元素邏輯關(guān)系、模型元素間引用存在性進(jìn)行驗(yàn)證。
[0022]6)將檢查和驗(yàn)證通過(guò)的模型轉(zhuǎn)化為二進(jìn)制格式的數(shù)據(jù)。
[0023]上述導(dǎo)入導(dǎo)出模塊新建模型包括新建模板項(xiàng)目以及導(dǎo)入已有項(xiàng)目。
[0024]本發(fā)明的優(yōu)點(diǎn)在于:
[0025]1、本發(fā)明的方法是采用建模過(guò)程中檢查與建模完成后整體分析相結(jié)合的方式，全面的對(duì)模型進(jìn)行檢查、驗(yàn)證，確保數(shù)據(jù)正確性。
[0026]2、本發(fā)明的方法通過(guò)定義模型元素屬性(類(lèi)型、大小、長(zhǎng)度、范圍、缺省等)，模型元素內(nèi)部關(guān)系(層級(jí)嵌套、父子關(guān)系、引用等)，模型元素間關(guān)系(引用、關(guān)聯(lián))。按照已定義的規(guī)則設(shè)計(jì)檢查分析機(jī)制，在系統(tǒng)建模過(guò)程中與建模完成后進(jìn)行數(shù)據(jù)分析檢查，從而確保模型數(shù)據(jù)全局元素邏輯關(guān)系一致，局部元素?cái)?shù)據(jù)屬性正確，為系統(tǒng)數(shù)據(jù)配置軟件建立數(shù)據(jù)模型的提尚了正確性和穩(wěn)定性。
【附圖說(shuō)明】
[0027]圖1本發(fā)明方法的系統(tǒng)流程圖。
【具體實(shí)施方式】
[0028]本發(fā)明提出了一種基于數(shù)據(jù)配置工具的模型驗(yàn)證分析方法，其特征在于，包括以下步驟:
[0029]1)創(chuàng)建數(shù)據(jù)配置工具；
[0030]數(shù)據(jù)配置工具包括導(dǎo)入導(dǎo)出模塊、模型編輯模塊、數(shù)據(jù)檢查和驗(yàn)證模塊以及數(shù)據(jù)生成模塊；
[0031 ]配置工具檢查分析數(shù)據(jù)模型工作具體步驟:
[0032]1.啟動(dòng)配置工具，新建項(xiàng)目。新建項(xiàng)目有兩種方式:一種是使用工具提供模板創(chuàng)建模板項(xiàng)目，另一種是導(dǎo)入已有項(xiàng)目，在已有項(xiàng)目基礎(chǔ)上配置模型。新建項(xiàng)目過(guò)程中，系統(tǒng)對(duì)構(gòu)建模型源文件進(jìn)行構(gòu)建分析，通過(guò)檢查分析構(gòu)建項(xiàng)目成功，否則報(bào)告源文件錯(cuò)誤原因。
[0033]2.用戶對(duì)構(gòu)建的模型項(xiàng)目進(jìn)行編輯。操作包括:增加、刪除、修改、查看模型元素。增加，即創(chuàng)建新節(jié)點(diǎn)元素，系統(tǒng)為每一類(lèi)模型節(jié)點(diǎn)定義了名字長(zhǎng)度、類(lèi)型、范圍要求等。如果符合規(guī)則進(jìn)行創(chuàng)建，不滿足規(guī)則提示錯(cuò)誤原因。修改，即對(duì)已有配置屬性重新定義，系統(tǒng)為模型節(jié)點(diǎn)元素的屬性做了限制，每個(gè)鍵對(duì)應(yīng)的值，都有特定的類(lèi)型(enum、int、float、double、reference)等，用戶對(duì)屬性進(jìn)行編輯操作，符合規(guī)則的操作直接保存，不滿足規(guī)則提示錯(cuò)誤原因。
[0034]其中，導(dǎo)入導(dǎo)出模塊用于創(chuàng)建模型和模型數(shù)據(jù)的導(dǎo)出；
[0035]其中，模型編輯模塊對(duì)新建模型進(jìn)行元素配置;元素包括元素邏輯、分區(qū)、端口通道、故障過(guò)濾表、資源部署以及健康監(jiān)控表;元素配置的動(dòng)作包括增加、刪除、修改、查看；
[0036]其中，數(shù)據(jù)檢查和驗(yàn)證模塊用于對(duì)創(chuàng)建的模型進(jìn)行檢查和驗(yàn)證；
[0037]其中，數(shù)據(jù)生成模塊將配置完成的模型轉(zhuǎn)化為二進(jìn)制格式的數(shù)據(jù)；
[0038]2)采用導(dǎo)入導(dǎo)出模塊新建模型；
[0039]3)采用模型編輯模塊對(duì)新建模型進(jìn)行元素配置；
[0040]4)采用數(shù)據(jù)檢查和驗(yàn)證模塊對(duì)模型元素進(jìn)行檢查;若檢查通過(guò)，則進(jìn)行步驟5，若檢查不通過(guò)，則進(jìn)行步驟3);
[0041]所述檢查包括對(duì)導(dǎo)入已有項(xiàng)目進(jìn)行檢查以及對(duì)模型的元素配置過(guò)程進(jìn)行檢查；
[0042]5)采用數(shù)據(jù)檢查和驗(yàn)證模塊對(duì)模型元素進(jìn)行驗(yàn)證;若驗(yàn)證通過(guò)，則進(jìn)行步驟6，若驗(yàn)證不通過(guò)，則進(jìn)行步驟3);
[0043]驗(yàn)證包括自上而下依次對(duì)模型框架結(jié)構(gòu)、模型元素邏輯關(guān)系、模型元素間引用存在性進(jìn)行驗(yàn)證。
[0044]具體是:配置工具對(duì)用戶編輯完成的項(xiàng)目進(jìn)行引用存在性驗(yàn)證。自上而下，依次分析模型框架結(jié)構(gòu)、上下級(jí)邏輯關(guān)系、元素間引用存在性驗(yàn)證。模型分析擴(kuò)展點(diǎn)聲明IVal idate接口，主要包含val i date (I Ob ject) throws ValidateExcept1n方法；該擴(kuò)展點(diǎn)使用模板方法模式實(shí)現(xiàn)，為步驟類(lèi)似的驗(yàn)證行為在analyze中設(shè)計(jì)驗(yàn)證框架。擴(kuò)展出的驗(yàn)證工具實(shí)現(xiàn)該擴(kuò)展點(diǎn)和IVal idate接口。設(shè)計(jì)Val idateFactory類(lèi)，提供單例模式的訪問(wèn)接口，遍歷所有擴(kuò)展調(diào)用實(shí)現(xiàn)IValidate的數(shù)據(jù)生成實(shí)體類(lèi)。對(duì)所有存在引用的配置項(xiàng)進(jìn)行存在性驗(yàn)證。配置項(xiàng)包括:邏輯配置驗(yàn)證、分區(qū)存在性驗(yàn)證、端口通道驗(yàn)證、故障過(guò)濾表存在性驗(yàn)證、資源部署存在性驗(yàn)證、健康監(jiān)控表存在性驗(yàn)證。
[0045]6)將檢查和驗(yàn)證通過(guò)的模型轉(zhuǎn)化為二進(jìn)制格式的數(shù)據(jù)。
[0046]詞語(yǔ)解釋:
[0047]l、XML Schema:XML文件格式定義文件
[0048]2、InputDialog:新建輸入對(duì)話框定義類(lèi)
[0049]3、ValueValidator:新建輸入檢查器
[°°50] 4、Properties:屬性視圖編輯器，用于顯示視圖中選中元素的屬性值
[°°51 ] 5、IValidate:自定義eel ipse插件擴(kuò)展點(diǎn)，驗(yàn)證類(lèi)通過(guò)實(shí)現(xiàn)該接口定義val idate
方法，對(duì)元素模型進(jìn)行存在性進(jìn)行分析驗(yàn)證。
[0052]6、ValidateFactory:自定義Validate工廠類(lèi)。
【主權(quán)項(xiàng)】
1.一種基于數(shù)據(jù)配置工具的模型驗(yàn)證分析方法，其特征在于，包括以下步驟: 1)創(chuàng)建數(shù)據(jù)配置工具； 所述數(shù)據(jù)配置工具包括導(dǎo)入導(dǎo)出模塊、模型編輯模塊、數(shù)據(jù)檢查和驗(yàn)證模塊以及數(shù)據(jù)生成模塊； 所述導(dǎo)入導(dǎo)出模塊用于創(chuàng)建模型和模型數(shù)據(jù)的導(dǎo)出； 所述模型編輯模塊對(duì)新建模型進(jìn)行元素配置； 元素包括元素邏輯、分區(qū)、端口通道、故障過(guò)濾表、資源部署以及健康監(jiān)控表； 元素配置的動(dòng)作包括增加、刪除、修改、查看； 所述數(shù)據(jù)檢查和驗(yàn)證模塊用于對(duì)創(chuàng)建的模型進(jìn)行檢查和驗(yàn)證； 所述數(shù)據(jù)生成模塊將配置完成的模型轉(zhuǎn)化為二進(jìn)制格式的數(shù)據(jù)； 2)采用導(dǎo)入導(dǎo)出模塊新建模型； 3)采用模型編輯模塊對(duì)新建模型進(jìn)行元素配置； 4)采用數(shù)據(jù)檢查和驗(yàn)證模塊對(duì)模型元素進(jìn)行檢查;若檢查通過(guò)，則進(jìn)行步驟5，若檢查不通過(guò)，則進(jìn)行步驟3); 所述檢查包括對(duì)導(dǎo)入已有項(xiàng)目進(jìn)行檢查以及對(duì)模型的元素配置過(guò)程進(jìn)行檢查； 5)采用數(shù)據(jù)檢查和驗(yàn)證模塊對(duì)模型元素進(jìn)行驗(yàn)證;若驗(yàn)證通過(guò)，則進(jìn)行步驟6，若驗(yàn)證不通過(guò)，則進(jìn)行步驟3); 所述驗(yàn)證包括自上而下依次對(duì)模型框架結(jié)構(gòu)、模型元素邏輯關(guān)系、模型元素間引用存在性進(jìn)行驗(yàn)證； 6)將檢查和驗(yàn)證通過(guò)的模型轉(zhuǎn)化為二進(jìn)制格式的數(shù)據(jù)。2.根據(jù)權(quán)利要求1所述的基于數(shù)據(jù)配置工具的模型驗(yàn)證分析方法，其特征在于:所述導(dǎo)入導(dǎo)出模塊新建模型包括新建模板項(xiàng)目以及導(dǎo)入已有項(xiàng)目。
【專(zhuān)利摘要】本發(fā)明屬于計(jì)算機(jī)系統(tǒng)軟件專(zhuān)業(yè)技術(shù)領(lǐng)域，具體涉及一種基于數(shù)據(jù)配置工具的模型驗(yàn)證分析方法。該方法包括：1、創(chuàng)建數(shù)據(jù)配置工具；2、采用導(dǎo)入導(dǎo)出模塊新建模型；3、采用模型編輯模塊對(duì)新建模型進(jìn)行元素配置；4、采用數(shù)據(jù)檢查和驗(yàn)證模塊對(duì)模型元素進(jìn)行檢查；5、采用數(shù)據(jù)檢查和驗(yàn)證模塊對(duì)模型元素進(jìn)行驗(yàn)證；6、將檢查和驗(yàn)證通過(guò)的模型轉(zhuǎn)化為二進(jìn)制格式的數(shù)據(jù)。通過(guò)使用該方法能夠全面的對(duì)模型進(jìn)行檢查分析，系統(tǒng)實(shí)時(shí)將檢查分析結(jié)果反饋給用戶，便于用戶檢查配置錯(cuò)誤，從而確保配置模型數(shù)據(jù)的正確性。
【IPC分類(lèi)】G06F11/36
【公開(kāi)號(hào)】CN105446883
【申請(qǐng)?zhí)枴緾N201510902224
【發(fā)明人】高原, 田丹, 張旻, 葉宏, 李運(yùn)喜, 胡寧
【申請(qǐng)人】中國(guó)航空工業(yè)集團(tuán)公司西安航空計(jì)算技術(shù)研究所
【公開(kāi)日】2016年3月30日
【申請(qǐng)日】2015年12月8日