Posted in Go语言基础和工具链Go泛型约束下的算法正确性验证：基于CLRS定理的Property-Based Testing实践（含QuickCheck for Go框架） 第一章：Go泛型约束下的算法正确 … Go泛型约束下的算法正确性验证：基于CLRS定理的Property-Based Testing实践（含QuickCheck for Go框架）Read more by 低调的Gopher|2026年2月22日|Go动态加载, if/for/switch注入, 基于属性的测试, Go泛型约束设计, 算法正确性验证, CLRS定理, QuickCheck
Posted in Go语言基础和工具链Go语言测试驱动开发（TDD）完整闭环：从接口契约定义→mock生成→property-based testing→mutation score评估 第一章：Go语言测试驱动开发（T … Go语言测试驱动开发（TDD）完整闭环：从接口契约定义→mock生成→property-based testing→mutation score评估Read more by Golang修行笔记|2026年2月3日|TDD接口契约, 基于属性的测试, 变异测试评分, Go语言测试驱动开发, Go动态加载, mock生成工具
