生成良好的软件状态空间的分割是对象设计的关键目标。

Creating a good partitioning of the software state space is a key goal of object design.

youdao

这些更新服务器提供不同的发行版，可以把服务器的维护外包，包括当前的软件状态、更新和补丁。

These update servers are available for different distributions and offer the advantage of outsourcing the maintenance of the server, including the current software status, updates, and fixes.

youdao

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。

Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.

youdao