检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]东南大学计算机科学与工程学院,南京211189
出 处:《东南大学学报(自然科学版)》2012年第3期428-434,共7页Journal of Southeast University:Natural Science Edition
基 金:国家自然科学基金资助项目(60973149);教育部博士点基金资助项目(20100092110022);江苏省高校科研成果产业化推进资助项目
摘 要:为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流图;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误.In order to find faults and reduce software maintenance costs in Web service choreography description language (WS-CDL) process, a novel approach of test path generation based on a control flow graph is proposed to test WS-CDL. First, the elements in WS-CDL are extracted as different types of nodes, and the predecessors and successors of a node are deduced based on the structure of WS-CDL process. Then the control flow graph is constructed by adding directed edges from prede- cessors to successors. Finally, all possible test paths are generated by traversing the control flow graph. The more the elements in the path, the more the faults that may be detected. In order to im- prove the rate of fault detection, two test path prioritization strategies based on the number of ele- ments in paths are proposed. A case study shows that testing can detect faults quickly in the descend- ing order of the number of uncovered elements in paths.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.216.130.198