-
公开(公告)号：CN110795352B
公开(公告)日：2024-02-27
申请号：CN201911035729.1
申请日：2019-10-29
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明提供了一种面向构件化星务软件的细粒度测试用例系统的建立方法，该方法包括：建立测试用例细粒度描述模型；建立共性测试需求表单；建立测试用例映射集。本发明还提供一种该测试用例系统的使用方法，包括：确认测试用例集；提取描述模型对应属性，在测试用例集中搜索重用历史；查看重用记录，确认各项测试用例描述属性是否匹配测试需求；修改测试用例输入，执行测试。
-
公开(公告)号：CN116382117A
公开(公告)日：2023-07-04
申请号：CN202310396018.7
申请日：2018-06-14
Applicant: 上海微小卫星工程中心
IPC: G05B17/02
Abstract: 本发明涉及一种用于在仿真中注入故障的方法，该方法包括下列步骤：发起仿真目标与数学模型的交互，其中仿真目标向数学模型输入驱动信息，数学模型向仿真目标输出反馈信息,仿真目标与数学模型周期性交互数据；对接口数据进行故障注入，故障注入包括：使得某些接口数据按照某种规律变化，将此规律变化下的接口数据替代原本数据；使得驱动信息与反馈信息合并为接口数据，并同时输入故障模型，以能够进行关联接口参数联合故障注入。
-
公开(公告)号：CN110069410A
公开(公告)日：2019-07-30
申请号：CN201910299292.6
申请日：2019-04-15
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明提出一种基于动态故障树的嵌入式星载软件测试用例生成方法，包括如下步骤：(1)确定被测软件在轨实际动态运行剖面及输入空间；(2)建立运行剖面的故障模式传播路径以及故障模式集合；(3)建立动态故障树；(4)构建动态故障树相应的割序集，并确定割序集中的最小割序集；(5)建立最小割序等价类的测试用例输入及其预期输出，产生一个测试用例；(6)加载测试用例并运行被测软件，把输入数据作为执行输入，得到实际输出；(7)检查实际输出集合是否与预期输出集合一致。利用上述方法生成的测试用例具有耦合度低、效率高、颗粒度高和可复用性高的优点。
-
公开(公告)号：CN109344085A
公开(公告)日：2019-02-15
申请号：CN201811352565.0
申请日：2018-11-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明涉及一种分析卫星测试数据的方法，包括：接收卫星上行遥控指令；根据卫星上行遥控指令确定遥测参数；接收测试数据；根据测试数据分类规则对测试数据进行分类；针对不同类别的测试数据启动相应的判读推理机；使用所述判读推理机分析相应测试数据以确定所述遥测参数是否合格并生成分析结果；以及显示分析结果。本发明还涉及一种分析卫星测试数据的系统。通过该方法或系统，可以极大地提高卫星测试的效率，从而加快卫星批量化生产的速度，并减少潜在的故障。
-
公开(公告)号：CN108932372A
公开(公告)日：2018-12-04
申请号：CN201810614592.4
申请日：2018-06-14
Applicant: 上海微小卫星工程中心
Abstract: 本发明涉及一种用于在仿真中注入故障的方法，该方法包括下列步骤：发起仿真目标与数学模型的交互；使接口数据组中的数据向前移位一个位置，其中所述接口数据组包括n个位置，其中n为正整数；把在此次交互中获取的交互数据读取到第n个位置；确定接口数据故障注入单是否为空，其中所述接口数据故障注入单为队列并且描述以何种方式对哪个接口数据进行故障注入；在接口数据故障注入单不为空的情况下，从接口数据故障注入单中读取第一个元素；以及执行故障注入。通过该方法，可以以高度安全、可靠的方式注入故障，同时获取到真实环境不能/不易获取的数据，从而不仅保障了测试数据来源，而且拓展了测试分析面。
-
Patent Agency Ranking
公开(公告)号：CN108491330A
公开(公告)日：2018-09-04
申请号：CN201810280838.9
申请日：2018-04-02
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明公开了一种应用于卫星CPU软件在轨重构的试验验证系统，包括：可配置重构验证码自动生成系统模块，所述可配置重构验证码自动生成系统模块为重构的试验验证提供重构数据，并为被测软件编译并生成目标码；被测件仿真运行系统模块，所述被测件仿真运行系统模块为具有重构设计的被验证软件提供模拟真实运行环境的仿真系统；重构全实时自动监控系统模块，所述重构全实时自动监控系统模块对重构的全过程进行实时监控；和重构故障注入系统模块，所述重构故障注入系统模块为卫星CPU软件重构的试验验证提供各种类型的故障注入，并且可以在卫星软件的CPU重构设计策略验证要点的各个阶段实现故障注入。
-
公开(公告)号：CN119938516A
公开(公告)日：2025-05-06
申请号：CN202411806949.0
申请日：2024-12-10
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F11/3668 , G06F8/73
Abstract: 本发明公开了一种测试文档生成系统及其方法，用于将管理软件数据库记录的软件测试过程所需结构化数据和磁盘储存人工编辑的测试过程数据集合信息，人机协同方式自动生成具有一定格式要求的办公文档。实现软件生成结构化数据与人工修改文档的协同作业，确保内容和排版互不干扰；通过协同作业不干扰、反复修改支持和自动模板化片段，可以大幅提高文档编辑和生成的效率，减少重复性工作；支持软件工具和人工对同一文档进行反复修改，且两者修改内容互相不会覆盖；能够随时灵活切换软件工具对文档区域的修改权限，人工可控制文档区域的自动化权限；减少手动编辑文档操作的繁琐性。
-
公开(公告)号：CN118035117A
公开(公告)日：2024-05-14
申请号：CN202410327031.1
申请日：2019-10-29
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明提供了一种面向构件化星务软件的细粒度测试用例系统，其根据如下方法建立：建立测试用例细粒度描述模型；建立共性测试需求表单；建立测试用例映射集。本发明还提供一种该测试用例系统的使用方法，包括：确认测试用例集；提取描述模型对应属性，在测试用例集中搜索重用历史；查看重用记录，确认各项测试用例描述属性是否匹配测试需求；修改测试用例输入，执行测试。
-
公开(公告)号：CN109344085B
公开(公告)日：2021-11-23
申请号：CN201811352565.0
申请日：2018-11-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明涉及一种分析卫星测试数据的方法，包括：接收卫星上行遥控指令；根据卫星上行遥控指令确定遥测参数；接收测试数据；根据测试数据分类规则对测试数据进行分类；针对不同类别的测试数据启动相应的判读推理机；使用所述判读推理机分析相应测试数据以确定所述遥测参数是否合格并生成分析结果；以及显示分析结果。本发明还涉及一种分析卫星测试数据的系统。通过该方法或系统，可以极大地提高卫星测试的效率，从而加快卫星批量化生产的速度，并减少潜在的故障。
-
公开(公告)号：CN108932372B
公开(公告)日：2023-04-25
申请号：CN201810614592.4
申请日：2018-06-14
Applicant: 上海微小卫星工程中心
IPC: G06F30/20 , G06F16/2455 , G06F16/25 , G06F16/2458 , G06F111/10
Abstract: 本发明涉及一种用于在仿真中注入故障的方法，该方法包括下列步骤：发起仿真目标与数学模型的交互；使接口数据组中的数据向前移位一个位置，其中所述接口数据组包括n个位置，其中n为正整数；把在此次交互中获取的交互数据读取到第n个位置；确定接口数据故障注入单是否为空，其中所述接口数据故障注入单为队列并且描述以何种方式对哪个接口数据进行故障注入；在接口数据故障注入单不为空的情况下，从接口数据故障注入单中读取第一个元素；以及执行故障注入。通过该方法，可以以高度安全、可靠的方式注入故障，同时获取到真实环境不能/不易获取的数据，从而不仅保障了测试数据来源，而且拓展了测试分析面。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.027 seconds)
