Preview

Вопросы радиоэлектроники

Расширенный поиск

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

Полный текст:

Аннотация

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

Об авторах

Н. Б. Парамонов
ПАО «ИНЭУМ им. И. С. Брука»
Россия

д. т. н., профессор, главный научный сотрудник

119334, Москва, ул. Вавилова, д. 24, тел.: 8 (499) 135‑44‑61



И. В. Минин
432 ВП МО
Россия

начальник

тел.: 8 (495) 363‑96‑65



Д. В. Янко
432 ВП МО
Россия

начальник группы

тел.: 8 (495) 363‑96‑65



Н. А. Шаменков
НИИЦ ЦНИИ ВВКО МО
Россия

к. т. н., начальник отдела

129327, Москва, ул. Осташковская, д. 12а, тел.: 8 (903) 287‑25‑60



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

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

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

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


Для цитирования:


Парамонов Н.Б., Минин И.В., Янко Д.В., Шаменков Н.А. ПРОВЕРКА ФУНКЦИОНИРОВАНИЯ ПРОГРАММНЫХ КОМПЛЕКСОВ ПРИ ПЕРЕХОДЕ НА НОВУЮ ПРОГРАММНО-АППАРАТНУЮ ПЛАТФОРМУ. Вопросы радиоэлектроники. 2017;(3):100-103.

For citation:


Paramonov N.B., Minin I.V., Yanko D.V., Shamenkov N.F. AUDIT OF SOFTWARE COMPLEXES WHEN SWITCHING TO A NEW SOFTWARE AND HARDWARE PLATFORM. Issues of radio electronics. 2017;(3):100-103. (In Russ.)

Просмотров: 26


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2218-5453 (Print)
ISSN 2686-7680 (Online)