正しさとは

システムにおいて正しいとは想定通りであること。機能は想定する値を渡せば想定の値返すことが正しい。システムは人が想定通りの操作をしたときに想定通りの結果が得られることが正しい。