一种基于数据配置工具的模型验证分析方法技术

本发明专利技术属于计算机系统软件专业技术领域，具体涉及一种基于数据配置工具的模型验证分析方法。该方法包括：1、创建数据配置工具；2、采用导入导出模块新建模型；3、采用模型编辑模块对新建模型进行元素配置；4、采用数据检查和验证模块对模型元素进行检查；5、采用数据检查和验证模块对模型元素进行验证；6、将检查和验证通过的模型转化为二进制格式的数据。通过使用该方法能够全面的对模型进行检查分析，系统实时将检查分析结果反馈给用户，便于用户检查配置错误，从而确保配置模型数据的正确性。

【技术实现步骤摘要】

本专利技术属于计算机系统软件专业
，具体涉及。
技术介绍
在综合化航电装备系统中，运行管理软件负责管理和控制系统。系统配置数据是控制系统运行行为的数据，作为运行管理软件的输入源，它配置和描述了应用任务、消息通信、系统控制、故障处理等所有必要的配置信息和状态机信息。运行管理软件根据运行时配置数据中的配置，执行系统的初始化、配置、后续重构以及最终的关闭。由于综合化航电系统具有功能模块数量多，状态变换多，通信频繁，通信数据量大等的特点，手工配置系统配置数据文件方式暴露出生产效率慢、极易出错、定位错误困难、修改难度大，以及不利于统计、分析和验证等缺点，不能满足项目要求。目前该领域尚无找到相关的成熟理论方法或产品。针对上述问题，开发了系统数据配置工具。用户与工具的用户界面进行交互，使用鼠标、键盘编辑模型，完成编辑后生成系统配置数据。然而，由于数据元素属性多、类型广，元素内部及元素间存在层级嵌套、逻辑引用等关系，可能导致用户配置编辑的模型存在逻辑结构不正确、元素属性不合法。
技术实现思路
为了解决
技术介绍
中的问题，本专利技术了提供了能够全面的对模型进行检查分析，系统实时将检查分析结果反馈给用户，便于用户检查配置错误，从而确保配置模型数据的正确性的基于数据配置工具的模型验证分析方法。本专利技术的具体技术方案是:本专利技术提出了，其特征在于，包括以下步骤:1)创建数据配置工具；所述数据配置工具包括导入导出模块、模型编辑模块、数据检查和验证模块以及数据生成模块；所述导入导出模块用于创建模型和模型数据的导出；所述模型编辑模块对新建模型进行元素配置；元素包括元素逻辑、分区、端口通道、故障过滤表、资源部署以及健康监控表；元素配置的动作包括增加、删除、修改、查看；所述数据检查和验证模块用于对创建的模型进行检查和验证；所述数据生成模块将配置完成的模型转化为二进制格式的数据；2)采用导入导出模块新建模型；3)采用模型编辑模块对新建模型进行元素配置；4)采用数据检查和验证模块对模型元素进行检查;若检查通过，则进行步骤5，若检查不通过，则进行步骤3);所述检查包括对导入已有项目进行检查以及对模型的元素配置过程进行检查；5)采用数据检查和验证模块对模型元素进行验证;若验证通过，则进行步骤6，若验证不通过，则进行步骤3);所述验证包括自上而下依次对模型框架结构、模型元素逻辑关系、模型元素间引用存在性进行验证。6)将检查和验证通过的模型转化为二进制格式的数据。上述导入导出模块新建模型包括新建模板项目以及导入已有项目。本专利技术的优点在于:1、本专利技术的方法是采用建模过程中检查与建模完成后整体分析相结合的方式，全面的对模型进行检查、验证，确保数据正确性。2、本专利技术的方法通过定义模型元素属性(类型、大小、长度、范围、缺省等)，模型元素内部关系(层级嵌套、父子关系、引用等)，模型元素间关系(引用、关联)。按照已定义的规则设计检查分析机制，在系统建模过程中与建模完成后进行数据分析检查，从而确保模型数据全局元素逻辑关系一致，局部元素数据属性正确，为系统数据配置软件建立数据模型的提尚了正确性和稳定性。【附图说明】图1本专利技术方法的系统流程图。【具体实施方式】本专利技术提出了，其特征在于，包括以下步骤:1)创建数据配置工具；数据配置工具包括导入导出模块、模型编辑模块、数据检查和验证模块以及数据生成模块；配置工具检查分析数据模型工作具体步骤:1.启动配置工具，新建项目。新建项目有两种方式:一种是使用工具提供模板创建模板项目，另一种是导入已有项目，在已有项目基础上配置模型。新建项目过程中，系统对构建模型源文件进行构建分析，通过检查分析构建项目成功，否则报告源文件错误原因。2.用户对构建的模型项目进行编辑。操作包括:增加、删除、修改、查看模型元素。增加，即创建新节点元素，系统为每一类模型节点定义了名字长度、类型、范围要求等。如果符合规则进行创建，不满足规则提示错误原因。修改，即对已有配置属性重新定义，系统为模型节点元素的属性做了限制，每个键对应的值，都有特定的类型(enum、int、float、double、reference)等，用户对属性进行编辑操作，符合规则的操作直接保存，不满足规则提示错误原因。其中，导入导出模块用于创建模型和模型数据的导出；其中，模型编辑模块对新建模型进行元素配置;元素包括元素逻辑、分区、端口通道、故障过滤表、资源部署以及健康监控表;元素配置的动作包括增加、删除、修改、查看；其中，数据检查和验证模块用于对创建的模型进行检查和验证；其中，数据生成模块将配置完成的模型转化为二进制格式的数据；2)采用导入导出模块新建模型；3)采用模型编辑模块对新建模型进行元素配置；4)采用数据检查和验证模块对模型元素进行检查;若检查通过，则进行步骤5，若检查不通过，则进行步骤3);所述检查包括对导入已有项目进行检查以及对模型的元素配置过程进行检查；5)采用数据检查和验证模块对模型元素进行验证;若验证通过，则进行步骤6，若验证不通过，则进行步骤3);验证包括自上而下依次对模型框架结构、模型元素逻辑关系、模型元素间引用存在性进行验证。具体是:配置工具对用户编辑完成的项目进行引用存在性验证。自上而下，依次分析模型框架结构、上下级逻辑关系、元素间引用存在性验证。模型分析扩展点声明IVal idate接口，主要包含val i date (I Ob ject) throws ValidateExcept1n方法；该扩展点使用模板方法模式实现，为步骤类似的验证行为在analyze中设计验证框架。扩展出的验证工具实现该扩展点和IVal idate接口。设计Val idateFactory类，提供单例模式的访问接口，遍历所有扩展调用实现IValidate的数据生成实体类。对所有存在引用的配置项进行存在性验证。配置项包括:逻辑配置验证、分区存在性验证、端口通道验证、故障过滤表存在性验证、资源部署存在性验证、健康监控表存在性验证。6)将检查和验证通过的模型转化为二进制格式的数据。词语解释:l、XML Schema:XML文件格式定义文件2、InputDialog:新建输入对话框定义类3、ValueValidator:新建输入检查器 4、Properties:属性视图编辑器，用于显示视图中选中元素的属性值 5、IValidate:自定义eel ipse插件扩展点，验证类通过实现该接口定义val idate方法，对元素模型进行存在性进行分析验证。6、ValidateFactory:自定义Validate工厂类。【主权项】1.，其特征在于，包括以下步骤: 1)创建数据配置工具； 所述数据配置工具包括导入导出模块、模型编辑模块、数据检查和验证模块以及数据生成模块； 所述导入导出模块用于创建模型和模型数据的导出； 所述模型编辑模块对新建模型进行元素配置； 元素包括元素逻辑、分区、端口通道、故障过滤表、资源部署以及健康监控表； 元素配置的动作包括增加、删除、修改、查看； 所述数据检查和验证模块用于对创建的模型进行检查和验证； 所述数据生成模块将配置完成的模型转化为二进制格式的数据； 2)采用导入导出模块新建模型； 3)采用模型编辑模块对新建模型进行元素配置； 4)采用数据检查和验证本文档来自技高网...

【技术保护点】
一种基于数据配置工具的模型验证分析方法，其特征在于，包括以下步骤：1)创建数据配置工具；所述数据配置工具包括导入导出模块、模型编辑模块、数据检查和验证模块以及数据生成模块；所述导入导出模块用于创建模型和模型数据的导出；所述模型编辑模块对新建模型进行元素配置；元素包括元素逻辑、分区、端口通道、故障过滤表、资源部署以及健康监控表；元素配置的动作包括增加、删除、修改、查看；所述数据检查和验证模块用于对创建的模型进行检查和验证；所述数据生成模块将配置完成的模型转化为二进制格式的数据；2)采用导入导出模块新建模型；3)采用模型编辑模块对新建模型进行元素配置；4)采用数据检查和验证模块对模型元素进行检查；若检查通过，则进行步骤5，若检查不通过，则进行步骤3)；所述检查包括对导入已有项目进行检查以及对模型的元素配置过程进行检查；5)采用数据检查和验证模块对模型元素进行验证；若验证通过，则进行步骤6，若验证不通过，则进行步骤3)；所述验证包括自上而下依次对模型框架结构、模型元素逻辑关系、模型元素间引用存在性进行验证；6)将检查和验证通过的模型转化为二进制格式的数据。

【技术特征摘要】

【专利技术属性】
技术研发人员：高原，田丹，张旻，叶宏，李运喜，胡宁，
申请(专利权)人：中国航空工业集团公司西安航空计算技术研究所，
类型：发明
国别省市：陕西;61