杨朝红

作品数：40被引量：185H指数：10
导出分析报告
供职机构：装甲兵工程学院更多>>
发文主题：软件测试控制流抽象语法树状态机多线程更多>>
发文领域：自动化与计算机技术电子电信兵器科学与技术军事更多>>
发文期刊：《北京邮电大学学报》《微纳电子技术》《计算机研究与发展》《软件学报》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种综合营区的防护系统设计与实现
《信息通信》2017年第5期137-139,共3页白雪舰 王会宇 杨朝红 
随着社会的发展,人们对于安全保障的需求越来越强烈,而营区作为一个军事驻地,其本身的特殊性决定了安全保障尤为重要。文章首先对部队营区安全综合防护系统的需求进行了论述,然后对系统进行了硬件和软件设计,最后实现了防护系统,对营区...
关键词：防护系统 设计 实现 
一种行业信息化标准的校验系统的设计与实现被引量：1
《信息通信》2015年第11期64-65,共2页杨朝红 宫英方 肖庆 
近年来,随着信息化进程的不断推进,大型分布式信息系统越来越多。大型分布式信息系统通常由多个分系统构成,为了摒除传统"烟囱"式的信息系统架构,契合系统之间的拟合度,增强系统之间的互联互通,各行业制定了多项标准,这包括大量的数据...
关键词：信息化 校验系统 
一种面向栅格网的多域协同的网络链路资源调度方法被引量：1
《计算机测量与控制》2015年第11期3816-3818,3821,共4页杨朝红 罗翔 毛军礼 王小振 
网络资源调度是网络资源管理中的核心功能;提出一种面向栅格网的多域协同的网络链路资源调度方法,给出了网络资源调度需求描述方法,能够较好地描述用户网络链路资源调度需求,通过调度任务队列实现优先级调度,基于链路资源使用状态定义...
关键词：栅格网 多域协同 链路资源调度 
一种基于SNMP简单网络管理协议的网络资源拓扑图构建方法
《信息通信》2015年第10期27-28,共2页罗翔 杨朝红 毛军礼 王小振 
网络资源拓扑被发现是网络资源管理的重要问题,而为普通用户构建全方位且直观的网络资源拓扑结构图更是其中的关键。基于此目的,提出一种基于SNMP简单网管协议的网络资源拓扑图构建方法。
关键词：SNMP 网络资源发现 资源管理TRAP AGENT 
一种基于代码静态分析的缓冲区溢出检测算法被引量：16
《计算机研究与发展》2012年第4期839-845,共7页王雅文 姚欣洪 宫云战 杨朝红 
国家"八六三"高技术研究发展计划基金项目(2009AA012404);国家自然科学基金项目(91018002)
缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型:数据拷贝和格式化字符串造成的缓冲区溢出.分析了常见缓冲区溢出漏洞发生的原因,给出了格式化字符串存储长度的计算方法,介绍了一...
关键词：安全漏洞 缓冲区溢出 静态分析 区间运算 函数摘要 
运行时异常对软件静态测试的影响研究被引量：6
《计算机学报》2011年第6期1090-1099,共10页金大海 宫云战 杨朝红 肖庆 
国家"八六三"高技术研究发展计划项目基金(2009AA012404);国家自然科学基金(91018002)资助
当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分...
关键词：软件测试 静态分析 运行时异常 异常模式 异常控制流 
提高路径敏感缺陷检测方法的效率及精度研究被引量：9
《计算机学报》2011年第6期1100-1113,共14页赵云山 宫云战 刘莉 肖庆 杨朝红 
国家"八六三"高技术研究发展计划项目基金(2009AA012404);国家自然科学基金项目"航天嵌入式软件缺陷检测方法研究;系统研发及应用"(91018002;2010)资助
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙...
关键词：静态分析 缺陷检测 路径敏感 误报 程序切片 上下文敏感分析 域敏感分析 
过程约束信息在软件静态测试中的应用被引量：1
《计算机辅助设计与图形学学报》2011年第3期534-542,共9页金大海 宫云战 杨朝红 肖庆 
国家"八六三"高技术研究发展计划(2007AA010302;2009AA012404);国家自然科学基金(91018002)
为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生...
关键词：软件测试 静态分析 过程约束信息 约束状态机 
基于抽象解释的变量值范围分析及应用被引量：16
《电子学报》2011年第2期296-303,共8页王雅文 宫云战 肖庆 杨朝红 
国家863高技术研究发展计划重点项目(No.2007AA010302);国家863高技术研究发展计划(No.2009AA012404)
精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值...
关键词：软件测试 静态分析 抽象解释 区间抽象 范围分析 不可达路径 
函数后置信息在软件静态测试中的应用被引量：2
《北京邮电大学学报》2010年第6期103-106,111,共5页金大海 宫云战 杨朝红 肖庆 
国家高技术研究发展计划项目(2009AA012404);国家高技术研究发展计划重点项目(2007AA010302)
为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法.采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI.该方法以较低的计算复杂性得到所有函数的后...
关键词：软件测试 静态测试 函数后置信息 控制流迭代 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部