CN105446883B - 一种基于数据配置工具的模型验证分析方法 - Google Patents

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

Info

Publication number
CN105446883B
CN105446883B CN201510902224.6A CN201510902224A CN105446883B CN 105446883 B CN105446883 B CN 105446883B CN 201510902224 A CN201510902224 A CN 201510902224A CN 105446883 B CN105446883 B CN 105446883B
Authority
CN
China
Prior art keywords
model
data
module
inspection
verified
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201510902224.6A
Other languages
English (en)
Other versions
CN105446883A (zh
Inventor
高原
田丹
张旻
叶宏
李运喜
胡宁
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Xian Aeronautics Computing Technique Research Institute of AVIC
Original Assignee
Xian Aeronautics Computing Technique Research Institute of AVIC
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Xian Aeronautics Computing Technique Research Institute of AVIC filed Critical Xian Aeronautics Computing Technique Research Institute of AVIC
Priority to CN201510902224.6A priority Critical patent/CN105446883B/zh
Publication of CN105446883A publication Critical patent/CN105446883A/zh
Application granted granted Critical
Publication of CN105446883B publication Critical patent/CN105446883B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3696—Methods or tools to render software testable

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Stored Programmes (AREA)

Abstract

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

Description

一种基于数据配置工具的模型验证分析方法
技术领域
本发明属于计算机系统软件专业技术领域，具体涉及一种基于数据配置工具的模型验证分析方法。
背景技术
在综合化航电装备系统中，运行管理软件负责管理和控制系统。系统配置数据是控制系统运行行为的数据，作为运行管理软件的输入源，它配置和描述了应用任务、消息通信、系统控制、故障处理等所有必要的配置信息和状态机信息。运行管理软件根据运行时配置数据中的配置，执行系统的初始化、配置、后续重构以及最终的关闭。
由于综合化航电系统具有功能模块数量多，状态变换多，通信频繁，通信数据量大等的特点，手工配置系统配置数据文件方式暴露出生产效率慢、极易出错、定位错误困难、修改难度大，以及不利于统计、分析和验证等缺点，不能满足项目要求。
目前该领域尚无找到相关的成熟理论方法或产品。针对上述问题，开发了系统数据配置工具。用户与工具的用户界面进行交互，使用鼠标、键盘编辑模型，完成编辑后生成系统配置数据。然而，由于数据元素属性多、类型广，元素内部及元素间存在层级嵌套、逻辑引用等关系，可能导致用户配置编辑的模型存在逻辑结构不正确、元素属性不合法。
发明内容
为了解决背景技术中的问题，本发明了提供了能够全面的对模型进行检查分析，系统实时将检查分析结果反馈给用户，便于用户检查配置错误，从而确保配置模型数据的正确性的基于数据配置工具的模型验证分析方法。
本发明的具体技术方案是：
本发明提出了一种基于数据配置工具的模型验证分析方法，其特征在于，包括以下步骤：
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)；
验证包括自上而下依次对模型框架结构、模型元素逻辑关系、模型元素间引用存在性进行验证。
具体是：配置工具对用户编辑完成的项目进行引用存在性验证。自上而下，依次分析模型框架结构、上下级逻辑关系、元素间引用存在性验证。模型分析扩展点声明IValidate接口,主要包含validate(IObject)throws ValidateException方法；该扩展点使用模板方法模式实现，为步骤类似的验证行为在analyze中设计验证框架。扩展出的验证工具实现该扩展点和IValidate接口。设计ValidateFactory类，提供单例模式的访问接口，遍历所有扩展调用实现IValidate的数据生成实体类。对所有存在引用的配置项进行存在性验证。配置项包括：逻辑配置验证、分区存在性验证、端口通道验证、故障过滤表存在性验证、资源部署存在性验证、健康监控表存在性验证。
6)将检查和验证通过的模型转化为二进制格式的数据。
词语解释：
1、XML Schema：XML文件格式定义文件
2、InputDialog：新建输入对话框定义类
3、ValueValidator：新建输入检查器
4、Properties：属性视图编辑器，用于显示视图中选中元素的属性值
5、IValidate：自定义eclipse插件扩展点，验证类通过实现该接口定义validate方法，对元素模型进行存在性进行分析验证。
6、ValidateFactory：自定义Validate工厂类。

Claims (1)

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

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201510902224.6A CN105446883B (zh) 2015-12-08 2015-12-08 一种基于数据配置工具的模型验证分析方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201510902224.6A CN105446883B (zh) 2015-12-08 2015-12-08 一种基于数据配置工具的模型验证分析方法

Publications (2)

Publication Number Publication Date
CN105446883A CN105446883A (zh) 2016-03-30
CN105446883B true CN105446883B (zh) 2018-05-08

Family

ID=55557112

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201510902224.6A Active CN105446883B (zh) 2015-12-08 2015-12-08 一种基于数据配置工具的模型验证分析方法

Country Status (1)

Country Link
CN (1) CN105446883B (zh)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110312990A (zh) * 2016-09-30 2019-10-08 深圳市华傲数据技术有限公司 配置方法及系统
CN110276443B (zh) * 2019-05-29 2024-07-05 平安科技（深圳）有限公司 模型转换一致性验证及分析方法、装置及存储介质
CN111782493A (zh) * 2020-06-10 2020-10-16 上海华力集成电路制造有限公司 用于mes的建模数据验证的建模辅助系统和方法

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101373493A (zh) * 2008-09-22 2009-02-25 浪潮电子信息产业股份有限公司 一种多媒体存储网关专用soc芯片逻辑验证方法
CN101377794A (zh) * 2008-09-22 2009-03-04 浪潮电子信息产业股份有限公司 一种金融税控soc芯片逻辑验证系统

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7587704B2 (en) * 2005-09-09 2009-09-08 Brion Technologies, Inc. System and method for mask verification using an individual mask error model

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101373493A (zh) * 2008-09-22 2009-02-25 浪潮电子信息产业股份有限公司 一种多媒体存储网关专用soc芯片逻辑验证方法
CN101377794A (zh) * 2008-09-22 2009-03-04 浪潮电子信息产业股份有限公司 一种金融税控soc芯片逻辑验证系统

Also Published As

Publication number Publication date
CN105446883A (zh) 2016-03-30

Similar Documents

Publication Publication Date Title
CN103336742B (zh) 一种基于Android的自动化软件黑盒测试系统及方法
US9501596B2 (en) Graphical design verification environment generator
CN104391934B (zh) 数据校验方法和装置
CN101888655B (zh) 网管系统中以模板方式配置网元数据的方法及装置
CN104991863B (zh) 一种基于功能块图测试模型自动生成测试用例的方法
CN104978411B (zh) 一种高速列车的车型开发方法和装置
CN105446883B (zh) 一种基于数据配置工具的模型验证分析方法
CN107273117A (zh) 一种编程友好型的敏捷代码自动生成系统
CN105608254A (zh) 一种面向智能硬件系统开发的自动化设计方法和平台
CN107291450A (zh) 一种编程友好型的敏捷代码自动生成方法
CN106406890A (zh) 一种利用多语言建立机器人模块的方法
CN103970872B (zh) 基于业务口径的多层级数据处理方法
CN104407576A (zh) 一种通用型的生产制造单元的实现方法及控制系统
CN105930344B (zh) 一种基于产品研制流程的数据库应用系统快速开发平台
CN102135936A (zh) 生成测试用例的方法以及系统
CN103530134B (zh) 一种可配置软件平台结构
CN104750887A (zh) 一种模板化产生参数化单元的方法
CN109960492A (zh) 一种基于qt平台的检测系统及其使用方法
CN107944183A (zh) Fpga顶层网表的创建方法、装置、计算机设备及介质
CN102591779B (zh) 基于工作流的通用软件测试过程模型的建立方法
CN104615438B (zh) 一种软件产品线的特征切片模型检测方法
CN102346799A (zh) 柔性印刷电路板的设计方法
CN109683865A (zh) 动车组车载控制软件生成系统及方法
CN108132802B (zh) 一种配置模型在系统开发中的应用方法
CN110321596A (zh) 一种基于有限元分析的机车车辆结构仿真方法

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant