杨学红
- 作品数：6 被引量：4H指数：1
- 供职机构：中国联通更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- BPEL流程间死锁检测研究
- 2011年
- BPEL流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷,可能严重影响系统的可靠性与可用性.更为严重的是,对于业务流程组合这种可靠性和安全性要求极高的系统,一旦发生死锁,将会对业务系统产生严重的后果.为此作者在分析BPEL特性和死锁特征的基础上,提出了一种可在BPEL流程设计阶段检测流程死锁的方法,从而提高流程的可靠性,减少系统的维护代价.文中提出了一种从全局出发进行分析的方法,结合流程间执行的上下文信息,可以有效检测流程间的通信死锁,该方法也适用于其它与流程执行上下文相关的缺陷检测.
- 黄俊飞杨学红宫云战
- 关键词：BPEL死锁
- BPEL流程的故障模式及其静态分析技术的研究
- Web服务已经成为我们生活中的重要组成部分。面向服务计算的目的是通过组装独立的、松耦合的服务为构建软件提供基础。由于任何软件开发活动，包括开发组合服务，都需要执行应用的质量评估策略，尤其是验证和测试。服务组合是一个能够提...
- 杨学红
- 关键词：WEB服务有限状态机业务流程执行语言
- 文献传递
- 基于踪迹挖掘的自动缺陷警报分类方法
- 2014年
- 缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.
- 张大林金大海宫云战张海龙杨学红
- 关键词：踪迹
- BPEL静态缺陷检测方法被引量：2
- 2011年
- 为了对广泛流行的业务流程执行语言(BPEL)进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静态检测方法.面向缺陷模式检测的方法采用扩展有限状态机对缺陷进行建模,通过属性状态变迁条件判断缺陷状态,并在所有控制流汇合节点上合并相同属性状态的状态机实例,从而避免了冗余判断的问题.该方法已用于BPEL的缺陷检测系统中.实例验证结果说明,采用该方法进行测试有效可行,可用于提升流程的可靠性和准确性.
- 杨学红黄俊飞宫云战刘传昌
- 关键词：业务流程执行语言WEB服务组合
- 死路径语义下BPEL路径敏感性缺陷分析
- 2012年
- 软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于BPEL的组合Web服务流程的可靠性和健壮性,提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是BPEL提供的特殊语义,不具有任何执行信息,但是可以连接两个可执行路径片段.为了避免死路径对检测精度的影响,将死路径和路径条件有机地结合起来,采用了变量的抽象取值范围来表示流程的执行状态,即属性状态条件.通过状态条件中变量抽象取值范围为空来识别不可达路径及死路径,并在汇合节点进行了属性状态条件的合并.采用一个既与死路径相关又与执行路径相关的未初始化变量的缺陷检测贯穿整个分析与验证过程,进而说明了该方法的有效性.
- 杨学红黄俊飞宫云战
- 关键词：BPEL数据流分析
- 联通PaaS项目质量管理被引量：1
- 2015年
- 随着云计算的广泛应用,各种基于云的应用不断涌现,PaaS平台作为其中一种应用,需要对整个项目过程进行质量管理,有效控制整个项目的进展及风险。文章首先介绍云计算及PaaS的相关概念;然后针对PaaS项目的特点,对CMMI的裁剪策略进行分析;最后给出如何对实际项目进行CMMI管理的实例,说明如何针对项目特点进行过程域裁剪,从而可为以后的项目开发提供参考。
- 杨学红
- 关键词：云计算质量管理PAASCMMI
