ooОткрытое образованиеOpen Education1818-42432079-5939Plekhanov Russian University of Economics10.21686/1818-4243-2014-4(105-4-10oo-115Research ArticleМЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕMETHODICAL MAINTENANCEМетодика выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времениMETHODS OF CHOICE THE SOFTWARE TESTING AND ALGORITHMIC REDUNDANCY PARAMETERS TO ACHIEVE RELIABILITY REQUIREMENTS FOR THE REAL-TIME PROCESSING SYSTEMSЛясковскийВ. Л.LyaskovskyViktor L.

военная кафедра №1

д.т.н., профессор

Тел.: 8 (903) 800-89-64

www.bmstu.ru

Military Science №1

Doctor of Engineering Science, Professor, Chair

Tel.: 8 (903) 800-89-64

www.bmstu.ru

dop_big@mail.ruЮскевичИ. А.IlyaYuskevich A.

кафедра «Радиоэлектронные системы и устройства»

студент

Тел.: 8 (926) 787-12-26

www.bmstu.ru

Chair of Radioelectronic Systems & Devices

student

Tel.: 8 (926) 787-12-26

www.bmstu.ru

ilya.yuskevich@gmail.comМосковский государственный технический университет им. Н.Э. БауманаРоссияBauman Moscow State Technical UniversityRussian Federation20142705201604(105410Copyright © Лясковский В.Л., Юскевич И.А., 20162016Лясковский В.Л., Юскевич И.А.Lyaskovsky V.L., Ilya Y.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://openedu.rea.ru/jour/article/view/115

Разработан метод оценки показателя надежности программного обеспечения для системы обработки данных реального времени при комплексном применении как методов тестирования, так и резервных алгоритмов. Приведена постановка задачи выбора параметров тестирования и алгоритмического резервирования для обеспечения требований к надежности программного обеспечения систем обработки данных реального времени как задачи смешанного (целочисленного и непрерывного) программирования с нелинейными ограничениями. Задача решена методами полного перебора и адаптивного сеточного поиска. 

We propose methods for the evaluation software reliability parameter of the real-time processing systems at complex application software testing and algorithmic redundancy. A formulation of the problem of choice the software testing and algorithmic redundancy parameters for achieving reliability requirements for the realtime processing systems is given as a problem of the mixed (integer and continuous) programming with the nonlinear constraints. The problem is solved by brute-force and mesh adaptive direct search algorithms. 

надежность программного обеспеченияпоказатель надежноститестирование программного обеспеченияалгоритмическое резервированиецелочисленное программированиеметод сеточного адаптивного поискаметод полного перебораsoftware reliabilityreliability parametersoftware testingalgorithmic redundancyinteger programmingmesh adaptive direct searchbrute-force searchReferencesКоваленко К.А., Лясковский В.Л., Прохоров А.Г. К вопросу повышения надежности функционирования многомашинных вычислительных комплексов с использованием аппаратурных средств и программно-логических методов // Автоматика и телемеханика. – 1997. – № 3. – С. 226–233.Коваленко К.А., Лясковский В.Л., Прохоров А.Г. К вопросу повышения надежности функционирования многомашинных вычислительных комплексов с использованием аппаратурных средств и программно-логических методов // Автоматика и телемеханика. – 1997. – № 3. – С. 226–233.Лясковский В.Л., Кабардинский А.Ю., Догадов А.А. и др. Метод обеспечения функциональной надежности комплексов средств автоматизации на основе применения избыточности различного вида // Программные продукты и системы. – 2013. – № 2 (102). – С. 38–41.Лясковский В.Л., Кабардинский А.Ю., Догадов А.А. и др. Метод обеспечения функциональной надежности комплексов средств автоматизации на основе применения избыточности различного вида // Программные продукты и системы. – 2013. – № 2 (102). – С. 38–41.Корзун А.Е., Лясковский В.Л., Неплюев Р.Н. Организация отказоустойчивого функционирования комплексов средств автоматизации системы управления РЭС // Радиотехника. – 2010. – № 11. – С. 60–63.Корзун А.Е., Лясковский В.Л., Неплюев Р.Н. Организация отказоустойчивого функционирования комплексов средств автоматизации системы управления РЭС // Радиотехника. – 2010. – № 11. – С. 60–63.Лясковский В.Л., Догадов А.А., Колесниченко Р.В. Методический подход к обеспечению требуемой эффективности реализации функциональных процессов в автономных робототехнических комплексах на основе применения избыточности различного вида // В сборнике материалов V научно-практической конференции «Технические и технологические системы», Краснодар, 2013 г. – С. 178–180.Лясковский В.Л., Догадов А.А., Колесниченко Р.В. Методический подход к обеспечению требуемой эффективности реализации функциональных процессов в автономных робототехнических комплексах на основе применения избыточности различного вида // В сборнике материалов V научно-практической конференции «Технические и технологические системы», Краснодар, 2013 г. – С. 178–180.Майерс Г. Надежность программного обеспечения. – М.: Мир, 1980. – 356 c.Майерс Г. Надежность программного обеспечения. – М.: Мир, 1980. – 356 c.Надежность программного обеспечения. Анализ крупномасштабных разработок / Т. Тейер, М. Липов, Э. Нельсон. – M.: Мир, 1981. – 323 с.Надежность программного обеспечения. Анализ крупномасштабных разработок / Т. Тейер, М. Липов, Э. Нельсон. – M.: Мир, 1981. – 323 с.Структурное проектирование надежных программ встроенных ЭВМ / А.А. Штрик, Л.Г. Осовецкий, И.Г. Мессих. – Л.: Машиностроение. Ленингр. отделение, 1989. – 269 с.Структурное проектирование надежных программ встроенных ЭВМ / А.А. Штрик, Л.Г. Осовецкий, И.Г. Мессих. – Л.: Машиностроение. Ленингр. отделение, 1989. – 269 с.Audet C., Digabel S. Le, and Tribes C. NOMAD user guide. Technical Report G-2009-37, Les cahiers du GERAD, 2009.Audet C., Digabel S. Le, and Tribes C. NOMAD user guide. Technical Report G-2009-37, Les cahiers du GERAD, 2009.Лясковский В.Л., Юскевич И.А. Методический подход к оценке и обоснованию параметров алгоритмической избыточности в системах обработки данных специального назначения // В сборнике материалов V научно-практической конференции «Технические и технологические системы», Краснодар, 2013 г. – С. 181–184.Лясковский В.Л., Юскевич И.А. Методический подход к оценке и обоснованию параметров алгоритмической избыточности в системах обработки данных специального назначения // В сборнике материалов V научно-практической конференции «Технические и технологические системы», Краснодар, 2013 г. – С. 181–184.

The authors declare that there are no conflicts of interest present.