Методологические основы

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

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

Еще одной особенностью тестирования ПМ является необходимость и возможность обеспечения гарантий их высокого качества и пригодности для использования в разных проектах ПС. Перспективы многократного использования апробированных программных компонентов в различ­ных версиях ПС могут быть обеспечены только при четкой формализации их функций и условий применения, а также при доверии к корректной реализации функций и интерфейсов в определенной среде. Вследствие этого необходима систематичность тестирования и формализованный кон­троль достигнутой корректности после каждого цикла проверок. Завер­шать отладку и испытания ПМ следует их аттестацией, с приложением перечня реализуемых требований, интерфейсов, характеристик полноты тестирования и диапазонов варьирования тестовых данных. Такая аттеста­ция может служить гарантией качества для многократного использования ПМ в различной аппаратной и операционной среде.