公开(公告)号：CN116955170A

公开(公告)日：2023-10-27

申请号：CN202310860326.0

申请日：2023-07-13

Applicant: 上海航天计算机技术研究所

Inventor： 李硕 ,  刘函 ,  于清华 ,  夏睿娴 ,  周学思

IPC: G06F11/36

Abstract: 本发明提供了一种火箭测发软件自动化测试系统，包括：处理器、显示器、输入设备，所述处理器中加载有人机交互模块、接口管理模块、数据分析模块、流程控制模块、数据管理模块，其中：所述显示器，用于显示测试结果；所述处理器，用于生成和自动执行火箭测发软件的测试用例，以及提供测试用例的编辑操作，以支持针对所述测试用例的修改和回归测试。实现根据测试需求编辑测试流程，提供辅助测试用例的设计功能。测试流程自动执行后，可生成可编辑格式的测试记录，节约测试人员的测试时间，减少文档编写工作量。本发明中的系统可覆盖功能、性能、接口、强度、人机交互、安全性等测试类型。

公开(公告)号：CN116680039A

公开(公告)日：2023-09-01

申请号：CN202310675966.4

申请日：2023-06-08

Applicant: 上海航天计算机技术研究所

Inventor： 周学思 ,  宋雷军 ,  于清华 ,  夏睿娴 ,  李硕

IPC: G06F9/455 ,  G06F9/448

Abstract: 本发明公开了一种具有冗余特性的虚拟仿真系统的实现方法：将可执行代码经指令集模拟器进行编译，得到可执行文件。执行横向处理：各虚拟单机之间进行数据交换，对各虚拟单机的数据采集要素进行比对后判别，根据冗余特性进行处理得到冗余表决处理结果；执行纵向处理：根据冗余表决处理结果令各虚拟单机执行相应工作，运行可执行文件或是拷贝数据；开辟第一队列和第二队列，第一队列存储需要比对的数据采集要素，第二队列存储未出结果的比对模块数据采集要素。本发明依赖目标码汇编语言的比对，将数据采集要素存储为数组的形式进行比对与复制，同时开辟两块队列的存储空间，用于存储比对过程中的过程数据，以此实现了虚拟仿真系统中冗余架构的实现。

公开(公告)号：CN105278966B

公开(公告)日：2018-03-27

申请号：CN201510856185.0

申请日：2015-11-30

Applicant: 上海航天计算机技术研究所

Inventor： 夏睿娴 ,  宋力立 ,  吕丽 ,  印玲 ,  陈琦 ,  周楷林 ,  林丹丹 ,  沙文 ,  张笑虹

IPC: G06F11/36 ,  G06F8/20

Abstract: 本发明提供了一种基于失效模式分析的卫星星载制导与导航软件的设计和测试方法，该测试方法包括如下步骤：S1：自n个所述第二终端获得其失效情况的反馈；若所述第一终端的数据库中未记录该失效情况对应的失效类别条目，则进入步骤S2；S2：将得到的失效类别条目归类到数据库中的失效模式类别中，并得到每个失效情况对应的失效类别条目；S3：重复步骤S1至S2，且在重复的过程中，同时进入步骤S4：S4：根据所需测试的软件的需求，索引当前数据库中相应的失效模式类别，参考该失效模式类别下失效类别条目中记载的信息设计测试用例，对卫星星载制导与导航软件在终端的运行进行测试。

公开(公告)号：CN116340151A

公开(公告)日：2023-06-27

申请号：CN202310205124.2

申请日：2023-03-06

Applicant: 上海航天计算机技术研究所

Inventor： 宋雷军 ,  申臻 ,  胡逸琳 ,  夏睿娴 ,  薛漭潮

IPC: G06F11/36 ,  G06F8/53

Abstract: 本发明提供一种目标码覆盖率统计方法，包括：覆盖统计设备通过解析DSP的可执行文件，将文件中的可执行代码反汇编，生成汇编代码，同时读取指令执行信息，将指令执行信息与汇编代码一一对应，形成覆盖率初始信息，通过指令器分类器，将覆盖率初始信息分为顺序执行语句信息和跳转语句信息两类，并进行分析，最后统计出DSP软件的覆盖率。对于同一软件的指令执行增量信息，进行合并处理，处理完成后再结合覆盖率统计分析设备统计软件运行的覆盖率。实现了DSP程序的目标码覆盖率统计，不需要对软件插装，破坏原程序的程序结构，避免了由于插装导致的程序膨胀率过高，进而影响原有程序运行时序和性能的问题，保证了软件覆盖率统计的正确性。

公开(公告)号：CN105912465B

公开(公告)日：2018-05-18

申请号：CN201610207681.8

申请日：2016-04-05

Applicant: 上海航天计算机技术研究所

Inventor： 夏睿娴 ,  印玲 ,  陈琦 ,  严漪敏

IPC: G06F11/36

Abstract: 本发明提供了一种星载姿轨控制导与导航软件的测试方法，包括：测试设计过程，具体包括：S0：利用失效模式库完善测试用例库，使得测试用例库覆盖已知所有的失效模式；S1：对待测的测试项的模块进行关键程度划分，并对各测试项进行优先等级的划分；S2：根据各测试项的优先等级，确定测试用例库中的测试用例的测试优先级；S3：根据所述测试优先级情况和测试需求，选择本次测试的用例集合；测试执行过程，具体包括：S4：根据各模块的关键程度对各模块进行静态测试；并且根据测试优先级实施用例集合中的测试用例，进而实现动态测试；在测试执行过程之中和/或之后，还包括对静态测试和动态测试进行充分性评价的过程。