国家高技术研究发展计划(2006AA01Z176)

作品数：6被引量：17H指数：3
导出分析报告
相关作者：刘超金茂忠包晓露龙翔李虎更多>>
相关机构：北京航空航天大学更多>>
相关期刊：《北京航空航天大学学报》《南京大学学报（自然科学版）》《电子学报》《中国科技成果》更多>>
相关主题：代码UM形式化定义形式化统一建模语言更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信软件结构及代码的审查和综合评估及支持工具
《中国科技成果》2010年第16期21-22,共2页刘超 
国家863计划课题（2006AA01Z176）.
随着中国软件产业和信息化建设的快速发展，软件产业呈现出多元化的趋势，各种软件产品的开发无一不迫切需要建立规范、有效的软件测试体系，以保证其软件产品的质量和开发效率。特别是对于我国正处于初创和发展阶段的大量中小型软件企...
关键词：软件结构 支持工具 综合评估 中小型软件企业 审查 代码 软件产业 软件产品 
UM L顺序图的形式化定义与特性分析被引量：4
《北京航空航天大学学报》2010年第3期350-352,362,共4页李晓丽 龙翔 包晓露 李虎 
国家自然科学基金资助项目(60703057);国家高技术研究发展计划资助项目(2006AA01Z176)
以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步...
关键词：统一建模语言 顺序图 形式化 模型验证 
自动Java代码缺陷检测技术被引量：2
《南京大学学报（自然科学版）》2010年第1期64-70,共7页薛頔 金茂忠 刘超 
国家高技术研究发展计划(863计划)(2006AA01Z176);"十一五"国防预研项目
代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种"劳动力密集型"的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工...
关键词：代码审查 缺陷检测 缺陷模式 缺陷模式树 
代码与文档间关联关系的提取方法研究和改进被引量：3
《电子学报》2009年第B04期22-30,共9页赖冠辉 王晓博 刘超 
国家863项目(No.2006AA01Z176);国家自然科学基金(No.90718018)
在潜在语义模型的基础上融入了软件文档和程序代码的特点,提出了基于类继承关系的代码聚类、代码特征项分类加权、引入相似度词典以及基于文档类型的分类搜索这四种改进策略.实验结果表明,四种策略可以在保持查全率不变的情况下提高查准...
关键词：信息检索 可跟踪性链 程序理解 逆向工程 
C++代码缺陷自动检测工具的研究与实现被引量：5
《计算机应用研究》2009年第5期1628-1631,共4页古可 刘超 金茂忠 
国家"863"计划资助项目(2006AA01Z176);国家"十一五"国防预研项目
通过编译的C++程序代码并不一定保证代码中不存在缺陷。代码中可能依然隐含了安全、设计或是风格上的缺陷,从而导致程序运行时出现内存泄露、指针误用等现象,或导致程序代码不清晰、可读性差。为了有效查找这些缺陷,探讨了可定制缺陷规...
关键词：静态分析 抽象语法树 缺陷检测 规则扩展 
轻量级静态分析器构造方法综述被引量：3
《计算机应用研究》2008年第8期2245-2249,共5页郭荣锋 金茂忠 刘超 
国家"863"计划资助项目(2006AA01Z176);国家"十一五"国防预研基金资助项目;国家自然科学基金资助项目(60573084)
由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已...
关键词：静态分析 轻量级静态分析器 分等级正则表达式 模糊分析 孤立文法 超集文法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部