关于形式化方法的服务自动测试方法.pdfVIP

第35卷第12期 系统工程与电子技术 V01．35No．12 2013年12月 andElectronics December2013 SystemsEngineering 文章编号：1001—506X(2013)12—2619—12 网址：WWW．sys—ele．COrN 基于形式化方法的服务自动测试方法 张迎周1’2～，符 炜1，张卫丰1’2’3 (1．南京邮电大学计算机学院，江苏南京210003； 2．桂林电子科技大学广西可信软件重点实验室，广西桂林541004； 3．江苏省无线传感网高技术研究重点实验室，江苏南京210003) 摘 要：鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者，并且其形成与运行过程常 处于一种演化状态中，故难以采取传统的测试方式保障其可靠性。利用代数方法从“观察”角度考察系统及其性 质，结合单子的高度可结合性、反射性和重用性，对Web服务相关活动的性质进行统一描述和测试，重点研究基 于单子的Web服务测试用例形式化描述及其自动生产，以及服务测试单子的设计和实现等，以期从一定程度上 解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。 关键词：Web服务测试；测试用例表示；测试数据自动测试；单子技术；余代数方法 311 中图分类号：TP 文献标志码：A DOI：10．3969／j．issn．1001—506X．2013．12．29 for Automatic servicesbasedonformalmethods testingtechnique ZHANG t2·3 Weil，ZHANG ring—zhoul’2”，FU Wei—fen91 Postsand 210003，China； (1．CollegeofComputer，NanjingUniversityof Telecomrnunicaitons，Nanjing Trusted Electronic 541004，China； 2．KeyLaboratoryof ScIft伽rg，GuilinUniversityof Technology，Guilin Research Wireless Sensor 210003，China) 3．JiangsuHighTechnologyKeyLaboratoryfor Networks，Nanjing Abstract：Sincea numberofserviceentitiescomefromdifferent inan net— 1arge third—partyprovidersopen workenvironmentandtheir and areinastateof generationimplementation evolvement，itisdifficul