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