-
公开(公告)号：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无缝对接和连贯执行，显著提高了测试设计的效率和对测试需求的覆盖率。
-
公开(公告)号：CN110569197B
公开(公告)日：2022-11-11
申请号：CN201910865517.X
申请日：2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件可信需求与证据源追溯关系的建立；软件可信需求优先级的确定；软件可信需求实现的分析与判定；软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型，通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量，保证了用于软件可信性评估的证据数据的准确性与客观性，从而提高了软件可信性评估结果的可靠性。
-
Patent Agency Ranking
公开(公告)号：CN110569197A
公开(公告)日：2019-12-13
申请号：CN201910865517.X
申请日：2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件可信需求与证据源追溯关系的建立；软件可信需求优先级的确定；软件可信需求实现的分析与判定；软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型，通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量，保证了用于软件可信性评估的证据数据的准确性与客观性，从而提高了软件可信性评估结果的可靠性。
-
公开(公告)号：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系统多模冗余的特点进行有效的测试执行，高效地对测试主从节点的一致性进行判定，确保冗余策略有效。
-
公开(公告)号：CN105959347B
公开(公告)日：2019-04-12
申请号：CN201610246227.3
申请日：2016-04-20
Applicant: 中国工程物理研究院计算机应用研究所
IPC: H04L29/08
Abstract: 本发明提供了一种基于P2P网络的全数字协同仿真系统通信方法，所述的方法包括:基于P2P的全数字协同仿真模型，P2P构建及主题订阅与发布，基于数据交互的仿真时序推进，仿真节点的心跳检测；所述基于P2P的全数字协同仿真模型，包括：集成仿真控制台模块、软总线模块、虚拟目标机模块、辅助测试模块；所述集成仿真控制台模块负责系统仿真过程中仿真规则的执行，构造各仿真目标机之间的协同仿真逻辑关系；所述软总线模块是全数字协同仿真与验证系统的通信枢纽，为不同仿真节点间数据交互提供可靠、实时的底层保障；所述虚拟目标机模块是一个独立的仿真节点，它完全模拟硬件设备的功能实现，将整个硬件系统虚拟化到数字平台。
-
公开(公告)号：CN113535545A
公开(公告)日：2021-10-22
申请号：CN202110667217.8
申请日：2021-06-16
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种用于程序动态分析的二进制插桩方法，包括：插桩过程在指令集翻译成虚拟指令集过程完成；插桩粒度在基本块进行插桩；插桩指令的任务为获取基本块第一条指令的地址及当前基本块所包含的指令计数；插桩收集的基本块执行序列通过对应目标码中的调试信息进行分析。本发明不需要对源代码进行插桩，不改变被测程序执行流程，不需要重新编译生成目标码，就可以收集程序运行轨迹，进行动态分析；不需要获取被测程序的源代码，只需要被测程序的调试信息，有利于被测程序提供方版权控制；不需要针对每一种客户机和宿主机体系架构单独设计插桩方法和数据分析方法，能够应用于多种体系结构。
-
-
-
-
-
-
-
Search Results
18
records
(took 0.048 seconds)
