Встроенная в «Галактику» СУБД...
Встроенная в «Галактику» СУБД «Атлантис», реализующая реляционное представление
данных. Связи устанавливаются на этапе выполнения запросов к базе.
Для расчета надежности системы была использована методика динамического
моделирования–метод La Padula. Эта методика выбрана главным образом потому, что она дает
возможность составить прогноз надежности функционирования системы на будущее.
Это позволит обосновать целесообразность внедрения и производственной
эксплуатации данной системы. По этой модели выполнение последовательности тестов производится в т этапов. Каждый этап заканчивается внесением изменений (исправлений) в ПС. Возрастающая функция надежности базируется на числе ошибок, обнаруженных в ходе каждого тестового прогона.
Модель Lа Раdula. По этой модели выполнение последовательности тестов производится в т этапов. Каждый этап заканчивается внесением изменений (исправлений) в ПС. Возрастающая функция надежности базируется на числе ошибок, обнаруженных в ходе каждого тестового прогона.
Надежность ПС в течение i-го этапа:
, i = 1,2,3,…, (17)
где А – параметр роста;
при i ® Ґ, т. е. R (Ґ) – предельная надежность ПС.
Эти неизвестные величины автор предлагает вычислить, решив следующие уравнения:
, (18)
, (19)
где Si. – число тестов;
Оставить комментарий