公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

CODA中时序相关缺陷分析技术的设计与实现: 随着应用软件规模的日益增大，软件的运行环境越来越复杂，应用软件使用的中间件、第三方程序库越来越多，软件中包含的缺陷也越来越多。及时发现程序中的缺陷是软件领域的重要研究内容。　　程序静态分析是查找软件缺陷的有效途径之一...; 李进辉; 关键词：程序静态分析

一个可半自动化扩展的静态代码缺陷分析工具被引量：3: 2011年; 基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具——CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.; 梁广泰孟娜李进辉钟浩张路王千祥

全选清除导出

共1页<1>

李进辉