论文部分内容阅读
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从“观察”角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。
Since the Web service entities in open network environment mainly come from different third-party providers, and their formation and operation are often in an evolutionary state, it is difficult to adopt traditional test methods to ensure their reliability. Using algebraic methods to examine the system and its properties from the perspective of “observation ”, we combine the list highly associativity, reflectivity and reusability to describe and test the nature of web services related activities in detail. Test case formal description and its automatic production, as well as the design and implementation of service test list, with a view to solving the problems of dynamic flexibility and reusability that Web services testing currently faces.