杨朝红

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

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种行业信息化标准的校验系统的设计与实现被引量：1
《信息通信》2015年第11期64-65,共2页杨朝红 宫英方 肖庆 
近年来,随着信息化进程的不断推进,大型分布式信息系统越来越多。大型分布式信息系统通常由多个分系统构成,为了摒除传统"烟囱"式的信息系统架构,契合系统之间的拟合度,增强系统之间的互联互通,各行业制定了多项标准,这包括大量的数据...
关键词：信息化 校验系统 
过程约束信息在软件静态测试中的应用被引量：1
《计算机辅助设计与图形学学报》2011年第3期534-542,共9页金大海 宫云战 杨朝红 肖庆 
国家"八六三"高技术研究发展计划(2007AA010302;2009AA012404);国家自然科学基金(91018002)
为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生...
关键词：软件测试 静态分析 过程约束信息 约束状态机 
函数后置信息在软件静态测试中的应用被引量：2
《北京邮电大学学报》2010年第6期103-106,111,共5页金大海 宫云战 杨朝红 肖庆 
国家高技术研究发展计划项目(2009AA012404);国家高技术研究发展计划重点项目(2007AA010302)
为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法.采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI.该方法以较低的计算复杂性得到所有函数的后...
关键词：软件测试 静态测试 函数后置信息 控制流迭代 
一种路径敏感的静态缺陷检测方法被引量：29
《软件学报》2010年第2期209-217,共9页肖庆 宫云战 杨朝红 金大海 王雅文 
国家高技术研究发展计划(863)Nos.2007AA010302;2009AA012404~~
提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性...
关键词：缺陷检测 静态分析 路径敏感 数据流分析 程序分析 
消息分发系统中的元组空间分解算法研究
《计算机工程与设计》2010年第1期82-85,共4页郑广 宫云战 张威 杨朝红 
为解决分布式环境下消息分发系统中的按需通信,在对Gelernter元组空间模型进行改进的基础上,对消息分发系统中的元组空间通信进行了结构设计,定义了元组空间的特征模型,并基于局部性原理提出一种元组空间通信的空间分解算法。该算法依...
关键词：元组空间 特征模型 局部性原理 空间分解 单性空间覆盖率 
扩展区间运算的变量值范围分析技术被引量：15
《北京邮电大学学报》2009年第3期36-41,共6页王雅文 宫云战 肖庆 杨朝红 
国家高技术研究发展计划项目(2007AA010302)
首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方...
关键词：软件测试 静态分析 区间运算 范围分析 
无线传感器网络的数据存储和索引技术被引量：4
《计算机工程》2009年第5期101-102,共2页毕学军 杨朝红 
研究影响无线传感器网络数据存储和查询效率的应用指标,如查询比率和采样频率。对无线传感器网络数据存储方法与各种应用指标的关系进行定量分析和比较,给出各种方法的典型应用场景,为无线传感器网络的数据存储和索引技术设计提供了参考。
关键词：无线通信 无线传感器网络 数据存储 
基于扩展状态机的资源泄漏检测方法
《装甲兵工程学院学报》2009年第1期70-72,共3页杨朝红 刘海燕 肖庆 
基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计...
关键词：软件测试 静态分析 缺陷模式 状态机 
一种基于故障模式状态机的测试方法被引量：11
《北京化工大学学报（自然科学版）》2007年第A01期73-76,共4页肖庆 杨朝红 毕学军 
国家"863"计划(2006AA01Z184)
基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制...
关键词：软件测试 静态分析 数据流分析 故障查找 
多线程故障分析及解决方法
《北京化工大学学报（自然科学版）》2007年第A01期81-84,共4页刘玉璇 宫云战 杨朝红 
国家"863"计划(2006AA01Z184)
多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术...
关键词：多线程 故障模式 静态分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部