论文部分内容阅读
软件缺陷是衡量软件测试充分性的一项重要指标，为了提高基于BPEL的组合Web服务流程的可靠性和健壮性，提出了一种死路径语义下路径敏感的缺陷检测方法。死路径是BPEL提供的特殊语义，不具有任何执行信息，但是可以连接两个可执行路径片段。为了避免死路径对检测精度的影响，将死路径和路径条件有机地结合起来，采用了变量的抽象取值范围来表示流程的执行状态，即属性状态条件。通过状态条件中变量抽象取值范围为空来识别不可达路径及死路径，并在汇合节点进行了属性状态条件的合并。采用一个既与死路径相关又与执行路径相关的未初始化变量