|
北京智诚创想参加第二届军工产品软件测试及实验数据管理技术研讨会 |
为了进一步提高软件测评能力和试验环节信息化管理手段，确保军品质量与可靠性，提高科研生产效率，陕西省国防科工委于2009年4月23日至4月24日召开第二届军工产品软件测试及实验数据管理技术研讨会。
北京智诚创想有限公司技术总监郝建材先生出席了此次盛会，并做了主题为“利用源代码分析技术，编写高质量的代码”的精彩演讲。
 郝总监在做“利用源代码分析技术，编写高质量的代码”的精彩演讲
郝总监在演讲中阐述了源代码分析技术应用于军工行业开发高质量软件的观点：
- 代码缺陷是安全-关键软件的大敌，代码缺陷独立于软件功能，具有隐蔽性、难以测试、其发生与异常的内外部环境相关、后果严重的特点。
- 源代码分析技术是发现代码缺陷的有效技术。使用源代码分析技术发现代码缺陷不需运行程序、不需编写测试用例，而且能够基于路径遍历的算法彻底分析每一条可执行路径。源代码分析技术可以应用在软件开发的早期阶段，发现代码缺陷具有相当的覆盖度和深入性。
- 源代码分析技术与持续集成的结合，将能够把准确的源代码分析能力应用于编码阶段，而不再只是一种测试工具。通过在编码阶段彻底发现代码缺陷，将缺陷成本大大降低，通过贯彻“检入无缺陷代码”的原则，全面提高软件的质量和稳定性。
- Klocwork软件是行业领先的源代码分析工具。具备分析速度快、准确性高、分析缺陷类别全面、可扩展性好等优势，是一款实用性很好的工具。
通过此次研讨会，参会者更加认识到源代码分析对于整个软件开发生命周期的重要性，尤其是在质量与可靠性要求很高的军工领域，我们希望通过使用Klocwork源代码分析工具，能够切实提高军工行业软件产品的安全性和可靠性。
关于北京智诚创想：北京智诚创想科技有限公司是一家专业提供软件过程改进（SPI）、软件工程咨询和安全-关键系统软件测试服务的高新技术公司，客户主要分布于航空、航天、船舶、电子、兵器、通信等行业，主要为客户提供软件产品开发生命周期完整解决方案和工具。
关于Klocwork ：美国Klocwork公司开发的Klocwork软件是国际上领先的源代码分析产品。目前，Klocwor被广泛应用于国际上众多的知名软件企业，拥有Motorola、Alcatel-Lucent、Philips、Cisco等350多家成功客户。智诚创想公司是美国Klocwork公司在中国的总代理，负责Klocwork在中国的销售和技术服务。
Klocwork产品特点是：
- 分析缺陷类型全面而准确。Klocwork能够分析内存泄漏、空指针问题、缓冲区溢出、数组越界、未初始化变量等严重的质量问题，以及未经验证的输入、注入缺陷、DNS欺骗、设计信息泄漏等安全漏洞，还能分析度量指标和架构规则的违反。
- 功能全面、方便易用、扩展性好。Klocwork提供多操作系统平台上的代码分析、架构分析优化、报告展示和统计分析等功能，并支持分析功能的二次开发。
- 分析性能好、速度快。优良的算法使得百万行代码分析时间仅为几小时的量级，可支持上千万行代码项目的分析。提供多CPU多核的多线程并发分析和多服务器分布式并行分析。
- 支持面广。Klocwork同时支持个人级、集成级分析和联机桌面分析，能够尽早而准确地发现缺陷。
欲了解更多关于静态分析工具（Klocwork）的相关产品信息，请查看产品介绍或登录www.klocwork.com，也可致电：+86 10 63713937咨询。
|
