Microcks 1.11.0 版本发布:API 模拟与测试工具的重大更新
Microcks 是一个开源的 API 模拟和测试工具,它能够帮助开发者和测试人员快速创建 API 的模拟服务,支持多种协议包括 REST、GraphQL、gRPC 和异步 API 等。最新发布的 1.11.0 版本带来了多项功能增强和问题修复,进一步提升了工具的实用性和稳定性。
主要功能更新
1. REST API 头部调度支持
在 1.11.0 版本中,Microcks 新增了对基于 HTTP 头部的请求调度支持。这意味着开发者现在可以根据请求中的特定头部值来路由到不同的模拟响应,为更复杂的 API 测试场景提供了可能。
2. Avro 模式嵌入支持
对于使用 Apache Avro 作为数据序列化格式的用户,新版本增加了对嵌入式 Avro 模式的支持。这一改进使得在 Kafka 等消息系统中使用 Avro 格式的消息更加方便,同时新增的 AsyncAPISchemaUtil 工具类简化了模式处理流程。
3. GraphQL 查询别名支持
GraphQL 用户现在可以在单查询中使用别名功能,这提高了查询的灵活性和可读性,特别是在需要多次查询同一字段但需要不同返回名称的场景下特别有用。
4. 参数约束规范
新版本在 APIMetadata 和 OpenAPI 的 x-microcks-operation 扩展中增加了 parameterConstraints 规范,允许开发者定义更精细的 API 参数约束规则,提升 API 测试的准确性。
测试与验证增强
1. REST 验证端点
1.11.0 版本新增了 rest-valid 端点,并提供了 UI 开关来控制 REST 验证 URL 的行为。这使得 API 验证过程更加灵活可控。
2. gRPC 失败响应支持
现在 Microcks 能够正确处理 gRPC 调用中的失败响应,完善了 gRPC 协议的测试覆盖范围。
3. SOAP 验证开关
新增了 SOAP 模拟服务的 URL 验证开关,用户可以根据需要开启或关闭 SOAP 请求的 URL 验证功能。
安全与部署改进
1. Keycloak 升级
Microcks 现在支持 Keycloak 26.0.0 版本,更新了相关的健康检查探针配置,确保与最新版 Keycloak 的兼容性。
2. 容器安全增强
新版本为容器镜像添加了 Cosign 签名支持,并生成了 SPDX 格式的软件物料清单(SBOM),提高了软件供应链的安全性。
3. Helm Chart 优化
Helm Chart 现在包含了资源限制配置和 Keycloak PostgreSQL 的默认值,简化了生产环境部署。
问题修复与稳定性提升
1.11.0 版本修复了多个关键问题,包括:
- 修复了 WebSocket 会话中查询参数重复的问题
- 解决了 MongoDB 持久卷的权限问题
- 修正了 HAR 导入器的默认行为
- 修复了管理器组同步和构件管理权限问题
技术栈更新
Microcks 1.11.0 将基础技术栈升级到了:
- Java 21
- Spring Boot 3.3.7
- Quarkus 3.15.1
这些更新带来了性能提升和新特性支持,同时保持了向后兼容性。
总结
Microcks 1.11.0 版本在功能丰富性、测试能力和安全性方面都有显著提升。特别是对 Avro 模式的支持和 REST 头部调度功能的加入,使得 Microcks 能够更好地满足复杂 API 测试场景的需求。对于已经在使用 Microcks 的团队,建议评估升级到新版本以利用这些改进;对于新用户,1.11.0 版本提供了一个功能更加完善的起点来开始 API 模拟和测试工作。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C046
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0123
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00