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

作     者：张迎周 符炜 张卫丰 ZHANG Ying-zhou;FU Wei;ZHANG Wei-feng

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

出 版 物：《系统工程与电子技术》 (Systems Engineering and Electronics)

年 卷 期：2013年第35卷第12期

页      面：2619-2630页

核心收录：

学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 0802[工学-机械工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

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

主　　题：Web服务测试 测试用例表示 测试数据自动测试 单子技术 余代数方法 

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