Диагностирование программного обеспечения (обзор)

Рассматриваются основные направления диагностики программного обеспечения: доказательство корректности, тестовое диагностирование (тестирование) программ и методы создания программ, устойчивых к ошибкам. Подчеркивается, что наиболее эффективным средством повышения надежности программного обеспечения являются стандартизация и полнота технологии разработки программного продукта, где наибольший вес занимают различные методы диагностики, начиная от синтаксического анализа и проверки технического задания, записанного на специальном программном языке, и кончая тестированием и использованием контрольных сумм при тиражировании программного обеспечения, причем тестирование играет заметную роль и на этапе эксплуатации программ. Отмечается внутренняя связь основных принципов и методов диагностирования дискретных устройств (аппаратуры ЭВМ) и программ. Приводится список наиболее актуальных нерешенных проблем.