熊　宇

(武汉数字工程研究所　武汉　430205)



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

熊宇

(武汉数字工程研究所武汉430205)

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

关键词软件静态测试; 模式匹配; 多关键词并行搜索

Class NumberTP311.5; TP391.1

1引言

软件静态测试是软件测试重要组成部分。其基本作用是在不运行代码的情况下，通过语法分析、词法分析、控制流和数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性和可维护性等指标要求的一种代码分析技术。大量的软件测试标准或者软件测试实施细则都把静态测试作为第一测试内容。由于现代软件系统的代码体量越来越大，采用现有的静态分析工具软件对代码进行静态分析的时间越来越长。如何快速高效地进行代码静态分析成为静态分析工具急需突破的一个重点。而关键词、特定变量或者值的扫描和搜索是实现软件静态分析的基本功能，其执行效率决定了静态分析工具软件的执行速度。提高关键词搜索效率是缩短静态分析时间的重要手段。

2常用的静态分析工具软件和关键

词搜索技术

2.1静态分析工具软件

常用的工具有Klockwork、Logiscope、Testbed等。……