国家自然科学基金(60773160)

作品数：3被引量：14H指数：3
导出分析报告
相关作者：王千祥梁广泰邵津邓芳张路更多>>
相关机构：北京大学更多>>
相关期刊：《计算机学报》《计算机研究与发展》《计算机科学》更多>>
相关主题：监测方法软件质量保障软件系统软件维护更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CODAS:一个易扩展的静态代码缺陷分析服务被引量：3
《计算机科学》2012年第1期14-18,64,共6页梁广泰 王千祥 
国家973项目(2009CB320703);国家自然科学基金(60773160);国家自然科学基金重点项目(61033006);国家创新研究群体科学基金(60821003)资助
利用静态代码缺陷分析技术对软件进行早期缺陷检测,是提高软件质量的重要途径。静态代码缺陷分析工具(如FINDBUGS,JLINT,ESC/JAVA,PMD,COVERITY等)已经被证实可以成功地识别出大量的软件潜在缺陷[1-3]。然而,这类工具在可用性和有效性...
关键词：静态分析 代码缺陷分析 易扩展 服务 
一个可半自动化扩展的静态代码缺陷分析工具被引量：3
《计算机学报》2011年第6期1114-1125,共12页梁广泰 孟娜 李进辉 钟浩 张路 王千祥 
国家自然科学基金重点项目(61033006);国家"九七三"重点基础研究发展规划项目基金(2009CB320703);国家自然科学基金(60773160);国家创新研究群体科学基金(60821003)资助
基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有...
关键词：静态分析 缺陷分析 半自动化扩展 缺陷模式 
一种基于模型的软件系统监测方法被引量：8
《计算机研究与发展》2010年第7期1175-1183,共9页邵津 邓芳 王千祥 
国家"九七三"重点基础研究发展计划基金项目(2005CB321805);国家"八六三"高技术研究发展计划基金项目(2007AA010301;2006AA01Z175);国家自然科学基金项目(60773160)
软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软...
关键词：软件维护 软件质量保障 软件系统监测 运行时验证 约束 模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部