| 基于Polyspace的静态分析及测试方法研究 |
| |
| 引用本文： | 王泉,丁锐,周敏刚,胡佳琳.基于Polyspace的静态分析及测试方法研究[J].航空计算技术,2020,50(4):84-88. |
| |
| 作者姓名： | 王泉 丁锐 周敏刚 胡佳琳 |
| |
| 作者单位： | 航空工业西安航空计算技术研究所,陕西 西安710068,航空工业西安航空计算技术研究所,陕西 西安710068,航空工业西安航空计算技术研究所,陕西 西安710068,航空工业西安航空计算技术研究所,陕西 西安710068 |
| |
| 摘 要： |
|
| 关 键 词： | 软件测试 静态分析 Polyspace SVN |
Static Analysis and Test Method Based on Polyspace |
| |
| WANG Quan,DING Rui,ZHOU Min-gang,HU Jia-lin.Static Analysis and Test Method Based on Polyspace[J].Aeronautical Computer Technique,2020,50(4):84-88. |
| |
| Authors: | WANG Quan DING Rui ZHOU Min-gang HU Jia-lin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
