CN104636241A - 基于需求建模的车载控制器日志数据自动分析方法 - Google Patents

基于需求建模的车载控制器日志数据自动分析方法 Download PDF

Info

Publication number
CN104636241A
CN104636241A CN201510028121.1A CN201510028121A CN104636241A CN 104636241 A CN104636241 A CN 104636241A CN 201510028121 A CN201510028121 A CN 201510028121A CN 104636241 A CN104636241 A CN 104636241A
Authority
CN
China
Prior art keywords
daily record
record data
model
log data
vehicle controller
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
Application number
CN201510028121.1A
Other languages
English (en)
Other versions
CN104636241B (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.)
Casco Signal Ltd
Original Assignee
Casco Signal Ltd
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 Casco Signal Ltd filed Critical Casco Signal Ltd
Priority to CN201510028121.1A priority Critical patent/CN104636241B/zh
Publication of CN104636241A publication Critical patent/CN104636241A/zh
Priority to HK15107607.3A priority patent/HK1207166A1/zh
Priority to HK15107600.0A priority patent/HK1207176A1/zh
Application granted granted Critical
Publication of CN104636241B publication Critical patent/CN104636241B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Abstract

本发明涉及一种基于需求建模的车载控制器日志数据自动分析方法,包括以下步骤:步骤S101,对产生日志数据的轨道交通车载控制器软件需求进行建模;步骤S102,加载日志数据分析时需要用到的配置文件;步骤S103,加载日志数据;步骤S104,根据步骤S101建立的模型以及步骤S102建立的变量映射表,在日志数据中识别出模型的输入输出参数,依照模型中输入输出间的逻辑、算术关系计算出预期的输出参数,并与日志中的实际输出参数分析比对;步骤S105,将分析结果进行记录、统计并用图表直观显示。与现有技术相比,本发明能对车载控制器软件每天产生的日志数据进行自动分析,满足高效性、便捷性以及直观性的要求。

Description

基于需求建模的车载控制器日志数据自动分析方法
技术领域
本发明涉及轨道交通领域,尤其是涉及一种基于需求建模的车载控制器日志数据自动分析方法。
背景技术
在轨道交通领域,车载控制器日志数据记录了车载控制器软件(ATP,ATO等)所有的工作状态的关键信息,是室内测试以及现场调试的重要数据来源和依据。因此,每天都会产生大量数据。目前,对于该日志的分析方式主要是通过人工依照需求规格说明书对每一周期数据中的每一个关键变量进行逐一分析检查。
随着运营时段的扩展、车载设备的增加,每天产生的日志数据的信息量面临进一步增加的可能。然而,现有人工检查的问题在于,进行完一轮完整的穷举分析,通常需要几个月的时间,而且一旦发现错误,则需要重新修改软件,再进行新一轮的调试、测试,这必将大大延长产品测试或是项目执行的工期。所以,如何实现一种方法,能解放测试人员、维护人员的人力,同时又能快速准确地对车载控制器软件产生的状态数据进行及时处理分析就变得越来越紧迫。
发明内容
本发明的目的就是为了克服上述现有技术存在的缺陷而提供一种基于需求建模的车载控制器日志数据自动分析方法,能对车载控制器软件每天产生的日志数据进行自动分析,满足高效性、便捷性以及直观性的要求。
本发明的目的可以通过以下技术方案来实现:
一种基于需求建模的车载控制器日志数据自动分析方法,其特征在于,包括以下步骤:
步骤S101,对产生日志数据的轨道交通车载控制器软件需求进行建模;轨道交通车载控制器软件属于高安全等级软件,要求软件需求精确规范,通常以形式化 或半形式化语言描述辅以自然语言,对需求建模后的模型是分析日志数据的依据;
步骤S102,加载日志数据分析时需要用到的配置文件,包括常量表、日志数格式定义文件和变量映射表;使用配置文件可以使本发明在不作变更的情况下,应用不同项目,满足不同项目的个性需求(调整配置文件)。
步骤S103,由于车载控制器日志数据量大,所以车载控制器软件采用特定策略对其压缩存储;加载日志数据,加载过程中先对其进行解压缩,再根据步骤S102得到的日志数据定义文件对解压后的日志数据以周期为单位进行解析;
步骤S104,根据步骤S101建立的模型以及步骤S102建立的变量映射表,在日志数据中识别出模型的输入输出参数,依照模型中输入输出间的逻辑、算术关系计算出预期的输出参数,并与日志中的实际输出参数分析比对;按上述过程,对每一周期的日志数据进行分析;
步骤S105,将分析结果进行记录、统计并用图表直观显示。
所述的步骤S101具体为:
步骤S1,加载以形式化或半形式化语言描述的需求文档,筛选出其中的形式化或半形式化需求;
步骤S2,对S1中筛选出的需求进行词法分析和语法分析;
步骤S3,判断词法分析和语法分析是否通过,通过的话则生成抽象语法树并进入步骤S4,如果没有通过,则返回到步骤S1重新加载需求文档;
步骤S4,将S3生成的抽象语法树转换为上下文无关语法树作为需求模型。
所述的步骤S102具体为:
步骤S7,加载常量表;
步骤S8,加载日志数据格式定义文件,车载控制器日志数据的输出信息由日志数据格式定义设定;
步骤S9,将S4生成模型的输入输出参数与S8中的日志数据格式定义关联,生成变量映射表。
所述的步骤S103具体为:
步骤S5,加载车载控制器日志数据文件,并进行解压缩,校验MD5码;
步骤S6,如果校验成功,则执行步骤S104;如果校验失败,则回到步骤S5。
所述的步骤S104具体为:
步骤S 10,根据步骤S4建立的模型以及步骤S9建立的变量映射表并结合步骤 S7加载的常量表,对解压校验后日志数据进行逐一周期的分析;根据变量映射表,从日志数据中辨识出模型的输入,计算模型后得出预期的输出,将预期输入与从日志数据中辨识出模型的输出比较分析,得到车载控制器软件每一个周期运行状态的分析结果。
所述的步骤S105具体为:
步骤S11,对步骤S10中每一周期的分析结果进行统计;对于室内测试,统计结果包括测试通过率、缺陷密度和需求的覆盖率;对于现场调试,统计结果包括现场问题发生的时间、对应设备的周期号、发生问题的软件模块、对应的需求以及计算出设备的平均无故障时间;
步骤S12,将步骤S11中的统计结果用图表的形式直观展现。
与现有技术相比,本发明具有以下优点:
1、第一次将计算机自动分析模型应用于轨道交通车载控制器日志数据分析中,用计算机全方面分析车载控制器软件运行状态。
2、上述方案将穷举分析变为可能,极大地节约了人力和时间,提高效率;
3、上述方案通过离线方式分析实时采集的日志数据,既不影响车载控制器软件的实时性能要求,又做到了对真实情况的还原分析
附图说明
图1为本发明的轨道交通车载控制器日志数据自动分析方法的流程图;
图2是本发明的轨道交通车载控制器日志数据自动分析方法的一具体实施例的流程图。
具体实施方式
下面结合附图和具体实施例对本发明进行详细说明。
请参阅图1和图2,用本发明的基于需求建模的轨道交通车载控制器日志数据自动分析方法分析轨道交通车载ATP软件运行两小时的日志数据为例,具体包括下列步骤:
步骤S101,对ATP软件需求进行建模(ATP软件需求采用半形式化语言描述),具体包括如下S1~S4步骤:
步骤S1,加载ATP软件需求文档,解析筛选出450条半形式化语言描述的需 求
步骤S2,对步骤S1筛选出的450条需求进行词法分析和语法分析
步骤S3,判断步骤S2中分析的结果,如果通过分析则生成抽象语法树并进入步骤S4,如果分析后发现问题则回到步骤S1重新加载ATP软件需求文档
步骤S4,将步骤S3生成的抽象语法树转换为上下文无关语法树作为ATP软件需求模型;
步骤S102,加载分析ATP软件日志数据需要用到的相关配置文件,具体包括如下S7~S9步骤:
步骤S7,加载常量表,在ATP需求中定义了与软件实现无关的常量,这些常量可以随不同项目需要而调整;
步骤S8,加载ATP软件日志数据的格式定义,该定义了日志数据每一帧的格式,包括帧的长度,每帧包含的变量个数,变量信息等;
步骤S9,将步骤S4生成的模型的输入输出参数与步骤S8加载的ATP软件日志格式定义中每一帧的变量相映射,形成映射表,表中包括565个映射关系;
步骤S103,加载一个运行了2小时的ATP软件日志数据,具体包括如下S5~S6步骤:
步骤S5,加载该日志数据,并解压缩,校验解压缩后的日志数据的MD5码
步骤S6,判断校验步骤S5中日志数据的MD5校验是否成功,如果校验成功,则进入下一步,否则,回到步骤S5,重新加载日志数据;
步骤S104,利用步骤S4生成的ATP软件需求模型分析校验的日志数据,具体包括如下S10步骤:
步骤S10,对包含72000周期关键变量信息的ATP软件日志数据(运行2小时)进行逐一周期的分析,首先根据步骤S9生成的映射关系表,从日志数据中辨识出ATP软件的输入变量信息,再根据步骤S4生成的模型计算预期输出,最后将预期输出与从日志数据中辨识出ATP软件的输出变量信息检查比对得到每周期每个关键变量的分析结果;
步骤S105,记录并统计2小时ATP软件运行状态的分析结果并用图表展现,具体包括如下S11~S 12步骤:
步骤S11,记录分析结果,统计发现问题次数,问题发生的时间,对应设备的周期号,发生问题的软件模块和对应的需求,并生成提示;
步骤S12,将步骤S11中的统计结果用图表的形式直观展现。
以上实施例仅供说明本发明之用,而非对本发明的限制,有关技术领域的技术人员,在不脱离本发明的精神和范围的情况下,还可以作出各种变化或变型,因此所有等同技术方案也应该属于本发明的范畴,应由各权利要求所限定。

Claims (6)

1.一种基于需求建模的车载控制器日志数据自动分析方法,其特征在于,包括以下步骤:
步骤S101,对产生日志数据的轨道交通车载控制器软件需求进行建模;
步骤S102,加载日志数据分析时需要用到的配置文件,包括常量表、日志数格式定义文件和变量映射表;
步骤S103,加载日志数据,加载过程中先对其进行解压缩,再根据步骤S102得到的日志数据定义文件对解压后的日志数据以周期为单位进行解析;
步骤S104,根据步骤S101建立的模型以及步骤S102建立的变量映射表,在日志数据中识别出模型的输入输出参数,依照模型中输入输出间的逻辑、算术关系计算出预期的输出参数,并与日志中的实际输出参数分析比对;
步骤S105,将分析结果进行记录、统计并用图表直观显示。
2.根据权利要求1所述的一种基于需求建模的车载控制器日志数据自动分析方法,其特征在于,所述的步骤S101具体为:
步骤S1,加载以形式化或半形式化语言描述的需求文档,筛选出其中的形式化或半形式化需求;
步骤S2,对S1中筛选出的需求进行词法分析和语法分析;
步骤S3,判断词法分析和语法分析是否通过,通过的话则生成抽象语法树并进入步骤S4,如果没有通过,则返回到步骤S1重新加载需求文档;
步骤S4,将S3生成的抽象语法树转换为上下文无关语法树作为需求模型。
3.根据权利要求2所述的一种基于需求建模的车载控制器日志数据自动分析方法,其特征在于,所述的步骤S102具体为:
步骤S7,加载常量表;
步骤S8,加载日志数据格式定义文件,车载控制器日志数据的输出信息由日志数据格式定义设定;
步骤S9,将S4生成模型的输入输出参数与S8中的日志数据格式定义关联,生成变量映射表。
4.根据权利要求3所述的一种基于需求建模的车载控制器日志数据自动分析方法,其特征在于,所述的步骤S103具体为:
步骤S5,加载车载控制器日志数据文件,并进行解压缩,校验MD5码;
步骤S6,如果校验成功,则执行步骤S104;如果校验失败,则回到步骤S5。
5.根据权利要求4所述的一种基于需求建模的车载控制器日志数据自动分析方法,其特征在于,所述的步骤S104具体为:
步骤S10,根据步骤S4建立的模型以及步骤S9建立的变量映射表并结合步骤S7加载的常量表,对解压校验后日志数据进行逐一周期的分析;根据变量映射表,从日志数据中辨识出模型的输入,计算模型后得出预期的输出,将预期输入与从日志数据中辨识出模型的输出比较分析,得到车载控制器软件每一个周期运行状态的分析结果。
6.根据权利要求5所述的一种基于需求建模的车载控制器日志数据自动分析方法,其特征在于,所述的步骤S105具体为:
步骤S11,对步骤S10中每一周期的分析结果进行统计;对于室内测试,统计结果包括测试通过率、缺陷密度和需求的覆盖率;对于现场调试,统计结果包括现场问题发生的时间、对应设备的周期号、发生问题的软件模块、对应的需求以及计算出设备的平均无故障时间;
步骤S12,将步骤S11中的统计结果用图表的形式直观展现。
CN201510028121.1A 2015-01-20 2015-01-20 基于需求建模的车载控制器日志数据自动分析方法 Active CN104636241B (zh)

Priority Applications (3)

Application Number Priority Date Filing Date Title
CN201510028121.1A CN104636241B (zh) 2015-01-20 2015-01-20 基于需求建模的车载控制器日志数据自动分析方法
HK15107607.3A HK1207166A1 (zh) 2015-01-20 2015-08-06 種基於健康度的車載控制器冗餘管理方法
HK15107600.0A HK1207176A1 (zh) 2015-01-20 2015-08-06 基於需求建模的車載控制器日誌數據自動分析方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201510028121.1A CN104636241B (zh) 2015-01-20 2015-01-20 基于需求建模的车载控制器日志数据自动分析方法

Publications (2)

Publication Number Publication Date
CN104636241A true CN104636241A (zh) 2015-05-20
CN104636241B CN104636241B (zh) 2018-01-19

Family

ID=53215026

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201510028121.1A Active CN104636241B (zh) 2015-01-20 2015-01-20 基于需求建模的车载控制器日志数据自动分析方法

Country Status (2)

Country Link
CN (1) CN104636241B (zh)
HK (2) HK1207166A1 (zh)

Cited By (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104850666A (zh) * 2015-06-15 2015-08-19 上海斐讯数据通信技术有限公司 一种日志文件自动分析方法
CN105787115A (zh) * 2016-03-23 2016-07-20 广州市高科通信技术股份有限公司 一种分析城市信号交通控制系统的方法和装置
CN105912469A (zh) * 2016-04-11 2016-08-31 卡斯柯信号有限公司 用于轨道交通车载控制器软件的测试脚本自动化检测方法
CN109271313A (zh) * 2018-08-13 2019-01-25 中国平安财产保险股份有限公司 代码测试方法、装置及计算机可读存储介质
CN109815131A (zh) * 2018-12-27 2019-05-28 卡斯柯信号有限公司 轨道交通车载软件半形式化需求用的静态检查系统及方法
CN113642307A (zh) * 2021-08-12 2021-11-12 卡斯柯信号有限公司 基于Python的轨道交通车载安全参数自动化验证方法和系统

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101119243A (zh) * 2007-09-12 2008-02-06 中兴通讯股份有限公司 日志的自动测试方法及自动测试系统
US20120143518A1 (en) * 2010-12-02 2012-06-07 Hyundai Motor Company Automatic evaluation system for vehicle devices using vehicle simulator
CN103905440A (zh) * 2014-03-28 2014-07-02 哈尔滨工程大学 一种基于日志和snmp信息融合的网络安全态势感知分析方法

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101119243A (zh) * 2007-09-12 2008-02-06 中兴通讯股份有限公司 日志的自动测试方法及自动测试系统
US20120143518A1 (en) * 2010-12-02 2012-06-07 Hyundai Motor Company Automatic evaluation system for vehicle devices using vehicle simulator
CN103905440A (zh) * 2014-03-28 2014-07-02 哈尔滨工程大学 一种基于日志和snmp信息融合的网络安全态势感知分析方法

Cited By (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104850666A (zh) * 2015-06-15 2015-08-19 上海斐讯数据通信技术有限公司 一种日志文件自动分析方法
CN105787115A (zh) * 2016-03-23 2016-07-20 广州市高科通信技术股份有限公司 一种分析城市信号交通控制系统的方法和装置
CN105912469A (zh) * 2016-04-11 2016-08-31 卡斯柯信号有限公司 用于轨道交通车载控制器软件的测试脚本自动化检测方法
CN105912469B (zh) * 2016-04-11 2019-01-08 卡斯柯信号有限公司 用于轨道交通车载控制器软件的测试脚本自动化检测方法
CN109271313A (zh) * 2018-08-13 2019-01-25 中国平安财产保险股份有限公司 代码测试方法、装置及计算机可读存储介质
CN109815131A (zh) * 2018-12-27 2019-05-28 卡斯柯信号有限公司 轨道交通车载软件半形式化需求用的静态检查系统及方法
CN113642307A (zh) * 2021-08-12 2021-11-12 卡斯柯信号有限公司 基于Python的轨道交通车载安全参数自动化验证方法和系统

Also Published As

Publication number Publication date
HK1207166A1 (zh) 2016-01-22
HK1207176A1 (zh) 2016-01-22
CN104636241B (zh) 2018-01-19

Similar Documents

Publication Publication Date Title
CN104636241A (zh) 基于需求建模的车载控制器日志数据自动分析方法
CN107844424B (zh) 基于模型的测试系统及方法
JP6116139B2 (ja) 解析データ用の直感的なコンテクストを作成するためのシステム及び方法
Abbas et al. Formal property verification in a conformance testing framework
CN109784758B (zh) 基于bim模型的工程质量监管预警系统和方法
CN109344056B (zh) 一种测试方法以及测试装置
CN110765639B (zh) 一种电气仿真建模方法、装置及可读存储介质
CN107394892B (zh) 一种智能变电站间隔变动的调试范围确定方法及系统
CN105373472B (zh) 一种基于数据库的统计准确性的测试方法及测试系统
CN103473672A (zh) 企业级数据中心的元数据质量稽核系统、方法及平台
CN104504122A (zh) 一种数据库迁移数据的验证方法及系统
CN103049431B (zh) 基于模型对象化语义的icd检验方法
CN103294877A (zh) 应用于煤矿安全评估的事故树图形数字化分析方法及工具
CN111459698A (zh) 一种数据库集群故障自愈方法及装置
CN106407112A (zh) 基于Selenium和TestNG的自动化测试方法
WO2023284443A1 (zh) 挖掘机工况判定方法及装置
CN104657610A (zh) 一种信息物理融合系统时序逻辑鲁棒性评估方法
CN108255837A (zh) 一种sql解析器及方法
CN114880405A (zh) 一种基于数据湖的数据处理方法及系统
CN113806343B (zh) 一种车联网数据质量的评估方法和系统
CN114816980A (zh) 一种嵌入式通信系统用自动测试装置及方法
CN103293410B (zh) 服务器功耗检测方法与装置
CN110750582B (zh) 数据处理方法、装置和系统
CN106649501B (zh) 变电站监控数据库访问模型与scd一致性校验系统及方法
CN106548303B (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
REG Reference to a national code

Ref country code: HK

Ref legal event code: DE

Ref document number: 1207176

Country of ref document: HK

GR01 Patent grant
GR01 Patent grant
REG Reference to a national code

Ref country code: HK

Ref legal event code: GR

Ref document number: 1207176

Country of ref document: HK