咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 2 篇 半自动化扩展
  • 1 篇 静态程序
  • 1 篇 软件质量
  • 1 篇 代码分析
  • 1 篇 缺陷模式
  • 1 篇 软件缺陷查找
  • 1 篇 缺陷分析
  • 1 篇 静态分析

机构

  • 2 篇 北京大学

作者

  • 2 篇 孟娜
  • 1 篇 梁广泰
  • 1 篇 wang qian-xiang
  • 1 篇 li jin-hui
  • 1 篇 钟浩
  • 1 篇 liang guang-tai
  • 1 篇 zhang lu
  • 1 篇 李进辉
  • 1 篇 zhong hao
  • 1 篇 meng na
  • 1 篇 张路
  • 1 篇 王千祥

语言

  • 2 篇 中文
检索条件"主题词=半自动化扩展"
2 条 记 录,以下是1-10 订阅
排序:
一个可半自动化扩展的静态代码缺陷分析工具
收藏 引用
计算机学报 2011年 第6期34卷 1114-1125页
作者: 梁广泰 孟娜 李进辉 钟浩 张路 王千祥 北京大学信息科学技术学院高可信软件技术教育部重点实验室 北京100871
基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有... 详细信息
来源: 评论
一个静态程序缺陷查找工具的设计与部分实现
一个静态程序缺陷查找工具的设计与部分实现
收藏 引用
作者: 孟娜 北京大学
学位级别:硕士
软件缺陷是导致软件质量下降,软件成本升高,开发周期加长等的重要因素。为了帮助程序员更快的查找软件缺陷,研发人员们经过不懈努力,提出了一些行之有效的方法,静态分析就是众多方法之一。\n 静态分析通过分析程序的源代码或者... 详细信息
来源: 评论