基于Polyspace的静态分析及测试方法研究

摘要

根据某嵌入式平台软件特点,提出一种基于Polyspace的软件静态分析和测试方法.结合使用工具和人工分析按功能模块进行静态分析,合理更改完善软件再次静态分析确保未引入新问题,对更改后的软件重新编译和进行增量模块测试,确保更改结果编译正确,测试结果与更改前测试基线一致.同时借助SVN配置管理工具严格控制工作产品版本,有效进行同行评审,最终有效提高软件质量.