?
Применение формальных методов для тестирования MSR IPv6
Информатизация и связь. 2002. № 3.
Agamirzian I., Грошев С. Г., Ключников Г. Н., Косачев A. C., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов A. B., Шнитман В. З.
Language:
Russian
Chashkin L., Маршутина Е. Н., В кн.: Девятнадцатая конференция «Свободное программное обеспечение в высшей школе» : материалы конференции / Переславль-Залесский, 28–30 июня 2024 года.: М.: МАКС Пресс, 2024. С. 151–154.
Данная работа посвящена развитию проекта VPCS при моделировании компьютерных сетей в программном эмуляторе GNS3. В работе предлагается решение проблемы ограниченных возможностей виртуальных компьютеров VPCS при моделировании IPv6-адресации в GNS3. Разработан механизм добавления и использования статического маршрута по умолчанию при IPv6-адресации для виртуальных компьютеров VPCS. ...
Added: October 25, 2025
Silakov D., Зеленов С. В., Труды Института системного программирования РАН 2006 Т. 9 С. 129–142
В настоящей статье предложен метод GraphOTK автоматической генерации тестовых данных для тестирования оптимизирующих трансляторов графических моделей. Предложенный метод позволяет решить проблему автоматической генерации тестовых данных, а также за счет параметризации генератора позволяет варьировать количественные и качественные характеристики получаемых тестовых данных. ...
Added: September 22, 2015
Martyukova E., В кн.: Научно-техническая конференция студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского. Материалы конференции.: М.: МИЭМ НИУ ВШЭ, 2015. С. 91–91.
В работе рассматриваются функциональное тестирование программного обеспечения. Для данного вида тестирования будут определены проблемы и возможные варианты их решения. ...
Added: July 15, 2015
Dyaikin A., В кн.: Антропоцентрические науки: инновационный взгляд на образование и развитие личности: материалы 1-й Международной научно-практической конференции.: Воронеж: Научная книга, 2014. С. 536–538.
Необходимость систематического контроля усвоения учебного материала является важнейшим элементом учебного процесса. Современные технологии позволяют перевести такой контроль в автоматизированный вид. Важным моментом систематического программированного контроля знаний является его объективность, что обусловлено переносом акцента с карательной функции на информативную. На основе общего опыта разработки контролирующих программ и изучения различных источников выделен ряд форм контрольных вопросов, каждая из ...
Added: November 14, 2014
Bessonov V., Lyadova L. N., , in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014).: M.: -, 2014. P. 143–149.
Most modern software is written in high level languages. The task of translating source code, written in high-level languages, into a representation, which can be executed on a computer system, solves by specialized programs called compilers. Errors in compilers lead to differences between the behavior of modules, resulting from the work of compilers, and behavior, ...
Added: June 9, 2014
Voskov L., В кн.: XXI Международная студенческая школа-семинар «Новые информационные технологии». Тезисы докладов.: М.: МИЭМ НИУ ВШЭ, 2013. С. 53–58.
Рассматривается социальная сеть WEBа вещей – дальнейшее развитие WEBа, в котором интернет вещи (объекты реального мира, подключенные к интерент) объединяются на централизованном портале типа Facebook, для публикации и обмена информацией, представления взаимных услуг в интересах человека. Пользователь управляет ими через WEB- интерфейс и библиотеки виджетов, которая пополняется на портале пользователями, применяющими конструктор виджетов. Систем является ...
Added: June 5, 2013
Voskov L., В кн.: Новые информационные технологии. Тезисы докладов XX международной студенческой конференции-школы-семинара.: М.: МИЭМ, 2012. С. 89–94.
Рассмотрено понятие интернета вещей и новый интернет протокол IPv6. Приводится краткий обзор эволюции интернет и WEB. Вводится и обосновывается новое определение WEB 3.0 - беспроводной Интернет вещей для коллективного создания и использования профессионального контента. Рассматривается аппаратная платформа интернета вещей на базе технологии беспроводных сенсорных сетей и реализованные на ее основе проекты. ...
Added: October 24, 2012