Методика выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени
https://doi.org/10.21686/1818-4243-2014-4(105-4-10
Аннотация
Разработан метод оценки показателя надежности программного обеспечения для системы обработки данных реального времени при комплексном применении как методов тестирования, так и резервных алгоритмов. Приведена постановка задачи выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени как задачи смешанного (целочисленного и непрерывного) программирования с нелинейными ограничениями. Задача решена методами полного перебора и адаптивного сеточного поиска.
Об авторах
В. Л. ЛясковскийРоссия
военная кафедра №1
д.т.н., профессор
Тел.: 8 (903) 800-89-64
И. А. Юскевич
Россия
кафедра «Радиоэлектронные системы и устройства»
студент
Тел.: 8 (926) 787-12-26
Список литературы
1. Коваленко К.А., Лясковский В.Л., Прохоров А.Г. К вопросу повышения надежности функционирования многомашинных вычислительных комплексов с использованием аппаратурных средств и программно-логических методов // Автоматика и телемеханика. – 1997. – № 3. – С. 226–233.
2. Лясковский В.Л., Кабардинский А.Ю., Догадов А.А. и др. Метод обеспечения функциональной надежности комплексов средств автоматизации на основе применения избыточности различного вида // Программные продукты и системы. – 2013. – № 2 (102). – С. 38–41.
3. Корзун А.Е., Лясковский В.Л., Неплюев Р.Н. Организация отказоустойчивого функционирования комплексов средств автоматизации системы управления РЭС // Радиотехника. – 2010. – № 11. – С. 60–63.
4. Лясковский В.Л., Догадов А.А., Колесниченко Р.В. Методический подход к обеспечению требуемой эффективности реализации функциональных процессов в автономных робототехнических комплексах на основе применения избыточности различного вида // В сборнике материалов V научно-практической конференции «Технические и технологические системы», Краснодар, 2013 г. – С. 178–180.
5. Майерс Г. Надежность программного обеспечения. – М.: Мир, 1980. – 356 c.
6. Надежность программного обеспечения. Анализ крупномасштабных разработок / Т. Тейер, М. Липов, Э. Нельсон. – M.: Мир, 1981. – 323 с.
7. Структурное проектирование надежных программ встроенных ЭВМ / А.А. Штрик, Л.Г. Осовецкий, И.Г. Мессих. – Л.: Машиностроение. Ленингр. отделение, 1989. – 269 с.
8. Audet C., Digabel S. Le, and Tribes C. NOMAD user guide. Technical Report G-2009-37, Les cahiers du GERAD, 2009.
9. Лясковский В.Л., Юскевич И.А. Методический подход к оценке и обоснованию параметров алгоритмической избыточности в системах обработки данных специального назначения // В сборнике материалов V научно-практической конференции «Технические и технологические системы», Краснодар, 2013 г. – С. 181–184.
Рецензия
Для цитирования:
Лясковский В.Л., Юскевич И.А. Методика выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени. Открытое образование. 2014;(4(105):4-10. https://doi.org/10.21686/1818-4243-2014-4(105-4-10
For citation:
Lyaskovsky V.L., Ilya Yu.A. METHODS OF CHOICE THE SOFTWARE TESTING AND ALGORITHMIC REDUNDANCY PARAMETERS TO ACHIEVE RELIABILITY REQUIREMENTS FOR THE REAL-TIME PROCESSING SYSTEMS. Open Education. 2014;(4(105):4-10. (In Russ.) https://doi.org/10.21686/1818-4243-2014-4(105-4-10