程序静态分析是白盒测试的主要手段,主要用于度量程序复杂度,分析程序是否满足一定的规则或标准,分析模块的结构并发现结构性错误。目前,关于程序静态分析的研究仍是软件工程研究的一个热点,也已经有一些产品面世。静态分析需要更加有效的算法,在程序模型的构造、路径选择等方面,需要有更好的策略。国内缺乏相关的成熟产品,目前较集中的研究是对C的静态分析。 本文主要根据现有理论成果并结合国外的LDRA(Liverpool Data Research Associates Limited)testbed的框架,构造了一个面向C模块源代码的静态分析工具。用信息流分析方法分析了程序中的变量和语句块,并证明了一些相关的结论,如无效变量、无效表达式、不合理的判定,死循环等。同时,在静态分析中加入了程序并行成份分析模块。利用模块间的耦合关系和变量的使用情况分析了作业级的程序并行成份,利用变量使用情况和程序分片技术分析了子程序级的程序并行成份。 用信息流分析方法分析程序的语句有助于在执行动态测试之前尽可能多地发现程序缺陷,降低测试开销。对程序并行成份的分析可以让相关人员更好地了解软件的结构,并在必要的时候方便地将串行程序修改为并行程序,提高软件的执行效率。另外,本文所述的分析程序并行成份的方法也可应用于软件再工程,对文档重构和逆向工程有一定的指导意义。