科研之友
微信
新浪微博
Facebook
分享链接
摘要
静态分析是软件测试的最初阶段,充分有效的静态分析可以显著降低软件测试成本、提高软件质量。介绍了Klocwork检查工具在中标麒麟操作系统中的详细检查步骤与检查脚本、对检查出来的缺陷的处理,以及Klocwork工具在军用软件静态分析中的安装过程及使用步骤。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。
- 出版日期2019
- 单位中国电子科技集团公司第五十四研究所
静态分析是软件测试的最初阶段,充分有效的静态分析可以显著降低软件测试成本、提高软件质量。介绍了Klocwork检查工具在中标麒麟操作系统中的详细检查步骤与检查脚本、对检查出来的缺陷的处理,以及Klocwork工具在军用软件静态分析中的安装过程及使用步骤。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。
