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 模拟和测试工作。
ERNIE-4.5-VL-28B-A3B-ThinkingERNIE-4.5-VL-28B-A3B-Thinking 是 ERNIE-4.5-VL-28B-A3B 架构的重大升级,通过中期大规模视觉-语言推理数据训练,显著提升了模型的表征能力和模态对齐,实现了多模态推理能力的突破性飞跃Python00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
MiniMax-M2MiniMax-M2是MiniMaxAI开源的高效MoE模型,2300亿总参数中仅激活100亿,却在编码和智能体任务上表现卓越。它支持多文件编辑、终端操作和复杂工具链调用Python00
HunyuanVideo-1.5暂无简介00
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00