Методика выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени
Библиографическое описание:Лясковский, Виктор Людвигович. Методика выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени = Methods of choice the software testing and algorithmic redundancy parameters to achieve reliability requirments for the real-taim processing systems / В. Л. Лясковский, И. А. Юскевич. - (Методическое обеспечение). - Текст : непосредственный // Открытое образование. - 2014. - № 4. - С. 4-10 : рис. - Библиогр.: с. 9-10 (9 назв.). - ISSN 1818-4243.
Аннотация:Разработан метод показателя надежности программного обеспечения для системы обработки данных реального времени при комплексном применении как методов тестирования, так и резервных алгоритмов. Приведена постановка задачи выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени как задачи смешанного (целочисленного и непрерывного) программирования с нелинейными ограничениями. Задача решена методами полного перебора и адаптивного сетевого поиска.
Ключевые слова:алгоритмическое резервирование, метод адаптивного сеточного поиска, метод полного перебора, надежность программного обеспечения, показатель надежности, программное обеспечение, реальное время, резервные алгоритмы, системы обработки данных, целочисленное программирование, эвристический метод
Рубрики:Образование. Педагогика, Применение вычислительной техники в педагогике, Вычислительная техника, Программирование ЭВМ. Компьютерные программы. Программотехника
