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

摘要：

鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性.利用代数方法从“观察”角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题.

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

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2014-01-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：2619-2630