Процес аналізу програмного забезпечення пункту, щоб виявити відмінності між існуючих і необхідні умови (тобто, помилки) і оцінити особливості елемент програмного забезпечення.