Применение формальных методов для тестирования MSR IPv6

И. Р. Агамирзян; Грошев С. Г.; Ключников Г. Н.; Косачев A. C.; Омельченко В. А.; Пакулин Н. В.; Петренко А. К.; Хорошилов A. B.; Шнитман В. З.

?

Применение формальных методов для тестирования MSR IPv6

Информатизация и связь. 2002. № 3.

Агамирзян И. Р., Грошев С. Г., Ключников Г. Н., Косачев A. C., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов A. B., Шнитман В. З.

В статье представлен опыт разработки тестового набора для реализации протокола IPv6 на Windows 2000. Тестовый набор предназначался для проверки соответствия реализации протокола IPv6 спецификациям IPv6. Проект по разработке тестового набора проходил при поддержке исследовательского гранта Microsoft Research.

Разработка тестового набора проводилась с использованием методологии тестирования UniTesK, которая разработана и развивается в Институте системного программирования РАН. В качестве объекта тестирования была выбрана MSR IPv6 – реализация IPv6, разработанная в Microsoft Research.

Язык: русский

Текст на другом сайте

Ключевые слова: протокол IPv6 автоматизированное тестирование

Расширение возможностей проекта VPCS при моделировании IPv6-адресации с использованием программного эмулятора компьютерных сетей GNS3

Чашкин Л. Б., Маршутина Е. Н., В кн.: Девятнадцатая конференция «Свободное программное обеспечение в высшей школе» : материалы конференции / Переславль-Залесский, 28–30 июня 2024 года.: М.: МАКС Пресс, 2024. С. 151–154.

Данная работа посвящена развитию проекта VPCS при моделировании компьютерных сетей в программном эмуляторе GNS3. В работе предлагается решение проблемы ограниченных возможностей виртуальных компьютеров VPCS при моделировании IPv6-адресации в GNS3. Разработан механизм добавления и использования статического маршрута по умолчанию при IPv6-адресации для виртуальных компьютеров VPCS. ...

Добавлено: 25 октября 2025 г.

Автоматическая генерация тестовых данных для оптимизаторов графических моделей

Силаков Д. В., Зеленов С. В., Труды Института системного программирования РАН 2006 Т. 9 С. 129–142

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

Добавлено: 22 сентября 2015 г.

Особенности процесса функционального тестирования при различных методологиях разработки программного обеспечения

Мартюкова Е. С., В кн.: Научно-техническая конференция студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского. Материалы конференции.: М.: МИЭМ НИУ ВШЭ, 2015. С. 91–91.

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

Добавлено: 15 июля 2015 г.

Разработка программного комплекса для автоматизированного контроля знаний студентов

Дяйкин А. Д., В кн.: Антропоцентрические науки: инновационный взгляд на образование и развитие личности: материалы 1-й Международной научно-практической конференции.: Воронеж: Научная книга, 2014. С. 536–538.

Необходимость систематического контроля усвоения учебного материала является важнейшим элементом учебного процесса. Современные технологии позволяют перевести такой контроль в автоматизированный вид. Важным моментом систематического программированного контроля знаний является его объективность, что обусловлено переносом акцента с карательной функции на информативную. На основе общего опыта разработки контролирующих программ и изучения различных источников выделен ряд форм контрольных вопросов, каждая из ...

Добавлено: 14 ноября 2014 г.

One Approach to Automated Compiler Verification

Bessonov V., Лядова Л. Н., , in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014).: M.: -, 2014. P. 143–149.

Добавлено: 9 июня 2014 г.

Социальные сети WEBа вещей

Восков Л. С., В кн.: XXI Международная студенческая школа-семинар «Новые информационные технологии». Тезисы докладов.: М.: МИЭМ НИУ ВШЭ, 2013. С. 53–58.

Рассматривается социальная сеть WEBа вещей – дальнейшее развитие WEBа, в котором интернет вещи (объекты реального мира, подключенные к интерент) объединяются на централизованном портале типа Facebook, для публикации и обмена информацией, представления взаимных услуг в интересах человека. Пользователь управляет ими через WEB- интерфейс и библиотеки виджетов, которая пополняется на портале пользователями, применяющими конструктор виджетов. Систем является ...

Добавлено: 5 июня 2013 г.

Интернет вещей

Восков Л. С., В кн.: Новые информационные технологии. Тезисы докладов XX международной студенческой конференции-школы-семинара.: М.: МИЭМ, 2012. С. 89–94.

Рассмотрено понятие интернета вещей и новый интернет протокол IPv6. Приводится краткий обзор эволюции интернет и WEB. Вводится и обосновывается новое определение WEB 3.0 - беспроводной Интернет вещей для коллективного создания и использования профессионального контента. Рассматривается аппаратная платформа интернета вещей на базе технологии беспроводных сенсорных сетей и реализованные на ее основе проекты. ...

Добавлено: 24 октября 2012 г.