随着微服务架构的广泛应用,微服务质量得到了越来越多的关注,以规约为基础的软件测试技术是保证服务质量的一种有效途径。作为一种高度抽象、独立于实现细节的形式化规约技术,代数规约通过构造等式公理在一定程度上缓解了测试预言问题,但微服务复杂的依赖关系以及响应结果的动态性给测试预言带来了一定的挑战。本文提出一种基于单线代数规约的微服务测试预言技术,一方面基于蜕变关系构造公理的原子模式和组合模式生成服务的测试预言,有效地解决了微服务复杂依赖关系带来的问题。另一方面在单线测试序列执行过程中加入服务自适应调度策略和有序树比较机制,从而较好地应对服务响应结果的动态性所带来的挑战。本文主要包括以下三个方面的研究工作:1.为更好地描述待测微服务特性,通过分析微服务响应结果间的关系,本文结合蜕变测试技术给出等价、相等、子集、并集和交集五种原子模式及组合模式,在此基础上提出基于蜕变关系模式的测试预言构造步骤。2.为提高单线测试序列执行成功率、解决微服务响应数据难以比较的问题,本文提出微服务测试预言执行框架,在单线测试序列转换为服务调用操作序列的基础上,测试执行过程中增加自适应调度机制应对复杂的网络状态,并将微服务响应结果转换为有序树从而实现复杂数据的比较。3.对原有基于代数规约的服务测试平台进行优化,设计和实现了微服务测试平台,在新的测试平台上针对数组服务Array和在线医疗系统OMS进行案例分析,并与已有技术进行比较。实验结果表明本文所提技术能提高测试序列执行的成功率和效率,有效检测出微服务系统中的缺陷,从而改进微服务系统的软件质量。