基于形式化方法的服务自动测试方法  

Automatic testing technique for services based on formal methods

作　　者：张迎周[1,2,3] 符炜[1] 张卫丰[1,2,3] 

机构地区：[1]南京邮电大学计算机学院,江苏南京210003 [2]桂林电子科技大学广西可信软件重点实验室,广西桂林541004 [3]江苏省无线传感网高技术研究重点实验室,江苏南京210003

出　　处：《系统工程与电子技术》2013年第12期2619-2630,共12页Systems Engineering and Electronics

基　　金：国家自然科学基金(60873049;61300054);江苏省自然科学基金(BK2009426);江苏省高校自然科学基金(10KJB520015);南京邮电大学攀登计划项目基金(NY210009);江苏省"青蓝工程"优秀青年骨干教师以及高校研究生科研创新计划项目(CXLX12_0479);广西可信软件重点实验室开放基金(PF13069)资助课题

摘　　要：鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。Since a large number of service entities come from different third-party providers in an open net- work environment and their generation and implementation are in a state of evolvement, it is difficult to ensure their reliability through traditional testing methods. This paper puts forward a novel formal framework to de scribe and automatically test the operations＇ properties of Web services. The main technologies adopted in this paper include the monad technology with its composability, reflectivity and reusability, and the coalgebraic method that takes an observer perspective on the study of Web-service systems. It focuses on monadic descrip-tion and autogeneration of Web-service test cases, as well as the design and implementation of service testing monads. The results show that the monadic testing framework could resolve to a certain extent the issues and challenges of dynamic flexibility, reusability and composability of Web service testing.

关 键 词：WEB服务测试 测试用例表示 测试数据自动测试 单子技术 余代数方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]