-
公开(公告)号：CN107391368B
公开(公告)日：2021-02-09
申请号：CN201710570985.5
申请日：2017-07-13
Applicant: 中国航发控制系统研究所
IPC: G06F11/36
Abstract: 本发明公开了一种航空机载软件中源代码与目标代码一致性的分析方法，其中，包括：分析源代码，获得源代码的语言特征信息；根据语言特征信息获取源代码的典型代码特征，并选择包括典型代码特征的源代码函数；对目标代码进行反汇编得到反汇编代码，并对反汇编代码进行分段识别标注成为函数，得到目标代码的函数清单；将源代码函数与目标代码的函数清单中的函数建立映射关系；比较源代码函数与目标代码的函数清单中的函数是否对应；将没有映射到目标代码的函数清单中的源代码函数及在源代码函数中不存在的目标代码的函数清单中的函数均标注为目标代码与源代码不一致。本发明提供的航空机载软件中源代码与目标代码一致性的分析方法提高了分析效率。
-
公开(公告)号：CN112597007A
公开(公告)日：2021-04-02
申请号：CN202011464072.3
申请日：2020-12-14
Applicant: 中国航发控制系统研究所
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件集成测试完整性分析方法，包括根据被测软件程序入口和程序出口，生成被测软件函数和数据接口实际调用序列；统计所有测试脚本中输入数据接口和输出数据接口，分别生成输入数据接口列表和输出数据接口列表；统计被测代码测试结构覆盖率信息；将测试脚本中函数触发运行时序与函数实际调用序列进行匹配，分析时序一致；根据输入数据接口列表和输出数据接口列表，分析测试完整性；根据代码结构覆盖率信息，分析函数调用和函数实现逻辑验证完整性。本发明通过分析测试脚本中函数是否被真实调用、函数调用时序性、输入输出接口测试完整性和函数调用和函数实现逻辑验证完整性，满足嵌入式软件对安全性的要求。
-
公开(公告)号：CN112597007B
公开(公告)日：2023-10-03
申请号：CN202011464072.3
申请日：2020-12-14
Applicant: 中国航发控制系统研究所
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件集成测试完整性分析方法，包括根据被测软件程序入口和程序出口，生成被测软件函数和数据接口实际调用序列；统计所有测试脚本中输入数据接口和输出数据接口，分别生成输入数据接口列表和输出数据接口列表；统计被测代码测试结构覆盖率信息；将测试脚本中函数触发运行时序与函数实际调用序列进行匹配，分析时序一致；根据输入数据接口列表和输出数据接口列表，分析测试完整性；根据代码结构覆盖率信息，分析函数调用和函数实现逻辑验证完整性。本发明通过分析测试脚本中函数是否被真实调用、函数调用时序性、输入输出接口测试完整性和函数调用和函数实现逻辑验证完整性，满足嵌入式软件对安全性的要求。
-
Patent Agency Ranking
公开(公告)号：CN118535622A
公开(公告)日：2024-08-23
申请号：CN202410370867.X
申请日：2024-03-29
Applicant: 中国航发控制系统研究所
IPC: G06F16/25 , G06F16/242 , G06F16/2455 , G06F11/30
Abstract: 本发明公开了一种动态数据采集与监控系统的监控方法，步骤如下：第一步：输入表达式或响应动作配置，检查输入的表达式或响应动作配置；第二步：对输入的表达式进行解析，解析后得到所有代码或符号的属性，如果代码中存在变量进入三步，如果代码中不存在变量则进入第四步；第三步：监测该变量的值是否发生变动；如果变量发生变动则刷新该变量；第四步：执行表达式的计算，完成表达式的求值；第五步：结合第一步输入的响应动作配置及第四步表达式的求值，判断是否触发第一步中输入的动作，如果触发则完成该动作。本发明的目的是提供一种能够灵活添加变量和计算规则、自由调整监控触发条件的数据采集与监控系统的监控方法。
-
-
公开(公告)号：CN117271319A
公开(公告)日：2023-12-22
申请号：CN202311189951.3
申请日：2023-09-14
Applicant: 中国航发控制系统研究所
Abstract: 本发明公开了一种基于数据总线的自动化测试脚本动态分发执行方法，步骤如下：(1)服务端有唯一标识，且通过数据总线发布；客户端自动识别服务端节点状态；(2)用户操作客户端占用服务端进行测试用例集的动态分发；(3)服务端接收到待执行的用例信息，开始自动执行；完成后上报执行完成情况；(4)客户端监听到某服务端节点上报信息后，继续分发未执行的用例至空闲服务端节点，重复步骤(2)～(4)；(5)客户端判断用例集全部完成执行后，取消服务端节点的占用状态；服务端节点恢复空闲状态。本发明依托数据总线技术，在大量自动化测试脚本运行的场景下通过实时可用资源的识别和执行脚本的动态分发，能够将用例执行的整体耗时缩短。
-
公开(公告)号：CN107391368A
公开(公告)日：2017-11-24
申请号：CN201710570985.5
申请日：2017-07-13
Applicant: 中国航发控制系统研究所
IPC: G06F11/36
Abstract: 本发明公开了一种航空机载软件中源代码与目标代码一致性的分析方法，其中，包括：分析源代码，获得源代码的语言特征信息；根据语言特征信息获取源代码的典型代码特征，并选择包括典型代码特征的源代码函数；对目标代码进行反汇编得到反汇编代码，并对反汇编代码进行分段识别标注成为函数，得到目标代码的函数清单；将源代码函数与目标代码的函数清单中的函数建立映射关系；比较源代码函数与目标代码的函数清单中的函数是否对应；将没有映射到目标代码的函数清单中的源代码函数及在源代码函数中不存在的目标代码的函数清单中的函数均标注为目标代码与源代码不一致。本发明提供的航空机载软件中源代码与目标代码一致性的分析方法提高了分析效率。
-
公开(公告)号：CN309093075S
公开(公告)日：2025-01-28
申请号：CN202430124148.0
申请日：2024-03-12
Applicant: 中国航发控制系统研究所
Abstract: 1.本外观设计产品的名称：用于评审流程操作的图形用户界面电子设备。
2.本外观设计产品的用途：一种电子设备。
3.本外观设计产品的设计要点：在于屏幕中的图形用户界面内容。
4.最能表明设计要点的图片或照片：界面变化状态图8。
5.图形用户界面的人机交互方式：主视图为网站登录界面，输入用户名、密码之后点击登录，进入界面变化状态图1；界面变化状态图1显示当前登录账号下的个人待办任务，点击界面变化状态图1的“创建评审”右边的下拉按钮“∨”，进入界面变化状态图2；点击进入界面变化状态图2的“控制软件”按钮，进入界面变化状态图3；界面变化状态图3显示的是新建评审任务界面，填写表单内容后，点击“创建评审”，完成创建，进入界面变化状态图4；界面变化状态图4为评审任务创建完成界面，点击“预审”按钮，进入界面变化状态图5；界面变化状态图5为预审界面，用户填写预审人员、预审开始时间后，点击“提交预审”按钮，进入界面变化状态图6；界面变化状态图6为预审结束界面，用户上传预审文件、问题，填写预审结束时间，点击“结束预审”按钮，再点击“评审”按钮，进入界面变化状态图7；界面变化状态图7为正式评审界面，用户填写评审开始时间、评审地点，点击“正式发起评审”按钮，进入界面变化状态图8；界面变化状态图8为正式评审过程表单填写评审信息界面，用户填写完成后点击“评审信息”收起折叠栏，再点击“问题列表”按钮展开折叠栏，进入界面变化状态图9；界面变化状态图9为正式评审过程表单填写评审问题界面，用户填写完成后点击“问题列表”收起折叠栏，再点击“检查单”展开折叠栏，进入界面变化状态图10；界面变化状态图10为正式评审过程表单填写评审检查单界面，用户填写完成后点击“结束评审”按钮，再点击“评审组长确认”按钮，进入界面变化状态图11；界面变化状态图11为评审组长确认基础信息确认界面，用户浏览本次评审任务基础信息和预审阶段信息，滚动鼠标网页向下滑动，进入界面变化状态图12；界面变化状态图12为评审组长确认审核意见填写界面，用户根据本次评审过程和结果，给出评审意见，填写完成后点击“确认”按钮，再点击顶部的“QA审核”按钮，进入界面变化状态图13；界面变化状态图13为QA审核界面，用户填写QA检查结果，点击“审核完成”，流程结束。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.025 seconds)
