CN107562808A - 一种异构双链自动化数据的验证方法 - Google Patents
一种异构双链自动化数据的验证方法 Download PDFInfo
- Publication number
- CN107562808A CN107562808A CN201710681054.2A CN201710681054A CN107562808A CN 107562808 A CN107562808 A CN 107562808A CN 201710681054 A CN201710681054 A CN 201710681054A CN 107562808 A CN107562808 A CN 107562808A
- Authority
- CN
- China
- Prior art keywords
- calculation
- formula
- data
- initial data
- sample initial
- 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.)
- Granted
Links
Abstract
本发明提供了一种异构双链自动化数据的验证方法,属于验证领域,包括:获取计算模板格式和设计文档内容,确定计算模板公式;对计算模板公式进行验证,得到验证结果;将样本原始数据添加到计算模板公式,得到配置结果,构建配置数据文件;根据设计文档内容和计算模板格式,获取验证公式;将样本原始数据导入验证公式,得到验证公式结果,结合配置数据文件,生成二次验证结果。通过计算模板公式对样本原始数据进行计算与验证,得到配置数据文件,通过验证公式对配置数据文件进行验证,进而判定了配置数据文件的准确性,以及在验证过程中能对出现错误的具体位置进行定位的问题,借助上述双重验证的方式,提高了配置数据文件的可用性。
Description
技术领域
本发明属于验证领域,特别涉及一种异构双链自动化数据的验证方法。
背景技术
配置数据文件是信号系统的一部分,配置数据文件的安全性与准确性直接影响信号系统的行为。
目前,工作人员根据设计文档和原始数据进行人工计算与验证,生成配置数据文件,由于配置数据文件是通过人工计算与验证得到的,因此,得到的配置数据文件内容容易出错,即使在验证过程中发现问题时也无法对出现错误的具体位置进行定位,降低了配置数据文件的可用性。
发明内容
为了解决现有技术中存在的缺点和不足,本发明提供了对计算模板公式和基于计算模板公式得到的配置数据文件进行双重验证的异构双链自动化数据的验证方法,通过双重验证的方式,提高了配置数据文件的可用性。
为了达到上述技术目的,本发明提供了一种异构双链自动化数据的验证方法,所述验证方法包括:
步骤一:确定用于生成配置数据的计算模板格式,结合设计文档内容,确定计算模板公式;
步骤二:对计算模板公式与设计文档内容的一致性进行验证,得到验证结果,基于验证结果生成验证报告;
步骤三:获取特定项目的样本原始数据,对样本原始数据进行验证,将验证通过后的样本原始数据按计算模板格式添加到计算模板公式,根据计算模板公式得到配置结果,基于配置结果以及样本原始数据构建配置数据文件;
步骤四:根据设计文档内容和计算模板格式,获取验证公式;
步骤五:将样本原始数据导入验证公式,得到验证公式结果,结合配置数据文件,生成二次验证结果。
可选的,所述设计文档内容包括信号系统的系统参数以及计算方式。
可选的,所述验证方法,还包括:
步骤六:如果验证公式结果与配置结果不完全一致时,重复执行步骤二至步骤五;
直至二次验证结果表明验证公式结果与配置结果一致时,结束验证;或
步骤七:如果验证公式结果与配置结果一致时,结束验证。
可选的,所述对计算模板公式与设计文档内容的一致性进行验证,包括:
提取设计文档内容,将系数参数的计算方式与计算模板公式进行比对;
如果比对结果表明计算方式与计算模板公式一致时,结束一致性验证;
如果比对结果表明计算方式与计算模板公式不完全一致时,重复执行步骤一;
直至计算方式与计算模板公式结果一致时,结束一致性验证。
可选的,所述获取特定项目的样本原始数据,对样本原始数据进行验证,包括:
步骤八:根据业主方或设计方提供的初始数据,选取特定项目的样本原始数据;
将样本原始数据与初始数据进行对比;
当样本原始数据与初始数据完全一致时,表明样本原始数据通过验证;或
步骤九:当样本原始数据与初始数据不完全一致时,重复执行步骤八;
直至样本原始数据与初始数据完全一致时,结束对比验证。
可选的,所述计算模板为Excel模板。
本发明提供的技术方案带来的有益效果是:
通过计算模板公式对样本原始数据进行计算与验证,得到配置数据文件,通过验证公式对配置数据文件进行验证,进而判定了配置数据文件的准确性,以及在验证过程中能对出现错误的具体位置进行定位的问题,借助上述双重验证的方式,提高了配置数据文件的可用性。
附图说明
为了更清楚地说明本发明的技术方案,下面将对实施例描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1是本发明提供的一种异构双链自动化数据的验证方法的流程示意图。
具体实施方式
为使本发明的结构和优点更加清楚,下面将结合附图对本发明的结构作进一步地描述。
实施例一
本发明提供了一种异构双链自动化数据的验证方法,如图1所示,所述验证方法包括:
步骤一:确定用于生成配置数据的计算模板格式,结合设计文档内容,确定计算模板公式;
步骤二:对计算模板公式与设计文档内容的一致性进行验证,得到验证结果,基于验证结果生成验证报告;
步骤三:获取特定项目的样本原始数据,对样本原始数据进行验证,将验证通过后的样本原始数据按计算模板格式添加到计算模板公式,根据计算模板公式得到配置结果,基于配置结果以及样本原始数据构建配置数据文件;
步骤四:根据设计文档内容和计算模板格式,获取验证公式;
步骤五:将样本原始数据导入验证公式,得到验证公式结果,结合配置数据文件,生成二次验证结果。
在实施中,基于计算模板基础上,确定用于生成配置数据的计算模板格式,结合设计文档内容,从而得到计算模板公式,通过将样本原始数据套入计算模板公式,令计算模板依据计算模板公式对样本原始数据进行自动化计算,进而避免了工作人员参与计算过程,一方面减少了工作人员的工作量;另一方面可以对出现错误位置进行定位,可以帮助工作人员快速发现问题,提高了工作效率。
为了保证计算模板公式的准确性,将计算模板公式与设计文档内容的一致性进行验证,如果一致性验证没有通过后,重复执行步骤一的内容,直到一致性验证通过后,得到表明通过一致性验证的验证结果,根据验证结果判定计算模板公式准确性,以及基于验证结果生成验证报告,作为一链验证。
由于配置数据文件是通过对样本原始数据进行计算与验证得到的,为了可以得到更准确的配置数据文件,需要对样本原始数据进行验证,确定样本原始数据无误后,将样本原始数据作为输入数据,并按计算模板格式套入计算模板公式,根据计算模板公式得到配置结果,根据配置结果、计算模板公式以及样本原始数据构建成配置数据文件。
为了进一步地确保配置数据文件的准确性以及安全性,还需要通过验证公式对配置数据文件进行验证,同样根据设计文档以及计算模板的格式,得到验证公式,其中,验证公式原理与上述计算模板公式原理是一样的。将样本原始数据导入验证公式,通过验证代码得到验证公式结果,将验证公式结果与配置结果进行对比,生成二次验证结果,作为二链验证。根据二次验证结果一方面判定了计算模板公式的准确性,另一方面判定了配置数据文件的准确性,借助上述双重验证的方式,从而提高了配置数据的可用性。
可选的,所述设计文档内容包括信号系统的系统参数以及计算方式。
在实施中,设计文档内容包括信号系统的系统参数以及计算方式,其中,系统参数包括系统通用参数和系统特定参数,根据系统通用参数、系统特定参数和计算方式获得计算模板公式,再将得到的计算模板公式与系统参数以及计算方式进行一致性验证,通过验证结果判定计算模板公式的准确性。
可选的,所述验证方法,还包括:
步骤六:如果验证公式结果与配置结果不完全一致时,重复执行步骤二至步骤五;
直至二次验证结果表明验证公式结果与配置结果一致时,结束验证;或
步骤七:如果验证公式结果与配置结果一致时,结束验证。
在实施中,根据上述可知,计算模板公式根据系统通用参数、系统特定参数和计算方式得到的,以计算模板公式为c=a+b为例,其中,c为系统通用参数,a、b为系统特定参数,假如样本原始数据为具体数值1、2,将样本原始数据分别代入系统特定参数a、b,根据计算模板公式得到配置结果,即配置结果为系统通用参数c等于3。将样本原始数据导入验证公式,通过验证公式得到验证公式结果,即验证公式结果为系统通用参数c等于3,说明验证公式与配置结果一致,结束验证。
同样,以计算模板公式为c=a+b为例,如果得到的配置结果为系统通用参数c等于3,而验证公式结果为系统通用参数c等于2,说明验证公式结果与配置结果不完全一致时,重复执行步骤二至步骤五的内容,并且对出现错误的具体位置进行定位,从而帮助工作人员快速判定出是验证公式还是计算模板公式存在问题,并对存在问题的内容进行修改。
通过上述双重验证方法,一方面验证了计算模板公式的正确性,另一方面通过验证公式,将验证公式结果与配置结果进行比较,从而保证配置数据文件的准确性以及安全性。
可选的,所述对计算模板公式与设计文档内容的一致性进行验证,包括:
提取设计文档内容,将系数参数的计算方式与计算模板公式进行比对;
如果比对结果表明计算方式与计算模板公式一致时,结束一致性验证;
如果比对结果表明计算方式与计算模板公式不完全一致时,重复执行步骤一;
直至计算方式与计算模板公式结果一致时,结束一致性验证。
在实施中,根据上述可知,设计文档内容包括信号系统的系统通用参数、系统特定参数以及计算方式,以计算模板公式为c=a-b为例,当从设计文档内容提取系统通用参数c以及系统特定参数a、b,计算方式为系统特定参数a与b的差值等于系统通用参数c,而计算模板公式为c=a-b,通过将计算方式与计算模板公式进行比对,比对结果表明计算模板公式与计算方式是一致的,结束一致性验证。
同样,以计算模板公式为c=a-b为例,当从设计文档内容提取系统通用参数c以及系统特定参数a、b,计算方式为系统特定参数a与b之和等于系统通用参数c,而计算模板公式为c=a-b,通过将计算方式与计算模板公式进行比对,比对结果表明计算模板公式与计算方式不一致的,重复执行步骤一的内容,重新确定计算模板公式;
重新提取系统通用参数c以及系统特定参数a、b,计算方式为系统特定参数a与b之和等于系统通用参数c,而重新确定后的计算模板公式为c=a×b,将计算模板公式与计算方式进行比对,比对结果表明计算模板公式与计算方式是不完全一致的,重复执行步骤一的内容,再次确定计算模板公式;
重新提取系统通用参数c以及系统特定参数a、b,计算方式为系统特定参数a与b之和等于系统通用参数c,而再次确定后的计算模板公式为c=a+b,将计算模板公式与计算方式进行比对,比对结果表明计算模板公式与计算方式是一致的,则结束一致性验证。通过对计算模板公式进行一致性验证,从而提高了计算模板公式的准确性。
可选的,所述获取特定项目的样本原始数据,对样本原始数据进行验证,包括:
步骤八:根据业主方或设计方提供的初始数据,选取特定项目的样本原始数据;
将样本原始数据与初始数据进行对比;
当样本原始数据与初始数据完全一致时,表明样本原始数据通过验证;或
步骤九:当样本原始数据与初始数据不完全一致时,重复执行步骤八;
直至样本原始数据与初始数据完全一致时,结束对比验证。
在实施中,当业主方或设计方提供的初始数据为系统特定参数a、d,根据初始数据选取样本原始数据,假如选取到的样本原始数据为系数特定参数a、d,将样本原始数据与初始数据进行对比,对比结果表明样本原始数据与初始数据完全一致时,确定样本原始数据无误。
当业主方或设计方提供的初始数据为系统特定参数a、d,根据初始数据选取样本原始数据,假如选取到的样本原始数据为系数特定参数a、c,将样本原始数据与初始数据进行对比,对比结果表明样本原始数据与初始数据不一致时,确定样本原始数据是有错误的,重新从初始数据选取样本原始数据,假如选取到的样本原始数据包括系数特定参数a、d,将样本原始数据与初始数据进行对比,对比结果表明样本原始数据与初始数据一致时,则样本原始数据通过对比验证,表明样本原始数据正确的。在确定样本原始数据是正确的前提下,才执行对样本原始数据进行双重验证,避免了因样本原始数据出错而导致生成错误的配置数据文件,从而使得在整个验证过程中耗时长,效率低。
可选的,所述计算模板为Excel模板。
在实施中,计算模板包括诸多类型,典型的使用为Excel模板,Excel模板可以自定义模板的格式,比如设定工资表,物价表,班级成绩表等,Excel模板还提供了很多张非常大的空白工作表,满足大数据处理的业务需求,并且Excel模板使用起来非常方便,通常情况下,Excel模板通过使用公式和函数自动对数据进行复杂运算,避免了工作人员参与计算过程。进而减少了工作人员的工作量,提高了工作效率。
本发明提供了一种异构双链自动化数据的验证方法,包括:获取计算模板格式和设计文档内容,确定计算模板公式;对计算模板公式进行验证,得到验证结果;将样本原始数据添加到计算模板公式,得到配置结果,基于配置结果以及样本原始数据构建配置数据文件;根据设计文档内容和计算模板格式,获取验证公式;将样本原始数据导入验证公式,得到验证公式结果,结合配置数据文件,生成二次验证结果。通过计算模板公式对样本原始数据进行计算与验证,得到配置数据文件,通过验证公式对配置数据文件进行验证,进而判定了配置数据文件的准确性,以及在验证过程中能对出现错误的具体位置进行定位的问题,借助上述双重验证的方式,提高了配置数据文件的可用性。
上述实施例中的各个序号仅仅为了描述,不代表各部件的组装或使用过程中的先后顺序。
以上所述仅为本发明的实施例,并不用以限制本发明,凡在本发明的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本发明的保护范围之内。
Claims (6)
1.一种异构双链自动化数据的验证方法,其特征在于,所述验证方法包括:
步骤一:确定用于生成配置数据的计算模板格式,结合设计文档内容,确定计算模板公式;
步骤二:对计算模板公式与设计文档内容的一致性进行验证,得到验证结果,基于验证结果生成验证报告;
步骤三:获取特定项目的样本原始数据,对样本原始数据进行验证,将验证通过后的样本原始数据按计算模板格式添加到计算模板公式,根据计算模板公式得到配置结果,基于配置结果以及样本原始数据构建配置数据文件;
步骤四:根据设计文档内容和计算模板格式,获取验证公式;
步骤五:将样本原始数据导入验证公式,得到验证公式结果,结合配置数据文件,生成二次验证结果。
2.根据权利要求1所述的一种异构双链自动化数据的验证方法,其特征在于,所述设计文档内容包括信号系统的系统参数以及计算方式。
3.根据权利要求1所述的一种异构双链自动化数据的验证方法,其特征在于,所述验证方法,还包括:
步骤六:如果验证公式结果与配置结果不完全一致时,重复执行步骤二至步骤五;
直至二次验证结果表明验证公式结果与配置结果一致时,结束验证;或
步骤七:如果验证公式结果与配置结果一致时,结束验证。
4.根据权利要求2所述的一种异构双链自动化数据的验证方法,其特征在于,所述对计算模板公式与设计文档内容的一致性进行验证,包括:
提取设计文档内容,将系数参数的计算方式与计算模板公式进行比对;
如果比对结果表明计算方式与计算模板公式一致时,结束一致性验证;
如果比对结果表明计算方式与计算模板公式不完全一致时,重复执行步骤一;
直至计算方式与计算模板公式结果一致时,结束一致性验证。
5.根据权利要求1所述的一种异构双链自动化数据的验证方法,其特征在于,所述获取特定项目的样本原始数据,对样本原始数据进行验证,包括:
步骤八:根据业主方或设计方提供的初始数据,选取特定项目的样本原始数据;
将样本原始数据与初始数据进行对比;
当样本原始数据与初始数据完全一致时,表明样本原始数据通过验证;或
步骤九:当样本原始数据与初始数据不完全一致时,重复执行步骤八;
直至样本原始数据与初始数据完全一致时,结束对比验证。
6.根据权利要求1至5任一项所述的一种异构双链自动化数据的验证方法,其特征在于,所述计算模板为Excel模板。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710681054.2A CN107562808B (zh) | 2017-08-10 | 2017-08-10 | 一种异构双链自动化数据的验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710681054.2A CN107562808B (zh) | 2017-08-10 | 2017-08-10 | 一种异构双链自动化数据的验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107562808A true CN107562808A (zh) | 2018-01-09 |
CN107562808B CN107562808B (zh) | 2021-03-05 |
Family
ID=60975203
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710681054.2A Active CN107562808B (zh) | 2017-08-10 | 2017-08-10 | 一种异构双链自动化数据的验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107562808B (zh) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110851861A (zh) * | 2019-10-31 | 2020-02-28 | 卡斯柯信号有限公司 | 用于辅助atc车载安全数据验证及验证报告自动生成的方法 |
CN111274158A (zh) * | 2020-02-27 | 2020-06-12 | 北京首汽智行科技有限公司 | 一种数据验证方法 |
CN113689192A (zh) * | 2021-08-24 | 2021-11-23 | 卡斯柯信号有限公司 | 一种基于通信的列车控制系统数据生成方法 |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101477518A (zh) * | 2009-01-09 | 2009-07-08 | 昆明理工大学 | 基于条件随机场的旅游领域命名实体识别方法 |
CN102164045A (zh) * | 2010-02-20 | 2011-08-24 | 微软公司 | 参数化的计算机监视系统 |
US20120054713A1 (en) * | 2010-08-24 | 2012-03-01 | International Business Machines Corporation | Method for Generating Specifications of Static Test |
CN102509156A (zh) * | 2011-09-24 | 2012-06-20 | 华东电网有限公司 | 数据校验核心控制引擎技术 |
CN106547726A (zh) * | 2015-09-16 | 2017-03-29 | 中国航空工业第六八研究所 | 一种基于文档的自动化审查方法及审查装置 |
CN106776515A (zh) * | 2016-12-16 | 2017-05-31 | 刘立 | 数据处理的方法及装置 |
CN107016096A (zh) * | 2017-04-07 | 2017-08-04 | 北京六古广告传媒有限责任公司 | 一种数据导入系统及基于该系统的数据导入方法 |
-
2017
- 2017-08-10 CN CN201710681054.2A patent/CN107562808B/zh active Active
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101477518A (zh) * | 2009-01-09 | 2009-07-08 | 昆明理工大学 | 基于条件随机场的旅游领域命名实体识别方法 |
CN102164045A (zh) * | 2010-02-20 | 2011-08-24 | 微软公司 | 参数化的计算机监视系统 |
US20120054713A1 (en) * | 2010-08-24 | 2012-03-01 | International Business Machines Corporation | Method for Generating Specifications of Static Test |
CN102509156A (zh) * | 2011-09-24 | 2012-06-20 | 华东电网有限公司 | 数据校验核心控制引擎技术 |
CN106547726A (zh) * | 2015-09-16 | 2017-03-29 | 中国航空工业第六八研究所 | 一种基于文档的自动化审查方法及审查装置 |
CN106776515A (zh) * | 2016-12-16 | 2017-05-31 | 刘立 | 数据处理的方法及装置 |
CN107016096A (zh) * | 2017-04-07 | 2017-08-04 | 北京六古广告传媒有限责任公司 | 一种数据导入系统及基于该系统的数据导入方法 |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110851861A (zh) * | 2019-10-31 | 2020-02-28 | 卡斯柯信号有限公司 | 用于辅助atc车载安全数据验证及验证报告自动生成的方法 |
CN110851861B (zh) * | 2019-10-31 | 2022-10-04 | 卡斯柯信号有限公司 | 用于辅助atc车载安全数据验证及验证报告自动生成的方法 |
CN111274158A (zh) * | 2020-02-27 | 2020-06-12 | 北京首汽智行科技有限公司 | 一种数据验证方法 |
CN113689192A (zh) * | 2021-08-24 | 2021-11-23 | 卡斯柯信号有限公司 | 一种基于通信的列车控制系统数据生成方法 |
Also Published As
Publication number | Publication date |
---|---|
CN107562808B (zh) | 2021-03-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Carlson et al. | The NASA automated requirements measurement tool: a reconstruction | |
CN107562808A (zh) | 一种异构双链自动化数据的验证方法 | |
CN107678936B (zh) | 业务系统预先稽查方法、服务器及计算机可读存储介质 | |
CN104461765B (zh) | 基于版本校验的联锁系统数据准确性检测方法 | |
CN110069279B (zh) | 一种直流控制保护程序的校验方法、装置及存储介质 | |
CN103514092A (zh) | Atm机软件系统自动测试方法 | |
CN106095462A (zh) | 一种嵌入式分布式系统程序配置版本管理方法 | |
Breck et al. | Data infrastructure for machine learning | |
CN103440460A (zh) | 一种应用系统变更验证方法及验证系统 | |
Kothari et al. | Modeling lessons from verifying large software systems for safety and security | |
US20210286706A1 (en) | Graph-based method for inductive bug localization | |
CN110032513B (zh) | 一种数据校验的方法、装置及电子设备 | |
US11790249B1 (en) | Automatically evaluating application architecture through architecture-as-code | |
Raunak et al. | Definition and analysis of election processes | |
Adewumi et al. | Complexity metrics for cascading style sheets | |
Fernandes et al. | How clear is your code? An empirical study with programming challenges | |
CN113792052A (zh) | 数据模型处理方法及装置 | |
TW202101245A (zh) | 以專家系統查核輸入數據的方法 | |
CN105335290A (zh) | 一种软件安全测试方法 | |
Ghaisas et al. | Towards automating the security compliance value chain | |
CN106251476B (zh) | 一种钱箱容错的自助业务处理方法及系统 | |
US11526657B2 (en) | Method and apparatus for error correction of numerical contents in text, and storage medium | |
Isha | Software testing techniques and strategieg | |
CN106650396A (zh) | 一种验证方法及终端 | |
CN112035364B (zh) | 功能测试结果评估方法及装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |