CORRECTNESS IN THE SOFTWARE LIFE CYCLE

摘要

In this paper, we analyze features of the software correctness cycle as a vital component of the software life cycle. As it is demonstrated, different processes and procedures of establishing higher software correctness can be separated into three categories: increasing, updating and upgrading correctness. We study properties of these processes and develop procedures for correctness evaluation and decision-making. The main goal is to help users to upgrade and update their software and to help companies to increase correctness of the software they produce and/or utilize. A specific attention is given to such a correctness property as decidability.