将人工智能赋能软件工程,以高效地构建高质量软件为目标,研究软件缺陷检测及预测、错误定位、软件修正、克隆代码检测及维护等技术。分布式增量式索引的大规模本地代码搜索引擎,使之有效支持相似漏洞挖掘。既支持关键字也支持代码片段搜索,并且分析源代码的语法信息,支持多种模糊度语义级别的查询,从而可以提高搜索的精度。增量式的多版本软件演化分析,具有良好的可扩展性,可快速分析大规模代码。该成果被应用于大规模企业级代码漏洞挖掘和安全检测,维护软件安全。
图:智能软件工程平台
将人工智能赋能软件工程,以高效地构建高质量软件为目标,研究软件缺陷检测及预测、错误定位、软件修正、克隆代码检测及维护等技术。分布式增量式索引的大规模本地代码搜索引擎,使之有效支持相似漏洞挖掘。既支持关键字也支持代码片段搜索,并且分析源代码的语法信息,支持多种模糊度语义级别的查询,从而可以提高搜索的精度。增量式的多版本软件演化分析,具有良好的可扩展性,可快速分析大规模代码。该成果被应用于大规模企业级代码漏洞挖掘和安全检测,维护软件安全。
图:智能软件工程平台