基于扩展的层次有色petri网的组合服务测试用例生成.pdfVIP

第 38 春第 4 期 系~大学学报(吉然科学版) Vol. 38 No.4 2∞8 年 7 月 JOURNAL OF SOUτHEAST UNIVERSπY (NaturaI Science Edition) July 2008 基于扩展的层次有色 petri 网的组合服务测试用倒生成 蔡菊王迪李必信 (东南大学计算机科学与工程学珑，南京 211189 ) 撞要:为了更好地对 Web 蕴含壤务中各个服务间的交互行为进行剩试，提出了一种基于扩展的 层次有色 pe回到的组合服务测试用剖生成方法.首先将 OWL-S 文档峡射成为扩展的层次有色 petri 畴，使其中丰富的语义信息、数据流信息和控制涟信患模型住.然后利用扩展的层次有色 pe创网，着重对各雇务之间的数据琉关系进行分轩，找到房有的输出输入定义使用链，并将其扩 展成可执行的 ~J 试 ff 抖，最后将到试序列和摇试数据组合，生或槌试Jfl剖.其中生成的房有溃j 试 序列得合全定义一使用路径覆盖标准. 关键渴:有色 petri 同:数据流;羁试序列 ;OWL-S; 组合服务 中图分类号 :τ自 1 1. 5 文献棕识码 :A 文章编号: 1001 -0505(2∞8 )04-0598-07 Extended hierarchical color petri net-based test case generation for composite services Cai Ju Wang Di Li Bixin (Sc h∞lofCompu串er Science 翻d Engineering. Sou出east Universíty. Nanjing 211189. Chína) Abstract: To test 由e interactive behaviors between Web services in one compositε 娼rvi白， an ex? tended hierarchical color pe垣 net-based test case g岳阳路tion approach is proposed. First, the Web ontology language for sε罚ices (OWL-S) document is mapped to extended hierarchical color pe因 net which includes the sematic , control flow and data flow information. Then , using this petri net , the data flow is mainly anaIyzed to find all output-input-define-use chain. Those chains are extended to form executable test 娼quences. Finally , the test sequence and the 毛est data are combined to gener? ate the test case. AlI由e test sequencεsgεnerated by this approach satisfy the all-du-path criterion. Key words: color pe回 net; data flow; test sequence; Web ontolo