“熊坤鹏”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果14个，建议您升级VIP下载更多相关专利

[发明专利]用于ATC的测试数据自动生成方法、系统、设备及介质-CN202211699715.1在审
发明人： 熊坤鹏;陈硕豪;李付军;欧阳敏;欧阳玲萍;朱程辉;刘锦峰 -专利权人：卡斯柯信号有限公司
申请日： 2022-12-28 - 公布日： 2023-07-07 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种用于ATC的测试数据自动生成方法、系统、设备及介质，该方法包括：S1，线路数据分析过程，用于解析线路数据模板；同时对每条线路中的设备进行特征提取；S2，参数数据分析过程，用于解析ATC系统中与线路无关的参数配置模板；S3，线路数据匹配过程，用于根据线路特征匹配线路，并生成线路特征差异信息；S4，参数数据匹配过程，用于根据测试人员提供的特殊参数特征，与参数模板数据进行匹配工作；S5，数据生成过程，用于获取线路数据匹配过程和参数数据匹配过程的差异信息，根据修改差异、添加差异、删除差异自动生成最终测试所需的线路数据和参数数据。与现有技术相比，本发明具有提高了自动化测试的效率等优点。
用于 atc 测试数据自动生成方法系统设备介质

[发明专利]模拟轨道交通车载测速传感装置的方法、系统及储存介质-CN202211695043.7在审
发明人：陈硕豪;熊坤鹏;常鸣;刘锦峰 -专利权人：卡斯柯信号有限公司
申请日： 2022-12-28 - 公布日： 2023-05-16 - 主分类号： G01M17/08 文献下载
摘要：本发明涉及一种模拟轨道交通车载测速传感装置的方法、系统及储存介质，该方法包括以下步骤：根据模拟仿真的需求，配置模拟车载测速传感装置的工况条件；根据联动配置，选择模拟车载测速传感装置的工作模式；根据配置的工况条件，选择的工作模式以及其他输入进行决策并分发模拟车载测速传感装置的输入信息；在最终输出到车载控制软件之前，根据模拟仿真的需求，进行故障注入；最后输出到车载控制软件。与现有技术相比，本发明具有保证了各个测速传感装置的协同工作等优点。
模拟轨道交通车载测速传感装置方法系统储存介质

[发明专利]用于轨道交通列车自动控制系统的自动化测试系统及方法-CN202110048669.8有效
发明人： 熊坤鹏;陈硕豪;欧阳敏;李付军;欧阳玲萍;朱程辉;刘锦峰 -专利权人：卡斯柯信号有限公司
申请日： 2021-01-14 - 公布日： 2022-08-30 - 主分类号： B61L27/60 文献下载
摘要：本发明涉及一种用于轨道交通列车自动控制系统的自动化测试系统及方法，该自动化测试系统包括用于解析列车自动控制系统所用数据的数据分析模块M1、用于对列车自动控制系统的所有外围设备进行仿真的脚本运行模块M2、用于模拟相关的司机驾驶列车操作的司机操作仿真模块M3和用于生成相应的测试日志报告的日志自动分析模块M4，所述的数据分析模块M1和司机操作仿真模块M3分别连接脚本运行模块M2，所述的列车自动控制系统分别连接脚本运行模块M2、司机操作仿真模块M3和日志自动分析模块M4。与现有技术相比，本发明具有以下优点：降低轨道交通列车自动控制系统的测试和验证成本，提高测试效率等。
用于轨道交通列车自动控制系统自动化测试系统方法

[发明专利]用于互联互通CBTC系统室内测试的故障注入装置及方法-CN202010019388.5有效
发明人：欧阳敏;刘锦峰;朱程辉;熊坤鹏;欧阳玲萍 -专利权人：卡斯柯信号有限公司
申请日： 2020-01-08 - 公布日： 2022-08-26 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种用于互联互通CBTC系统室内测试的故障注入装置及方法，所述的故障注入装置基于子系统间的消息接口，采取动态故障注入的方式，实现故障的注入和恢复。与现有技术相比，本发明以下优点：动态的故障注入，灵活，适用性强。
用于互通 cbtc 系统室内测试故障注入装置方法

[发明专利]用于轨道交通自动控制软件的自适应测试脚本系统及方法-CN201911416139.3有效
发明人：陈硕豪;熊坤鹏;朱程辉;刘锦峰 -专利权人：卡斯柯信号有限公司
申请日： 2019-12-31 - 公布日： 2022-08-23 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种用于轨道交通自动控制软件的自适应测试脚本系统及方法，该系统包括：测试脚本解析模块M1，用于解析以预定义的语法格式编写的测试脚本，识别并记录脚本中描述测试数据的抽象点或区域，并生成测试数据的搜索表达式；测试数据预处理模块M2，用于根据测试数据的描述格式，预处理测试数据，识别并记录测试数据中的各种奇点和区域的属性，形成该测试数据的数据字典；测试数据查找匹配模块M3，用于根据测试脚本解析模块M1产生的搜索表达式，在测试数据预处理模块M2生成的数据字典中查找匹配对应的数据模式；结果提示模块M4。与现有技术相比，本发明具有提高了测试脚本复用率和可读性等优点。
用于轨道交通自动控制软件自适应测试脚本系统方法

[发明专利]一种轨道交通互联互通信号系统的测试系统-CN202110187448.9有效
发明人：李付军;朱程辉;刘锦峰;熊坤鹏;欧阳敏 -专利权人：卡斯柯信号有限公司
申请日： 2021-02-18 - 公布日： 2022-08-09 - 主分类号： B61L27/60 文献下载
摘要：本发明涉及一种轨道交通互联互通信号系统的测试系统，所述的测试系统包括离线工具、车载仿真模块和轨旁仿真模块；所述的离线工具，用于将不同线路的数据处理合并为一个线路的数据，供车载仿真模块和轨旁仿真模块使用；所述的车载仿真模块，用于仿真车辆与信号之间的接口，同时发送列车的实时位置到轨旁仿真模块，以便于轨旁仿真模块计算计轴的占用和出清状态；所述的轨旁仿真模块，用于仿真道岔、信号机、SDD、屏蔽门、ESP、SPKS的轨旁设备，同时发送轨旁设备的实时状态到车载仿真模块，所述的车载仿真模块使用轨旁仿真模块的实时状态来跑车并筛选信标。与现有技术相比，本发明具有可扩展性强、综合性强和通用性强等优点。
一种轨道交通互通信号系统测试系统

[发明专利]一种CBTC系统仿真测试方法及装置-CN202110648765.6有效
发明人：欧阳敏;刘锦峰;朱程辉;夏芸;熊坤鹏;李付军;邱良辰 -专利权人：卡斯柯信号有限公司
申请日： 2021-06-10 - 公布日： 2022-08-02 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种CBTC系统仿真测试方法及装置，所述仿真测试方法包括：采集CBTC系统中现场设备的现场网络数据；根据所述CBTC系统的仿真测试需求生成仿真测试脚本；根据所述仿真测试脚本对所述现场网络数据进行查询，以得到仿真测试网络数据；根据所述仿真测试网络数据构建所述CBTC系统的仿真测试环境；以及在所述仿真测试环境内，根据所述仿真测试脚本对所述CBTC系统进行仿真测试，以检测所述CBTC系统的可靠性。本发明既可以在贴近CBTC系统的实际运行情况的仿真测试环境内对CBTC系统进行仿真测试，又可以降低仿真测试的成本。
一种 cbtc 系统仿真测试方法装置

[发明专利]一种用于嵌入式软件接口消息测试的随机测试方法及系统-CN202210185626.9在审
发明人：陈硕豪;熊坤鹏;朱程辉;刘锦峰 -专利权人：卡斯柯信号有限公司
申请日： 2022-02-28 - 公布日： 2022-07-05 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种用于嵌入式软件接口消息测试的随机测试方法及系统，该方法包括以下步骤：步骤1：根据被测试嵌入式软件对象的接口消息协议，以设定脚本语言描述接口消息体，并确定消息体中每个字段的赋值策略；步骤2：根据输入的测试策略，选择一种测试接口消息的测试工作模式；步骤3：根据选定的测试工作模式，模拟通信对象给被测试对象发送消息序列；步骤4：接收并解析被测试对象的消息，并记录对模拟通信对象发送消息的反馈，作为之后发送消息的决策因素。与现有技术相比，本发明具有在各种不同的测试策略间无成本地、迅速地来回切换等优点。
一种用于嵌入式软件接口消息测试随机方法系统

[发明专利]轨道交通车载软件半形式化需求用的静态检查系统及方法-CN201811611287.6有效
发明人：常鸣;陈慧琍;陈晓轩;陈硕豪;熊坤鹏 -专利权人：卡斯柯信号有限公司
申请日： 2018-12-27 - 公布日： 2022-06-24 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种轨道交通车载软件半形式化需求用的静态检查系统及方法，系统包括：语法分析模块对输入语法分析模块的需求进行检查分析，通过后生成抽象语法树；影响关系分析模块以语法分析模块产生的需求抽象语法树作为输入，分析各条需求之间的影响关系；类型检查模块，若事先已定义需求变量的类型，则据此分析需求变量之间的类型转换以及是否存在不同类型需求变量赋值情况；量纲检查模块若事先已定义需求变量的量纲，则据此分析需求变量之间的量纲转换以及是否存在不同量纲的变量赋值情况。与现有技术相比，本发明具有能提高需求验证的效率，节省时间，降低成本等优点。
轨道交通车载软件形式化需求静态检查系统方法

[发明专利]基于SMT的车载控制器软件半形式化需求验证系统及方法-CN201611250263.3有效
发明人：陈晓轩;陈硕豪;熊坤鹏;刘锦峰 -专利权人：卡斯柯信号有限公司
申请日： 2016-12-29 - 公布日： 2021-05-14 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于SMT的车载控制器软件半形式化需求验证系统及方法，包括：半形式化软件需求规范化模块M1，用于对半形式化的车载控制器软件需求进行自动转换，生成能够被SMT求解器识别的合取范式形式输入；约束条件建立模块M2，用于根据上级系统需求和系统设计，抽取、归纳并建立针对软件功能的约束条件；需求验证模块M3，用于对格式转换后的输入软件需求根据约束条件进行求解，验证软件需求的正确性以及与上级需求和设计的一致性。与现有技术相比，本发明具有利用形式化理论工具对半形式化的软件需求进行准确、高效地验证等优点。
基于 smt 车载控制器软件形式化需求验证系统方法

[发明专利]用于ATS软件的持续集成和交付的系统-CN201811411032.5在审
发明人：欧阳敏;熊坤鹏;兰青辉;冯斌;夏芸;刘锦峰 -专利权人：卡斯柯信号有限公司
申请日： 2018-11-24 - 公布日： 2019-04-12 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种用于ATS软件的持续集成和交付的系统，该系统包括测试服务器和持续集成服务器，所述的测试服务器和持续集成服务器通过网络连接，所述的测试服务器和持续集成服务器内的虚拟机基于虚拟网络交换机连接。与现有技术相比，本发明具有以下优点：实现ATS软件、各种仿真设备，以及测试平台和整个测试环境的自动部署和自动化测试，可大幅提升ATS软件的测试效率。
测试服务器集成服务器虚拟网络交换机交付自动化测试测试环境测试平台测试效率仿真设备网络连接自动部署虚拟机

[发明专利]适用于城轨软件自动化测试的测试脚本设计方法-CN201610847971.9有效
发明人：欧阳敏;熊坤鹏 -专利权人：卡斯柯信号有限公司
申请日： 2016-09-23 - 公布日： 2019-02-01 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种适用于城轨软件自动化测试的测试脚本设计方法，包括以下步骤：用于配置各种测试接口的测试环境描述脚本设计；测试激励数据脚本设计；测试结果的分析脚本设计；脚本的时序性和实时性测试。与现有技术相比，本发明具有易于实现、时序性和实时性好等优点。
适用于软件自动化测试脚本设计方法

[发明专利]用于轨道交通车载控制器软件的测试脚本自动化检测方法-CN201610220634.7有效
发明人： 熊坤鹏;刘锦峰;陈晓轩;陈硕豪 -专利权人：卡斯柯信号有限公司
申请日： 2016-04-11 - 公布日： 2019-01-08 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种用于轨道交通车载控制器软件的测试脚本自动化检测方法，包括以下步骤：步骤S101，加载测试脚本并对测试脚本作初步检查；步骤S102，对通过步骤S101中的初步检查的测试脚本进行解析；步骤S103，对车载控制器软件需求进行建模，利用步骤S102解析展开后的周期性数据作为输入，对需求模型进行仿真；步骤S104，结果比对，将步骤S103中得到的模型仿真输出与步骤S101测试脚本设计的预期结果进行对比分析，以检查测试脚本的正确性。与现有技术相比，本发明具有填补了轨道交通车载软件测试脚本验证检测自动化的空白，能够真正实现计算机对测试脚本内容正确性的实质检测等优点。
用于轨道交通车载控制器软件测试脚本自动化检测方法

[发明专利]基于需求建模的车载控制器日志数据自动分析方法-CN201510028121.1有效
发明人：陈硕豪;熊坤鹏;刘锦峰;陈晓轩 -专利权人：卡斯柯信号有限公司
申请日： 2015-01-20 - 公布日： 2018-01-19 - 主分类号： G06F11/34 文献下载
摘要：本发明涉及一种基于需求建模的车载控制器日志数据自动分析方法，包括以下步骤步骤S101，对产生日志数据的轨道交通车载控制器软件需求进行建模；步骤S102，加载日志数据分析时需要用到的配置文件；步骤S103，加载日志数据；步骤S104，根据步骤S101建立的模型以及步骤S102建立的变量映射表，在日志数据中识别出模型的输入输出参数，依照模型中输入输出间的逻辑、算术关系计算出预期的输出参数，并与日志中的实际输出参数分析比对；步骤S105，将分析结果进行记录、统计并用图表直观显示。与现有技术相比，本发明能对车载控制器软件每天产生的日志数据进行自动分析，满足高效性、便捷性以及直观性的要求。
基于需求建模车载控制器日志数据自动分析方法

1
共 14 条