公开(公告)号：CN109388574A

公开(公告)日：2019-02-26

申请号：CN201811265791.5

申请日：2018-10-29

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

Inventor： 张磊 ,  孙文靖 ,  马少辉 ,  杨硕 ,  刘昕照 ,  于铁军 ,  杨春霞 ,  侯艳钗 ,  谷妤嫔 ,  邹丽 ,  罗淑琼 ,  曾丽婷 ,  韩壮 ,  南亚茹 ,  肖笑笑 ,  洪楠

IPC: G06F11/36

Abstract: 本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助系统，包括：静态分析结果提取模块，用于提取静态分析工具的静态分析测试结果；静态分析结果整理模块，用于解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块，用于将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。

公开(公告)号：CN106887982B

公开(公告)日：2019-01-22

申请号：CN201510939836.2

申请日：2015-12-15

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

Inventor： 李卓 ,  朱琳 ,  张国宇 ,  陈朋 ,  孟伟 ,  张哲 ,  郑金艳 ,  王栋 ,  李丽华 ,  张清 ,  彭鸣 ,  杨源 ,  姚可成 ,  冯耿 ,  宋文 ,  康建涛 ,  赵菲 ,  吕方雷 ,  盛凯南 ,  曾丽婷 ,  王巍

IPC: H02P8/14

Abstract: 本发明实施例公开的一种基于FPGA的步进电机速度控制方法，涉及步进电机速度控制技术领域，能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X＝|A1－A0|；当步差绝对值0＜X≤M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＜T1，则T＝T+ΔT，若T≥T1，则T＝T，当步差绝对值X＞M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＞T2，则T＝T－ΔT，若T≤T2，则T＝T，当X＝0时，控制结束，转动停止，主要用于步进电机速度控制。

公开(公告)号：CN115757153A

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

申请号：CN202211476761.5

申请日：2022-11-23

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

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

IPC: G06F11/36 ,  G06F9/448

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

公开(公告)号：CN109388575A

公开(公告)日：2019-02-26

申请号：CN201811265856.6

申请日：2018-10-29

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

Inventor： 马少辉 ,  孙文靖 ,  张磊 ,  杨硕 ,  于铁军 ,  刘昕照 ,  杨春霞 ,  邹丽 ,  罗淑琼 ,  彭婷婷 ,  高誉菊 ,  胡蝶 ,  侯艳钗 ,  谷妤嫔 ,  曾丽婷 ,  洪楠

IPC: G06F11/36

Abstract: 本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助方法，其包括：静态分析结果提取模块提取静态分析工具的静态分析测试结果；静态分析结果整理模块解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。

公开(公告)号：CN106887982A

公开(公告)日：2017-06-23

申请号：CN201510939836.2

申请日：2015-12-15

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

Inventor： 李卓 ,  朱琳 ,  张国宇 ,  陈朋 ,  孟伟 ,  张哲 ,  郑金艳 ,  王栋 ,  李丽华 ,  张清 ,  彭鸣 ,  杨源 ,  姚可成 ,  冯耿 ,  宋文 ,  康建涛 ,  赵菲 ,  吕方雷 ,  盛凯南 ,  曾丽婷 ,  王巍

IPC: H02P8/14

CPC classification number: H02P8/14

Abstract: 本发明实施例公开的一种基于FPGA的步进电机速度控制方法，涉及步进电机速度控制技术领域，能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X＝|A1－A0|；当步差绝对值0＜X≤M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＜T1，则T＝T+ΔT，若T≥T1，则T＝T，当步差绝对值X＞M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＞T2，则T＝T－ΔT，若T≤T2，则T＝T，当X＝0时，控制结束，转动停止，主要用于步进电机速度控制。