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

摘要：

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

关键词：软件测试、静态分析、Polyspace、SVN

所属期刊栏目：50

分类号：TP311(计算技术、计算机技术)

资助基金：国防基础科研项目资助A0520132029

在线出版日期：2020-08-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：84-88