摘要：
基于LED和串口通信的DBC调试工具：HAssert --- Hyper LED/Serial Assert 。本文基于DbC思想 ，在Arduino平台上实现了两种断言显示方式---LED显示和串口输出显示。LED显示方式适用于没有串口(这种情况很少)，或者串口已经被占用的情况，只用一个LED的显示次数来调试程序；串口输出显示方式可以把断言内容传送到PC机，在PC机看到出错的位置（文件名和行号）... 阅读全文
摘要：
一.DbC基本概念DbC的思想源于商业活动中商家和用户的行为(义务和利益关系)，双方都要遵守一个契约(合同)，交易才能完成。商家与用户的契约关系如下：1. 商家必须提供某种产品(义务)，并有权获得用户支付的费用(利益)；2. 客户端必须支付费用(义务)，并有权获得产品(利益)；3. 商家用户双方都必须遵守某些义务，如法律，法规。二.软件中的DBCDbC(Design by Contract，按契约... 阅读全文