【摘要】 为了对广泛流行的业务流程执行语言(BPEL)进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静态检测方法.面向缺陷模式检测的方法采用扩展有限状态机对缺陷进行建模,通过属性状态变迁条件判断缺陷状态,并在所有控制流汇合节点上合并相同属性状态的状态机实例,从而避免了冗余判断的问题.该方法已用于BPEL的缺陷检测系统中.实例验证结果说明,采用该方法进行测试有效可行,可用于提升流程的可靠性和准确性.更多还原

【Abstract】 In order to detect the defects of widespread used business process execution language(BPEL) statically,the defects existed in BPEL programs are deeply studied.A defect-oriented static testing method for BPEL is presented.The extended finite state machine is used to model the defect under detections.The states of defects can be identified by transition conditions of the properties state.And the redundancy of calculation by merging the conditions of identical property state at join points in the control flow graph is avoided.Experiments show the validity and feasibility of this method,it can be used to enhance the reliability and accuracy of process.更多还原