软件健康检测平台

软件健康检测平台（Software Health Check平台, 简称SHC平台）全力打造多位一体、支持软件全生命周期（whole-life cycle）的综合健康检测平台，从全方位视角保障基础软件、工具软件和应用软件不存在严重的健康问题，帮助软件企业、研究院所、测评机构推出高质量、高可信、高安全的软件产品。软件是一种智力密集型的产品，在软件开发过程中，由于技术、人员、管理以及不可控因素等方面的原因，总是存在这样那样的缺陷（defects），这些缺陷如果不能尽早发现并修复，有些可能降低软件产品的性能、增加资源消耗、增加软件运维成本，有些严重的缺陷甚至会引起严重的安全事故，给生命财产造成威胁和重大损失。如果一个软件的缺陷越多，一般会认为该软件的健康状况越差，反之，则认为该软件健康状况良好（软件中存在缺陷，就像人的身体中某些指标存在问题一样，所以软件健康检测过程类似于人的体检过程，但是技术手段完全不同）。目前SHC已经完成第一阶段的总体设计和开发，推出了第一阶段的软件平台，即软件健康检测平台SHC V1.0，集成了六个大型的核心软件工具，支持从软件架构度量和验证到程序代码健康检测的绝大部分功能，主要核心技术包括软件度量技术、软件验证技术、软件仿真技术、大数据技术、知识库技术和人工智能技术等。SHC V1.0的主要特点和技术创新如下，相关技术达到国内领先水平，有不少核心技术是国内首创。主要创新点包括：（1）全方位的缺陷类型分析；（2）全方位的缺陷分布检测；（3）全方位的缺陷检测视角；（4）全方位的缺陷检测技术；（5）全方位缺陷定位技术。
东南大学
李鸿伟