黄俊飞
- 作品数：93 被引量：64H指数：4
- 供职机构：北京邮电大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划高等学校骨干教师资助计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 结构测试中的边界值测试方法及其系统
- 本发明涉及一种结构测试中的边界值测试方法及其系统，所述方法包括：S1，根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则；S2，根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值；S3，为所述语句...
- 宫云战李峰黄俊飞金大海王雅文
- 一种单元测试中软件故障自动定位方法
- 本发明提供了一种单元测试中软件故障自动定位方法，包括：A、采用一组满足覆盖需求的测试用例，执行被测程序，判断测试用例的执行结果是否和预期结果一致；B、根据各测试用例对应的执行路径，分析路径上的边信息，确定由路径上的边组成...
- 王雅文宫云战韩春晓黄俊飞金大海唐容蔡敏
- BPEL流程间死锁检测研究
- 2011年
- BPEL流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷,可能严重影响系统的可靠性与可用性.更为严重的是,对于业务流程组合这种可靠性和安全性要求极高的系统,一旦发生死锁,将会对业务系统产生严重的后果.为此作者在分析BPEL特性和死锁特征的基础上,提出了一种可在BPEL流程设计阶段检测流程死锁的方法,从而提高流程的可靠性,减少系统的维护代价.文中提出了一种从全局出发进行分析的方法,结合流程间执行的上下文信息,可以有效检测流程间的通信死锁,该方法也适用于其它与流程执行上下文相关的缺陷检测.
- 黄俊飞杨学红宫云战
- 关键词：BPEL死锁
- IP网络的测试方法被引量：4
- 2001年
- 黄俊飞寿国础
- 关键词：IP网络通信网网络测试
- 应用异常控制流集的软件测试方法及系统
- 本发明公开了一种应用异常控制流集的软件测试方法及系统。本发明所提供的软件测试方法及系统，是通过异常模式状态机描述运行时异常行为，可以支持对控制流的扩展和故障的自动检测；通过运行时异常控制流扩展传统异常控制流，将抛出运行时...
- 金大海宫云战杨朝红肖庆黄俊飞王雅文
- 一种基于Hadoop的软件测试方法、装置和系统
- 本发明提供了一种基于Hadoop的软件测试方法、装置和系统，所述方法包括：管理服务器接收用户终端发来的待测软件和测试请求，将收到的待测软件发给Hadoop分布式文件系统(HDFS)，并根据收到的测试请求向一个或几个测试服...
- 黄俊飞宫云战陈思勤金大海王雅文
- 应用符号分析的软件测试方法
- 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符...
- 宫云战肖庆杨朝红金大海黄俊飞王雅文赵云山宋颖
- 基于移动智能网的移动数据业务系统的研究
- 黄俊飞
- 一种基于状态分区的静态缺陷检测求精方法
- 本发明涉及一种基于状态分区的静态缺陷检测求精方法，包括：S1：将待检测的缺陷模式属性状态机集合置于待测函数控制流入口；S2：程序通过路径由前置位置执行到目标位置；S3：属性状态机的状态沿程序路径进行传递以及变化，在目标位...
- 金大海张大林宫云战王雅文黄俊飞
- 一种缺陷关联方法及装置
- 本发明公开了一种缺陷关联方法，包括：从缺陷报告中提取缺陷对应的代码块，根据所提取的代码块生成缺陷相关代码块序列信息库；获取所述缺陷相关代码块序列信息库的基本频繁子序列，并消除所述基本频繁子序列中不满足约束条件的频繁子序列...
- 金大海宫云战张大林黄俊飞王雅文
