基于代数规约的Web服务自动测试执行引擎-计算机与数字工程.PDF

Vol. 46 No. 1 计算机与数字工程 总第339 期 114 Computer Digital Engineering 第46 卷 2018 年第 1 期 基于代数规约的Web 服务自动测试执行引擎∗ 1 1 2 1 1 1 张 鑫 刘冬梅 朱 鸿 陈 颖 兰 斌 孙玉虎 （1. 南京理工大学计算机科学与工程学院 南京 210094 ）（2. 英国Oxford Brookes 大学计算与通讯系 牛津 OX33 1HX ） 摘 要 随着面向服务计算的迅速发展，Web