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

Static Analysis and Test Method Based on Polyspace

作　　者：王泉[1] 丁锐[1] 周敏刚[1] 胡佳琳 WANG Quan;DING Rui;ZHOU Min-gang;HU Jia-lin(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710068,China)

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2020年第4期84-88,共5页Aeronautical Computing Technique

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

摘　　要：根据某嵌入式平台软件特点,提出一种基于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.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]