Багатоінваріантний метод підвищення надійності програмних засобів

Abstract

З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точностної та семантичної коректності обчислювальних процесів, та має у порівнянні з відомими меншу ресурсоємність та більшу діагностуючу спроможність виявлення залишкових дефектів.

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