刘恒
- 作品数：3 被引量：0H指数：0
- 供职机构：西南交通大学信息科学与技术学院信息编码与传输四川省重点实验室更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 一种NLOS环境下提高蜂窝定位精度的加权RSA算法
- 在蜂窝无线定位的各种算法中,测量噪声和 NLOS 误差是主要误差源,尤其是 NLOS 已经成为影响定位精度的主要因素。本文主要介绍了一种基于距离测量值的定位算法——RSA 算法,该算法能在一定程度上减小 NLOS 误差给...
- 刘恒
- 关键词：NLOS误差RSA算法
- 文献传递
- 面向MC/DC覆盖的白盒单元测试用例自动生成技术
- 2024年
- 在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单元测试用例自动生成方案,该方案以MC/DC覆盖到分支覆盖的映射为理论依据,基于符号执行引擎KLEE和底层虚拟机(low-level virtual Machine,LLVM)基础技术框架设计了多款工具,从而自动生成满足测试代码MC/DC最高覆盖的测试用例,以此检测出由于设计导致的MC/DC无法达到100%覆盖的代码缺陷。
- 秦畅陈赛李坤刘恒杨柳马征
- 关键词：白盒测试测试用例自动生成
- 一种NLOS环境下提高蜂窝定位精度的加权RSA算法
- 在蜂窝无线定位的各种算法中,测量噪声和NLOS误差是主要误差源,尤其是NLOS已经成为影响定位精度的主要因素。本文主要介绍了一种基于距离测量值的定位算法--RSA算法,该算法能在一定程度上减小NLOS误差给定位带来的影响...
- 刘恒
- 关键词：蜂窝无线定位NLOS误差RSA算法
- 文献传递
