公开(公告)号：CN118860867A

公开(公告)日：2024-10-29

申请号：CN202410880445.7

申请日：2024-07-02

Applicant: 北京京航计算通讯研究所

Inventor： 陈俊英 ,  吴俊爽 ,  满雨菲 ,  李英杰 ,  曲天润 ,  王博 ,  康建涛 ,  宋志强 ,  陈朋 ,  陈建任 ,  孙云昊 ,  张博 ,  赵菲

IPC: G06F11/36 ,  G06N3/126

Abstract: 本发明涉及一种测试资源自动规划的测试系统，属于嵌入式软件测试技术领域。包括：控制器，用于基于被测系统的需求描述和测试设备描述建立每个被测系统信号对应的测试设备资源规划目标函数及其约束条件进而求解得到测试设备资源的最优规划，将所述最优规划发送给仿真机；仿真机，用于按所述最优规划对测试设备进行配置，并与被测系统UUT相连；还用于将UUT信号的测试结果发送给控制器；测试设备，用于通过仿真机对UUT信号进行测试。该系统基于嵌入式软件系统需求描述和测试设备描述建立测试设备资源规划的多目标约束优化模型，通过求解该模型自动得到测试设备资源的最优规划，提高了规划最优测试设备资源的速度，从而提高了嵌入式软件的测试效率。

公开(公告)号：CN114610614B

公开(公告)日：2024-07-16

申请号：CN202210228824.9

申请日：2022-03-08

Applicant: 北京京航计算通讯研究所

Inventor： 王嬴超 ,  陈俊英 ,  刘伟 ,  安鹏伟 ,  赵菲 ,  陈朋 ,  邢喜旺 ,  张榕 ,  吴俊爽 ,  季微微 ,  李春静 ,  曲天润 ,  梁霄 ,  闫宇航

IPC: G06F11/36 ,  G06N3/126

Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统，方法包括以下步骤：针对所述封装模块的每个功能，采用软件故障树分析法和软件失效模式与影响分析法进行故障分析，得到每个功能对应的综合故障树；以每个所述综合故障树中的最小割集为约束条件构建测试用例，所有测试用例构成测试用例集合；采用遗传算法从所述测试用例集合中选择最优测试用例组，所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试，得到所述可编程逻辑器件的封装模块的安全性测试结果。

公开(公告)号：CN115757153A

公开(公告)日：2023-03-07

申请号：CN202211476761.5

申请日：2022-11-23

Applicant: 北京京航计算通讯研究所

Inventor： 陈俊英 ,  刘伟 ,  王嬴超 ,  赵菲 ,  安鹏伟 ,  曲天润 ,  宋志强 ,  曾丽婷 ,  陈朋 ,  张榕

IPC: G06F11/36 ,  G06F9/448

Abstract: 本发明属于嵌入式软件测试领域，涉及一种基于状态机的测试用例生成方法和系统，包括使用数据协议描述语言DPD对接口协议进行描述；基于DPD所描述的接口协议信息和被测系统的软件设计说明书构建状态机并用状态图表示；基于所述状态图定义状态变迁矩阵；基于所述状态变迁矩阵，使用完全变迁路径覆盖算法生成初始测试用例；使用改进的AETG算法对所述初始测试用例进行覆盖率优化得到完整测试用例集。本发明利用自定义数据协议描述语言DPD，基于根据状态机的状态转移图自动生成测试用例，并经过覆盖率优化达到高覆盖率、低重复率的高质量测试用例集。