您的位置: 专家智库 > >

黄俊飞

作品数:93 被引量:61H指数:4
供职机构:北京邮电大学更多>>
发文基金:国家自然科学基金国家高技术研究发展计划高等学校骨干教师资助计划更多>>
相关领域:自动化与计算机技术电子电信文化科学更多>>

文献类型

  • 74篇专利
  • 16篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 20篇自动化与计算...
  • 9篇电子电信
  • 1篇文化科学

主题

  • 31篇控制流
  • 16篇测试用例
  • 15篇语法树
  • 15篇抽象语法
  • 15篇抽象语法树
  • 11篇代码
  • 11篇软件测试
  • 10篇语句
  • 10篇流图
  • 10篇控制流图
  • 10篇函数
  • 8篇状态机
  • 8篇函数调用
  • 5篇回退
  • 5篇符号表
  • 5篇遍历
  • 4篇语法
  • 4篇源程序
  • 4篇实例化
  • 4篇自动生成

机构

  • 92篇北京邮电大学
  • 1篇清华大学

作者

  • 92篇黄俊飞
  • 75篇宫云战
  • 70篇金大海
  • 70篇王雅文
  • 8篇廖建新
  • 8篇李峰
  • 8篇张大林
  • 7篇王前
  • 6篇肖庆
  • 6篇杨朝红
  • 6篇董玉坤
  • 5篇周虹伯
  • 5篇林昭文
  • 5篇蔡敏
  • 5篇赵云山
  • 4篇邢颖
  • 4篇唐容
  • 4篇钱茛南
  • 3篇于鹏洋
  • 3篇杨学红

传媒

  • 4篇北京邮电大学...
  • 3篇现代电信科技
  • 2篇计算机工程与...
  • 2篇软件
  • 1篇计算机学报
  • 1篇软件学报
  • 1篇通讯世界
  • 1篇计算机科学
  • 1篇信息通信技术
  • 1篇2003中国...

年份

  • 2篇2022
  • 1篇2019
  • 4篇2018
  • 13篇2017
  • 10篇2016
  • 14篇2015
  • 15篇2014
  • 6篇2013
  • 10篇2012
  • 5篇2011
  • 2篇2010
  • 2篇2005
  • 1篇2004
  • 5篇2003
  • 1篇2002
  • 1篇2001
93 条 记 录,以下是 1-10
排序方式:
一种单元测试中软件故障自动定位方法
本发明提供了一种单元测试中软件故障自动定位方法,包括:A、采用一组满足覆盖需求的测试用例,执行被测程序,判断测试用例的执行结果是否和预期结果一致;B、根据各测试用例对应的执行路径,分析路径上的边信息,确定由路径上的边组成...
王雅文宫云战韩春晓黄俊飞金大海唐容蔡敏
文献传递
BPEL流程间死锁检测研究
2011年
BPEL流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷,可能严重影响系统的可靠性与可用性.更为严重的是,对于业务流程组合这种可靠性和安全性要求极高的系统,一旦发生死锁,将会对业务系统产生严重的后果.为此作者在分析BPEL特性和死锁特征的基础上,提出了一种可在BPEL流程设计阶段检测流程死锁的方法,从而提高流程的可靠性,减少系统的维护代价.文中提出了一种从全局出发进行分析的方法,结合流程间执行的上下文信息,可以有效检测流程间的通信死锁,该方法也适用于其它与流程执行上下文相关的缺陷检测.
黄俊飞杨学红宫云战
关键词:BPEL死锁
IP网络的测试方法被引量:4
2001年
黄俊飞寿国础
关键词:IP网络通信网网络测试
应用异常控制流集的软件测试方法及系统
本发明公开了一种应用异常控制流集的软件测试方法及系统。本发明所提供的软件测试方法及系统,是通过异常模式状态机描述运行时异常行为,可以支持对控制流的扩展和故障的自动检测;通过运行时异常控制流扩展传统异常控制流,将抛出运行时...
金大海宫云战杨朝红肖庆黄俊飞王雅文
文献传递
基于移动智能网的移动数据业务系统的研究
黄俊飞
一种基于状态分区的静态缺陷检测求精方法
本发明涉及一种基于状态分区的静态缺陷检测求精方法,包括:S1:将待检测的缺陷模式属性状态机集合置于待测函数控制流入口;S2:程序通过路径由前置位置执行到目标位置;S3:属性状态机的状态沿程序路径进行传递以及变化,在目标位...
金大海张大林宫云战王雅文黄俊飞
一种缺陷关联方法及装置
本发明公开了一种缺陷关联方法,包括:从缺陷报告中提取缺陷对应的代码块,根据所提取的代码块生成缺陷相关代码块序列信息库;获取所述缺陷相关代码块序列信息库的基本频繁子序列,并消除所述基本频繁子序列中不满足约束条件的频繁子序列...
金大海宫云战张大林黄俊飞王雅文
文献传递
一种基于GGSN触发的GPRS智能网被引量:9
2005年
详细分析了基于移动网络增强型逻辑的客户化应用(CAMEL)规范的通用分组无线业务(GPRS)智能网,指出了其中因采用服务GPRS支持节点(SGSN)作为业务触发实体而导致的一些缺陷.在此基础上提出了一个完整的基于网关GPRS支持节点(GGSN)触发的GPRS智能网方案,包括功能结构、状态模型和消息流的描述.给出了新方案中实现GPRS智能业务的基本信令流程.
黄俊飞廖建新
关键词:通用分组无线业务
基于控制流图的单元回归测试用例集合优化方法
本发明公开了一种基于控制流图的单元回归测试用例集合优化方法,包括:A、在被测单元修改前后的控制流图中找出被修改部分对应的修改点;B、筛选出执行路径经过修改点的测试用例,作为回归测试用例集合的一部分即选择测试用例集<I>T...
宫云战王雅文黄俊飞金大海蔡敏
文献传递
一种充分检测空指针引用缺陷的方法
本发明公开了一种充分检测空指针引用缺陷的方法,包括:基于抽象语法树识别出被测应用的全部可寻址表达式;根据控制流图对被测应用进行保守的区间运算与指针分析并根据区间运算与指针分析的结果,生成函数摘要;根据所述函数摘要以及抽象...
金大海宫云战董玉坤王雅文黄俊飞
文献传递
共10页<12345678910>
聚类工具0