-
公开(公告)号:CN112416761A
公开(公告)日:2021-02-26
申请号:CN202011255307.8
申请日:2020-11-11
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36 , G06F16/901
Abstract: 本发明涉及一种基于广度优先搜索的测试用例生成方法及装置,包括:建立对节点入度和出度进行加权的有向树形结构;对所述有向树形结构逐层进行正向搜索和逆向搜索,获得并记录系统的所有测试用例;每层的正向搜索沿父节点向子节点的方向搜索,对搜索到测试用例的父节点出度和子节点入度均减1;正向搜索之后,若该层中还存在入度不为0的子节点,则进行逆向搜索;从子节点向父节点方向搜索,对搜索到测试用例的父节点出度和子节点入度均减1,直至所有子节点的入度均为0,停止该层的逆向搜索;通过逐层的正向搜索和逆向搜索,直至所有节点的入度和出度均为0,得到所有的测试用例。本发明避免测试用例的遗漏,提高对系统测试的充分性。
-
公开(公告)号: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时,控制结束,转动停止,主要用于步进电机速度控制。
-