云南高校图书馆联盟文献共享服务平台- 国家高技术研究发展计划(2009AA012404)

国家高技术研究发展计划(2009AA012404): 作品数：14被引量：61H指数：5; 导出分析报告; 相关作者：宫云战金大海杨朝红肖庆王雅文更多>>; 相关机构：北京邮电大学装甲兵工程学院更多>>; 相关期刊：《计算机学报》《清华大学学报（自然科学版）》《电子学报》《计算机辅助设计与图形学学报》更多>>; 相关主题：软件测试控制流图软件静态测试不可达路径安全漏洞更多>>; 相关领域：自动化与计算机技术自然科学总论建筑科学更多>>

一种基于代码静态分析的缓冲区溢出检测算法被引量：16: 《计算机研究与发展》2012年第4期839-845,共7页王雅文姚欣洪宫云战杨朝红; 国家"八六三"高技术研究发展计划基金项目(2009AA012404);国家自然科学基金项目(91018002); 缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型:数据拷贝和格式化字符串造成的缓冲区溢出.分析了常见缓冲区溢出漏洞发生的原因,给出了格式化字符串存储长度的计算方法,介绍了一...; 关键词：安全漏洞缓冲区溢出静态分析区间运算函数摘要

Context-aware end-to-end QoS diagnosis and guarantee based on Bayesian network: 《High Technology Letters》2012年第1期51-58,共8页Lin Xiangtao Cheng Bo Chen Junliang Qiao Xiuquan; Supported by the National High Technology Research and Development Program of China （No. 2007AA010302, 2009AA012404）; the National Basic Research Program of China （No. 2007CB307103）; the National Natural Science Foundation of China （No. 60432010, 60802034） ; the Specialized Research Fund for the Doctoral Program of Higher Education （No. 20070013026）.; A systematic approach for end-to-end QoS qualitative diagnosis and quantitative guarantee is proposed to support quality of service （QoS） management on current Internet. An automatic unwatched discretization algorit...; 关键词：CONTEXT context discretization quality of service （QoS） qualitative diagnosis quantitativeguarantee Bayesian network

基于内存建模的复杂结构类型测试数据自动生成方法被引量：2: 《计算机辅助设计与图形学学报》2012年第2期262-270,共9页李飞宇宫云战王雅文; 国家自然科学基金(91018002);国家"八六三"高技术研究发展计划(2009AA012404); 针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义...; 关键词：路径测试数据生成复杂结构类型别名符号执行内存建模

基于源代码的内存泄漏静态分析方法被引量：4: 《内蒙古大学学报（自然科学版）》2011年第5期515-520,共6页甘红星金大海宫云战; 国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404);国家自然科学基金资助项目(91018002); 在很多大型C、C++程序中,内存泄漏是一种十分常见的问题.内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长.对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法.对可执行源码进行预处理,生成抽象语...; 关键词：内存泄漏控制流图抽象语法树可达路径

Java中空指针引用故障的静态检测方法被引量：5: 《清华大学学报（自然科学版）》2011年第S1期1509-1514,共6页杨睿金大海宫云战马跃; 国家"八六三"高技术项目(2009AA012404);国家自然科学基金项目(91018002); 空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形...; 关键词：软件测试静态分析空指针引用故障状态机控制流图

运行时异常对软件静态测试的影响研究被引量：6: 《计算机学报》2011年第6期1090-1099,共10页金大海宫云战杨朝红肖庆; 国家"八六三"高技术研究发展计划项目基金(2009AA012404);国家自然科学基金(91018002)资助; 当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分...; 关键词：软件测试静态分析运行时异常异常模式异常控制流

提高路径敏感缺陷检测方法的效率及精度研究被引量：9: 《计算机学报》2011年第6期1100-1113,共14页赵云山宫云战刘莉肖庆杨朝红; 国家"八六三"高技术研究发展计划项目基金(2009AA012404);国家自然科学基金项目"航天嵌入式软件缺陷检测方法研究;系统研发及应用"(91018002;2010)资助; 路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙...; 关键词：静态分析缺陷检测路径敏感误报程序切片上下文敏感分析域敏感分析

基于抽象解释的变量值范围分析及应用被引量：16: 《电子学报》2011年第2期296-303,共8页王雅文宫云战肖庆杨朝红; 国家863高技术研究发展计划重点项目(No.2007AA010302);国家863高技术研究发展计划(No.2009AA012404); 精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值...; 关键词：软件测试静态分析抽象解释区间抽象范围分析不可达路径

函数后置信息在软件静态测试中的应用被引量：2: 《北京邮电大学学报》2010年第6期103-106,111,共5页金大海宫云战杨朝红肖庆; 国家高技术研究发展计划项目(2009AA012404);国家高技术研究发展计划重点项目(2007AA010302); 为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法.采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI.该方法以较低的计算复杂性得到所有函数的后...; 关键词：软件测试静态测试函数后置信息控制流迭代

Java语言基于函数摘要的全局分析静态测试方法被引量：2: 《计算机研究与发展》2010年第S1期64-68,共5页胡成杰宫云战金大海; 国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404); 静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法....; 关键词：函数摘要静态测试缺陷模式全局分析

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家高技术研究发展计划(2009AA012404)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家高技术研究发展计划(2009AA012404)

检索结果分析

下载全文

用户登录

高级检索检索式检索