为了保证基于VxWorks平台的软件代码的质量，对软件源代码进行静态检查非常重要。以ClearCase作为配置管理工具，将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICPCI上，对软件源代码进行静态检查。详细叙述了Coverity和Fortify编译器的配置，以及在ICPCI工具的任务管理页面上配置检查任务。分析了检查过程中出现各种问题的原因并给出相应的解决方案。最后介绍了一个典型案例。工作实践表明，静态检查有助于及时发现并解决软件源代码的各种缺陷，从而提高软件质量