BDD 简单例子