Это часть спецификации? Нет? Тогда нет смысла и говорить о корректности, потому что каждый под этим подразумевает что-то свое.
в требованиях обычно указан уровень стабильности платформы - например она простаивает не более 20 минут в месяц или что транзакции в БД завершаются всегда корректно и т.п. Поэтому задача тестировщика не только проверить что в стандартных условиях платформа работает как она должна, но и в нестандартных при выполнении критические действий она либо сможет завершить действие, либо как минимум сообщит об этом.
Понятно что все нестандартные ситуации не просмотришь, но наиболее веротяные - легко.