Дана робота присвячена формальному представленню життєвого циклу дефекту програмного забезпечення. Модель життєвого циклу дефекту програмного забезпечення розглядається як ланцюжок, який починається з помилки розробника і закінчується відмовою програмного забезпечення. У статті подається загальна структура моделі дефекту життєвого циклу програмного забезпечення, яка включає в себе помилку розробника, помилку оператора, прихований дефект у програмному забезпеченні, активний дефект у програмному забезпеченні, помилку обчислення, збій або відмову, породжену вразливість, активовану вразливість, несанкціоноване управління та несанкціонований доступ до даних.
This work is devoted to a formal presentation of the life cycle of a software defect. The life cycle model of the software defect is considered as a chain that begins with a developer error and ends with a software failure. The article presents the general structure of the life cycle model of software defect, which includes developer error, operator error, hidden software defect, active software defect, calculation error, fault or failure, created vulnerability, activated vulnerability, unauthorized control and unauthorized access to data. This model is detailed in a set of pathological chains, which structurally represent modifications of the life cycle of software defect, taking into account the nature of the software defect itself.