在软件开发里，程序员编写前置和后置条件来确立特定软件组件的角色。
In software development, the programmer writes pre - and postconditions in order to establish the role of a particular software component.
后置条件测试确保组件完成操作的时候结果符合要求，假设前置条件已经满足。
Postcondition tests are guarantees that the component promises to satisfy when it completes the operation, assuming the preconditions are met.
耳机组件和前置摄像头也需要占用空间。
The earphone component and the front camera also take up space.
应用推荐