单项选择题

A.后置条件是描述系统对用户的反馈信息
B.后置条件约束用例执行后系统的状态
C.用例执行后什么必须为真
D.对于有多个事件流的用例,则应该有多个后置条件