Rust Property Testing: Input Spaces, Edge Cases, and Regression Shrinking

这是一场关于 Rust 属性测试（Property Testing）的实践课程，时长两小时，重点涵盖输入空间（Input Spaces）、边界情况（Edge Cases）和回归缩减（Regression Shrinking）。课程以 Rust 作为实现背景，但核心内容聚焦于软件工程基础、可靠性、测试以及运维清晰度。

受众：希望参加实用工程课程而非语言入门导览的初级及中级开发人员。

学习成果：

• 阐述 Rust 属性测试的实际应用边界
• 在小型工作示例中应用输入空间
• 在小型工作示例中应用边界情况
• 在小型工作示例中应用回归缩减

形式：两小时课程，包含简短的框架引导、具体示例、权衡讨论，以及用于实践的结课清单。