嵌入式软件测试工具静态分析研究

软件测试是软件工程中很重要的组成部分，分为动态测试与静态测试。静态分析在执行动态测试前可以尽可能发现程序中的缺陷，通过静态分析可以发现一些潜在的软件错误。例如软件的结构是否合理清晰，是否有变量冗余或者未定义的信息，接口是否脱节。还用于检查在逻辑上可能存在错误的结构以及多余的不可到达的程序段。静态分析主要包括代码分析、代码审查与软件度量三个方面。