-
公开(公告)号：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对等通信等特点，支持同步及异步通信方式，极大的提升了分布式网络的通信效率及性能。
-
公开(公告)号：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: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件可信需求与证据源追溯关系的建立；软件可信需求优先级的确定；软件可信需求实现的分析与判定；软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型，通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量，保证了用于软件可信性评估的证据数据的准确性与客观性，从而提高了软件可信性评估结果的可靠性。
-
公开(公告)号：CN110569197A
公开(公告)日：2019-12-13
申请号：CN201910865517.X
申请日：2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件可信需求与证据源追溯关系的建立；软件可信需求优先级的确定；软件可信需求实现的分析与判定；软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型，通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量，保证了用于软件可信性评估的证据数据的准确性与客观性，从而提高了软件可信性评估结果的可靠性。
-
Patent Agency Ranking
公开(公告)号：CN110309085B
公开(公告)日：2023-05-05
申请号：CN201910440318.4
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。
-
公开(公告)号：CN108959095B
公开(公告)日：2021-11-23
申请号：CN201810762652.7
申请日：2018-07-12
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种基于XML Schema验证XML文档的方法，包括：S1，Java语言实现DOM编程接口，解析XML文档以获取相应的解析文档DOMdoc；S2，对解析文档DOMdoc进行完整性校验，以判断其是否存在语法错误；S3，输出错误信息；S4，定义错误位置追踪函数。本发明提供一种基于XML Schema验证XML文档的方法，其能够基于XML Schema验证XML文档语法正确性之外，在具体的应用中还支持错误信息输出和错误信息追踪，方便数据编辑人员了解错误原因和快速找到语法出错位置，以便对语法错误做出准确快速的修改。
-
公开(公告)号：CN108920437A
公开(公告)日：2018-11-30
申请号：CN201810762801.X
申请日：2018-07-12
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F17/22
Abstract: 本发明公开了一种基于XSL将XML文档转换为HTML格式文档的方法，包括：S1，新建一个与XML文档同名的HTML格式文档；S2，定义转换算法，实现XML文档到HTML格式文档的转换；S3，调用系统默认浏览器以显示HTML格式文档；其中，所述转换算法通过转换器实例，调用相关方法和相关变量作为传入参数以实现XML文档到HTML格式文档的转换。本发明提供一种基于XSL的将XML文档转换为HTML格式文档的方法，针对转换过程中出现的转换错误，通过定义了转换错误监听器，以确定错误原因和错误发生位置，供数据编辑人员做出修改。
-
公开(公告)号：CN111694741A
公开(公告)日：2020-09-22
申请号：CN202010509602.5
申请日：2020-06-05
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开一种基于路径深度覆盖的测试用例设计方法，包括：层次化测试建模及测试覆盖准则设计，多约束条件下的测试覆盖算法设计，基于模型的自动化测试用例生成。本发明采用的测试用例设计方法基于用户需求风险，科学抽样，保证充分性同时，用例数量可控，关注测试目的，测试数据明确，测试用例可执行，实现了与仿真测试平台VsimTP/CosimRT无缝对接和连贯执行，显著提高了测试设计的效率和对测试需求的覆盖率。
-
公开(公告)号：CN110321281A
公开(公告)日：2019-10-11
申请号：CN201910440294.2
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于混合自动化测试框架的Web测试平台，其总体架构包括自动化测试管理层、自动化测试引擎层和第三方测试工具，其中，自动化测试管理层用于Web自动化测试的全过程管理，支持测试实施人员进行测试需求分析、测试设计和测试结果分析与总结；自动化测试引擎层用于测试数据的封装与提供、测试脚本的分层设计、页面对象建模以及业务逻辑建模；第三方测试工具用于自动化测试脚本的开发、测试用例套的执行、结果反馈与追踪。本发明采用层次化设计模式，结合模块化测试框架和数据驱动测试框架技术，实现了测试数据与测试脚本分离，对象库和函数库分离，能够支持测试脚本按需自由灵活组合，大大降低了自动化维护成本。
-
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.031 seconds)
