A、引入一个额外的业务规则,把可用票的查询和临时预定合并起来
B、使顾客参与软件“竞争”,以买到票
C、不允许卖出最后一张票,因为这对其中的一位顾客是不公平的
D、由两个顾客自己商量决定
A、简短的 Brief
B、口头的 oral
C、随意的 casual
D、正式的 fully
A、在类的代码中,加入一些断言,不是定义契约,仅仅是测试
B、断言仅仅是一些逻辑表达式
C、断言不影响程序的执行
D、断言可以被评估,或者忽略
A、 P是前置条件
B、Q是运行结果
C、Q是后置条件
D、 A是执行功能
A、关联
B、依赖
C、聚合
D、组合
A、用例是否描述了应该做什么,而不是如何做
B、用例的描述是否采取了参与者的视点
C、用例的描述是否采取了设计者的视点
D、用例是否对参与者有价值
A、软件可靠性需要服务的提供方与客户方都有精确的规格说明
B、契约式设计DbC使用断言作为供/需双方之间的契约
C、类不变量是类实例都有一个自己的固定不变的值
D、断言包括前置条件、后置条件、不变量等
A、操作契约的名称
B、系统操作的运行时间
C、系统操作的前置条件
D、系统操作的后置条件
A、做正确的事情 “Do the right thing”
B、理解领域问题 Understand the domain
C、澄清并记录约束和需求 Clarify and record the constraints and requirements
D、考虑设计,集中在如何实现这些需求