?
Применение формальных методов для тестирования MSR IPv6
Информатизация и связь. 2002. № 3.
Agamirzian I., Грошев С. Г., Ключников Г. Н., Косачев A. C., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов A. B., Шнитман В. З.
Language:
Russian
Silakov D., Зеленов С. В., Труды Института системного программирования РАН 2006 Т. 9 С. 129-142
В настоящей статье предложен метод GraphOTK автоматической генерации тестовых данных для тестирования оптимизирующих трансляторов графических моделей. Предложенный метод позволяет решить проблему автоматической генерации тестовых данных, а также за счет параметризации генератора позволяет варьировать количественные и качественные характеристики получаемых тестовых данных. ...
Added: September 22, 2015
Martyukova E., В кн. : Научно-техническая конференция студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского. Материалы конференции. : М. : МИЭМ НИУ ВШЭ, 2015. С. 91-91.
В работе рассматриваются функциональное тестирование программного обеспечения. Для данного вида тестирования будут определены проблемы и возможные варианты их решения. ...
Added: July 15, 2015
Voskov L., В кн. : Новые информационные технологии. Тезисы докладов XX международной студенческой конференции-школы-семинара. : М. : МИЭМ, 2012. С. 89-94.
Рассмотрено понятие интернета вещей и новый интернет протокол IPv6. Приводится краткий обзор эволюции интернет и WEB. Вводится и обосновывается новое определение WEB 3.0 - беспроводной Интернет вещей для коллективного создания и использования профессионального контента. Рассматривается аппаратная платформа интернета вещей на базе технологии беспроводных сенсорных сетей и реализованные на ее основе проекты. ...
Added: October 24, 2012
Voskov L., В кн. : XXI Международная студенческая школа-семинар «Новые информационные технологии». Тезисы докладов. : М. : МИЭМ НИУ ВШЭ, 2013. С. 53-58.
Рассматривается социальная сеть WEBа вещей – дальнейшее развитие WEBа, в котором интернет вещи (объекты реального мира, подключенные к интерент) объединяются на централизованном портале типа Facebook, для публикации и обмена информацией, представления взаимных услуг в интересах человека. Пользователь управляет ими через WEB- интерфейс и библиотеки виджетов, которая пополняется на портале пользователями, применяющими конструктор виджетов. Систем является ...
Added: June 5, 2013
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