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

• 作者: 丁锐 周敏刚 王泉 胡佳琳
• 来源期刊: 航空计算技术
• 关键词: 软件测试 静态分析 Polyspace SVN
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 计算机软件
• 页码范围: 84-88
• 页数: 5页
• 分类号: TP311
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王泉		2	0	0.0	0.0
2	丁锐		1	0	0.0	0.0
3	周敏刚		1	0	0.0	0.0
4	胡佳琳		1	0	0.0	0.0