Ошибки в программном обеспечении

Свойства надежности программ принципиально отличаются от свойств надежности технических средств информационной системы. Основные отличия состоят в следующем:

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