摘要
根据某嵌入式平台软件特点,提出一种基于Polyspace的软件静态分析和测试方法。结合使用工具和人工分析按功能模块进行静态分析,合理更改完善软件再次静态分析确保未引入新问题,对更改后的软件重新编译和进行增量模块测试,确保更改结果编译正确,测试结果与更改前测试基线一致。同时借助SVN配置管理工具严格控制工作产品版本,有效进行同行评审,最终有效提高软件质量。
According to the characteristic of embedded platform software,a static analysis and test method based on Polyspace was proposed.On the basis of the analysis of the functional modules,the tools and manual analysis was employed to achieve the static analysis.Redo the static analysis to ensure no other issues were introduced after the reasonable changes for the software.It is important to ensure the correctness of compiling results and the consistency of test results with baseline version by employing recompilation and incremental module testing.SVN was used to control the product version strictly and peer review was implemented to improve the quality of software.
作者
王泉
丁锐
周敏刚
胡佳琳
WANG Quan;DING Rui;ZHOU Min-gang;HU Jia-lin(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710068,China)
出处
《航空计算技术》
2020年第4期84-88,共5页
Aeronautical Computing Technique
基金
国防基础科研项目资助(A0520132029)。
