主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
杨学红,黄俊飞,宫云战.死路径语义下BPEL 路径敏感性缺陷分析.软件学报,2012,23(3):504-516
死路径语义下BPEL 路径敏感性缺陷分析
Path Sensitive Defect Analysis for BPEL Under Dead Path Semantic
投稿时间:2011-03-09  修订日期:2011-05-06
DOI:10.3724/SP.J.1001.2012.04065
中文关键词:  BPEL  死路径清除  路径敏感分析  数据流分析  缺陷检测
英文关键词:BPEL  dead path elimination  path sensitive analysis  dataflow analysis  defect detection
基金项目:国家自然科学基金(91018002); 国家高技术研究发展计划(863)(2009AA012404)
作者单位E-mail
杨学红 北京邮电大学 计算机科学与技术系,北京 100876 yangxuehong@bupt.edu.cn 
黄俊飞 北京邮电大学 计算机科学与技术系,北京 100876  
宫云战 北京邮电大学 计算机科学与技术系,北京 100876  
摘要点击次数: 3423
全文下载次数: 3198
中文摘要:
      软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于BPEL 的组合Web 服务流程的可靠性和健壮性,提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是BPEL 提供的特殊语义,不具有任何执行信息, 但是可以连接两个可执行路径片段.为了避免死路径对检测精度的影响,将死路径和路径条件有机地结合起来,采用了变量的抽象取值范围来表示流程的执行状态,即属性状态条件.通过状态条件中变量抽象取值范围为空来识别不可达路径及死路径,并在汇合节点进行了属性状态条件的合并.采用一个既与死路径相关又与执行路径相关的未初始化变量的缺陷检测贯穿整个分析与验证过程,进而说明了该方法的有效性.
英文摘要:
      Software defect is an important indicator for measuring the adequacy of software testing. In order to improve the reliability and robustness of Web service composition based BPEL, this paper proposes a defect detecting method which combines the dead path into a path sensitive analysis. Dead path is a special semantic of BPEL, which has no execution information, but can connect two executed path segments. Using the abstract value of variable and its interval arithmetic, this method can identify an unreachable path and dead path, and also merge the conditions of property state at join points. A case study about uninitialized variable detecting which is related to dead path and executing path is given throughout the analysis, and verification is implemented to illustrate the effectiveness of this approach.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利