原文: Design by Contract for Embedded Software (state-machine.com) Design by Contract is the single most effective programming technique for delivering high-quality code. Here you can learn what the Design by Contract programming philosophy is, what ca