AI 生成代码的属性测试:用不变量覆盖模型没想到的输入
示例测试容易和模型实现共享盲点。本文从需求提取不变量,设计生成器、收缩器与确定性种子,并用反例回归门验证 AI 生成代码的输入空间。
Articles
沉淀 AI、Web、云原生和独立开发经验。
示例测试容易和模型实现共享盲点。本文从需求提取不变量,设计生成器、收缩器与确定性种子,并用反例回归门验证 AI 生成代码的输入空间。
Redis 不只是缓存,但很多人只会 set/get。本文讲清 Redis 的核心数据结构各适用的场景、生产级模式(缓存策略/分布式锁/限流/排行榜)、持久化与高可用选择、以及经典陷阱(缓存穿透/击穿/雪崩、大 key、过期策略),让你真正用好 Redis。
行覆盖率无法证明测试会拒绝错误补丁。本文把变异测试接入 AI 改动门禁,用限定范围、幸存变异审查和基线差分验证测试是否真正约束了新行为。
选错 API 风格,后期改不动。本文讲清 REST、GraphQL、gRPC 各自的哲学与适用场景:REST(资源/通用/简单)、GraphQL(灵活取数/前端驱动)、gRPC(高性能/内部微服务),按场景选型,以及 REST 自己也有坑(版本/状态码/嵌套)。
基础成本归因只能说明费用属于谁。本文用带有效期的费率卡、供应商发票校准、共享 COGS 和收入分摊政策建立可重算的运营毛利账。
"Prompt Injection 不是靠一句‘忽略恶意指令’就能解决的问题。本文从信任边界、最小权限、内容隔离、工具授权、输出校验和红队测试六个层次构建纵深防御。"
模型供应商 Key、对象存储凭证和签名密钥不能靠人工替换。本文给出资产盘点、双凭证切换、动态刷新、撤销验证与泄露应急的一体化轮换流程。
会写 Express 路由不算会 Node 后端。本文讲清生产级 Node 后端的关键:错误处理(别让进程崩)、日志与可观测、配置与密钥管理、数据库连接池、定时任务与队列、进程管理(PM2/cluster)、以及 Node 单线程并发的真相与误区。
单一 QPS 限流无法阻止长上下文和批任务挤占推理池。本文设计分层配额、原子记账、公平排队、突发额度与故障降级,保护多租户 AI 平台。
单库扛不住时怎么办?本文讲清数据库扩展的路径:先垂直优化(索引/查询/读写分离),再水平(分库分表),分片键怎么选、跨片查询怎么办、分布式事务与一致性、以及"别急着分库"——大多数项目用不上,先榨干单机。
新价格不应直接覆盖所有订阅。本文负责合同、价格、cohort 与账单 schedule 的迁移,用账单预演、分阶段生效和账后补偿控制风险。
Rust 最难也最核心的概念是所有权(ownership),它让 Rust 无 GC 也内存安全。本文用大白话讲清所有权、借用、生命周期这三件事,以及新手最常见的"和编译器搏斗"场景,帮你跨过 Rust 的第一道也是最陡的门槛。