-
公开(公告)号：CN110569615A
公开(公告)日：2019-12-13
申请号：CN201910864496.X
申请日：2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F17/50
Abstract: 本发明公开了一种多源异构嵌入式软件协同仿真测试方法，包括基于混合式P2P的协同仿真测试方法、基于滑动窗口的时钟同步方法和基于时间系数矩阵的动态时间推进方法。本发明采用的基于混合式P2P的协同仿真测试方法可以实现多源异构嵌入式软件中全实物、半实物、全数字等节点的混合协同仿真，以便尽早、尽快完整模拟软件应用场景以发现潜在缺陷进行缺陷预防；本发明采用的基于滑动窗口的时钟同步方法可以在协同仿真执行过程中实现节点时钟的高效同步，解决时间一致性问题；本发明采用的基于时间系数矩阵的动态时间推进方法，确保仿真时序的正确推进。
-
公开(公告)号：CN108804238A
公开(公告)日：2018-11-13
申请号：CN201810273776.9
申请日：2018-03-29
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F9/54
Abstract: 本发明公开了一种基于远程过程调用的软总线通信方法，具体步骤如下：步骤一，远程调用软总线总体架构；步骤二，建立Actor模型机制；步骤三，建立规则链表；步骤四，连接仿真节点；步骤五，启动Actor生命周期。本发明的方法中软总线将基于消息派发的集中式总线结构重新划分，分布在不同组件之间，形成“网络化”的总线结构，灵活实现多设备、多总线类型、多总线协议的通讯机制，具有分布式通信、强实时性、Actor‑Actor对等通信等特点，支持同步及异步通信方式，极大的提升了分布式网络的通信效率及性能。
-
公开(公告)号：CN113485915A
公开(公告)日：2021-10-08
申请号：CN202110668069.1
申请日：2021-06-16
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明涉及软件测试相关设备领域，尤其涉及一种基于协议建模和约束覆盖的接口测试数据自动生成方法和装置，其中，一种基于协议建模和约束覆盖的接口测试数据自动生成方法，包括以下步骤，S10、对基于字节定义的总线接口协议进行建模，将自然语言描述的通信协议转化为计算机可识别的机器语言，生成接口协议描述文件；S20、对接口协议描述文件进行解析，识别接口协议的属性信息和字段特性信息；S30、按照字段类型显示接口协议的字段特性信息和数据。本发明适用于基于字节定义的TCP、UDP、RS232/422/485/UART、CAN等多种总线通信协议，通用性较好，能够准确、快速生成满足多种约束覆盖准则的测试数据集，提升测试数据覆盖的充分性和测试数据生成效率。
-
公开(公告)号：CN111694741A
公开(公告)日：2020-09-22
申请号：CN202010509602.5
申请日：2020-06-05
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开一种基于路径深度覆盖的测试用例设计方法，包括：层次化测试建模及测试覆盖准则设计，多约束条件下的测试覆盖算法设计，基于模型的自动化测试用例生成。本发明采用的测试用例设计方法基于用户需求风险，科学抽样，保证充分性同时，用例数量可控，关注测试目的，测试数据明确，测试用例可执行，实现了与仿真测试平台VsimTP/CosimRT无缝对接和连贯执行，显著提高了测试设计的效率和对测试需求的覆盖率。
-
公开(公告)号：CN109799728A
公开(公告)日：2019-05-24
申请号：CN201811252922.6
申请日：2018-10-25
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G05B17/02
Abstract: 本发明公开了一种基于层次化自适应策略的容错CPS仿真测试方法，包括以下步骤：容错CPS仿真资源模型的建立与测试资源的分配，包括建立容错CPS仿真资源的分层模型和测试资源的自适应分配；容错CPS仿真测试，包括层间消息传递和协同仿真时序推进；基于滑动窗口的节点活性检测。本发明用于容错CPS系统的仿真测试，既能实现测试资源的有效分配，提高测试效率，节约时间和成本，又能针对不同规模的CPS系统进行动态自适应，构建可伸缩的测试平台，还能针对容错CPS系统多模冗余的特点进行有效的测试执行，高效地对测试主从节点的一致性进行判定，确保冗余策略有效。
-
Patent Agency Ranking
公开(公告)号：CN105959347B
公开(公告)日：2019-04-12
申请号：CN201610246227.3
申请日：2016-04-20
Applicant: 中国工程物理研究院计算机应用研究所
IPC: H04L29/08
Abstract: 本发明提供了一种基于P2P网络的全数字协同仿真系统通信方法，所述的方法包括:基于P2P的全数字协同仿真模型，P2P构建及主题订阅与发布，基于数据交互的仿真时序推进，仿真节点的心跳检测；所述基于P2P的全数字协同仿真模型，包括：集成仿真控制台模块、软总线模块、虚拟目标机模块、辅助测试模块；所述集成仿真控制台模块负责系统仿真过程中仿真规则的执行，构造各仿真目标机之间的协同仿真逻辑关系；所述软总线模块是全数字协同仿真与验证系统的通信枢纽，为不同仿真节点间数据交互提供可靠、实时的底层保障；所述虚拟目标机模块是一个独立的仿真节点，它完全模拟硬件设备的功能实现，将整个硬件系统虚拟化到数字平台。
-
公开(公告)号：CN118170640A
公开(公告)日：2024-06-11
申请号：CN202410094493.3
申请日：2024-01-23
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明涉及web应用的自动化测试技术领域，具体为一种基于模型关键字驱动的web应用自动化测试方法，包括以下步骤：首先分析被测web应用的业务需求，建立被测系统的业务状态模型和数据状态模型；根据业务需求设计关键字并将之与业务模型绑定；根据测试需求，建立需求模型并与业务状态模型和数据状态模型关联；根据配置的测试用例生成策略，分别生成业务测试用例和数据测试用例。本发明通过状态图对被测web应用进行建模，通过关键字的方式驱动模型自动执行测试、分析结果，此方法能够很好的维护测试过程中的相关知识，对需求变更频繁、bug较多的测试项目能够较快的构建新的测试环境，有效提高了测试效率。
-
公开(公告)号：CN117349146A
公开(公告)日：2024-01-05
申请号：CN202211534224.1
申请日：2022-12-02
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本申请公开了一种基于状态节点优先级覆盖的用例设计方法。该方法包括获取状态机模型，对状态机模型的正确性、合规性进行验证；对模型进行解析，依据与软件功能需求关系的密切程度，将状态节点按照风险优先级划分为3个等级，即Trunk(主干)，Relation（关联）和Normal（普通）；分别抽取状态机模型中所有Trunk、Relation和Normal节点进行全排列组合得到路径集合；对数据模型图进行解析，仅覆盖主干节点和关联节点，并且对于模型图中Trunk和Relation节点之间存在多条路径的，只选择其中的一条路径；综合生成的测试路径和测试数据，通过采用关键字驱动和数据驱动的模式组合生成可自动执行测试用例。本发明能够有效提高测试需求分析、测试用例生成、测试结果判断的自动化和规范化程度。
-
公开(公告)号：CN111694741B
公开(公告)日：2023-09-29
申请号：CN202010509602.5
申请日：2020-06-05
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开一种基于路径深度覆盖的测试用例设计方法，包括：层次化测试建模及测试覆盖准则设计，多约束条件下的测试覆盖算法设计，基于模型的自动化测试用例生成。本发明采用的测试用例设计方法基于用户需求风险，科学抽样，保证充分性同时，用例数量可控，关注测试目的，测试数据明确，测试用例可执行，实现了与仿真测试平台VsimTP/CosimRT无缝对接和连贯执行，显著提高了测试设计的效率和对测试需求的覆盖率。
-
公开(公告)号：CN116738365A
公开(公告)日：2023-09-12
申请号：CN202310712732.2
申请日：2023-06-16
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F18/25 , G06F18/20 , G06F18/21 , G06F18/2115
Abstract: 本发明涉及多源信息融合相关技术领域，尤其为一种基于Pignistic概率转换和奇异值分解的证据冲突度量方法，包括以下步骤，步骤一：建立信息融合辨识框架Θ，采集传感器数据构建证据基本概率分配函数(BPA)；步骤二：建立证据基本概率分配函数矩阵M和焦元Pignistic概率转换矩阵P，对M进行Pignistic概率转换，将证据焦元差异映射到信度差异上，得到证据基本信任函数矩阵M′；步骤三：根据证据基本概率分配函数矩阵M和基本信任函数矩阵M′，构建了证据复合信任函数矩阵M″；步骤四：对证据复合信任函数矩阵M″进行奇异值分解，根据证据矩阵的相似特性和冲突特性，将矩阵空间划分为相似子空间S和冲突子空间N，将冲突子空间奇异值和与相似子空间奇异值之比作为证据冲突度量因子GSVD。本发明克服了传统证据冲突度量方法适应性差、准确性低、稳定性差的问题，提升了证据理论在信息融合领域运用的准确性。
-
-
-
-
-
-
-
-
-
Search Results
27
records
(took 0.036 seconds)
