ПРОВЕРКА ФУНКЦИОНИРОВАНИЯ ПРОГРАММНЫХ КОМПЛЕКСОВ ПРИ ПЕРЕХОДЕ НА НОВУЮ ПРОГРАММНО-АППАРАТНУЮ ПЛАТФОРМУ

Статья в Elpub

Вопросы радиоэлектроники. 2017; : 100-103

ПРОВЕРКА ФУНКЦИОНИРОВАНИЯ ПРОГРАММНЫХ КОМПЛЕКСОВ ПРИ ПЕРЕХОДЕ НА НОВУЮ ПРОГРАММНО-АППАРАТНУЮ ПЛАТФОРМУ

Парамонов Н. Б., Минин И. В., Янко Д. В., Шаменков Н. А.

Аннотация

Рассматриваются подходы к тестированию программного обеспечения на основе формализаций в виде алгебры алгоритмов В. М. Глушкова. Показана применимость такого подхода для случая использования унаследованных программ. Определено множество обоснованных проверок при построении тестов проверок заданного предиката активизации программного комплекса на основе формирования тестовых примеров для логических функций.

Список литературы

1. Парамонов Н. Б. Испытания при замене вычислительных средств сложных технических систем // Вопросы радиоэлектроники. 2011. Т. 4. № 3. С. 161–172.

2. Ильиных С. Портируем Qt4 приложение на Qt5 [Электронный ресурс]. URL: https://habrahabr.ru/post/164721/

3. Моделирование информационных систем на разнесенном стенде / Н. Б. Парамонов, Ю. В. Морозов, И. В. Минин, Д. А. Токарев, Ю. Н. Парамонов // Вопросы радиоэлектроники. 2014. Т. 4. № 3. С. 160–170.

Issues of radio electronics. 2017; : 100-103

AUDIT OF SOFTWARE COMPLEXES WHEN SWITCHING TO A NEW SOFTWARE AND HARDWARE PLATFORM

Paramonov N. B., Minin I. V., Yanko D. V., Shamenkov N. F.

Abstract

Are examined approaches to testing of software on the basis of the formalizations in the form of the algebra of algorithms V. M. Glushkova. The applicability of this approach for the case of using the hereditary programs is shown. Are determined many substantiated checkings during the construction of the tests of testings of the assigned predicate of the making more active of program set on the basis of the formation of test examples for the logical functions.

References

1. Paramonov N. B. Ispytaniya pri zamene vychislitel'nykh sredstv slozhnykh tekhnicheskikh sistem // Voprosy radioelektroniki. 2011. T. 4. № 3. S. 161–172.

2. Il'inykh S. Portiruem Qt4 prilozhenie na Qt5 [Elektronnyi resurs]. URL: https://habrahabr.ru/post/164721/

3. Modelirovanie informatsionnykh sistem na raznesennom stende / N. B. Paramonov, Yu. V. Morozov, I. V. Minin, D. A. Tokarev, Yu. N. Paramonov // Voprosy radioelektroniki. 2014. T. 4. № 3. S. 160–170.