单项选择题

()将在用例成功完成以后得到满足,它提供了系统的部分描述。

A.后置条件
B.前置条件
C.假设
D.状态