一种用于软件静态测试的关键字并行搜索方法

针对软件静态测试工具在执行代码分析过程中消耗大量时间用于搜索扫描的问题,提出一种基于模式匹配技术的多关键词并行搜索方法,建立了一种多关键词并行搜索框架。通过设计一个仿真系统,验证了该搜索架构的正确性,达到了比较好的效果,搜索速度有明显提升。

软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点。装备软件作为武器装备调度的"大脑",关键程度不言而喻。随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求。为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试结果靶向融合,突破人工分析导致的测试成本瓶颈,极大提升代码级规则检查、内存静态分析以及质量度量结果的精度。

C++ Test在单元测试中的应用研究

首先介绍了C++ Test的基本功能,然后详细介绍了该工具各种功能的使用方式,并对其专利功能模块和特殊应用方式进行了重点分析。该工具已经应用到了多个项目的测试中并取得了良好效果。