Something bad will never happen. Something good will eventually happen.

Wow, that is a long title. Yes, they are the famous two principles in Software Engineering I’ve learned when I was in ITB. It says that, the software you designed is stable, if in general

  1. It will never enter a undesired state
  2. If it unfortunately enters an undesired state, it will eventually back to a desired state later.

While it is realistically impossible to achieve the first goal, although software engineers are trying to reach it as close as possible, there are many ways to accomplish the second one. It sometime can be some procedures, which are what we called "backup plans"; it sometime can be some kind of self recovery mechanism; or, it can be proved that the software will eventually do something good. Here is the video version of the idea.

发表回复

您的电子邮箱地址不会被公开。 必填项已用*标注

%d 博主赞过: