Обеспечение надежности программ
Обеспечение надежности программ (program reliability support) — метод информатики, состоящий из совокупности синтаксических и семантических средств и способов их применения, обеспечивающих автоматическое обнаружение, локализацию, индикацию