科研之友
微信
新浪微博
Facebook
分享链接
摘要
目前航空电子系统复杂程度越来越高，随之而来的系统开发、验证、优化及维护等挑战也越来越大。作为军用装备系统软件的航电系统，其安全性与稳定性是软件开发过程中的重中之重。然而，在军用软件的开发过程中，会不可避免地出现人为因素的错误。有的错误甚至能够在编译过程中顺利通过，而在运行过程中才会出现，且不定期复现，给开发人员排查故障造成了很大困扰。Klocwork作为一款优秀的代码静态分析工具，可以快速识别出软件中严重的安全和质量缺陷，可以有效提高开发人员的开发效率，又可以及时地、准确地分析系统软件，极大提高系统软件的开发效率和软件的安全性与稳定性。总结归纳了航电系统软件中常见的代码缺陷和安全漏洞，分析并给出了具体的修改方法。
