Automatic Test Generation for Model-Based Code Generators

D. Silakov; A. Petrenko; Zelenov S.; Conrad M.; Fey I.

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

20 мая 2026 г.

«Еж» против «родственника»: ученые измерили, как мозг реагирует на неожиданные слова в живой речи

Российские нейрофизиологи с участием исследователей из НИУ ВШЭ показали, что изучать восприятие живой речи можно с помощью вызванных потенциалов. Они доказали, что метод применим не только к отдельным словам, но и к непрерывной речи. Оказалось, что слова, сильно отличающиеся по смыслу от предыдущего контекста, мозг обрабатывает дольше, а служебные слова анализирует в два этапа: сначала определяет их грамматическую роль, а затем на этой основе предсказывает следующее слово. Исследование опубликовано в журнале Frontiers in Human Neuroscience.

20 мая 2026 г.

Творческая работа как лекарство от выгорания

Творческая и доброжелательная атмосфера, новые методы в Международной лаборатории (впоследствии центре) социокультурных исследований привлекают молодых исследователей. За годы работы в Вышке они становятся учеными и преподавателями, известными в России и за рубежом. О своем пути в центре и в Вышке, исследованиях и роли наставников в научных успехах рассказали главный научный сотрудник ЦСКИ Зарина Лепшокова и ведущий научный сотрудник Екатерина Бушина.

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Automatic Test Generation for Model-Based Code Generators

P. 75–81.

Силаков Д. В., Петренко А., Zelenov S., Conrad M., Fey I.

Язык: английский

Ключевые слова: генераторы тестов model-based approach Test Generator

В книге

Proceedings of Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006.

Margaria T., Steffen B. IEEE Computer Society, 2006.

Антропоцентрические науки: инновационный взгляд на образование и развитие личности: материалы 1-й Международной научно-практической конференции

Воронеж: Научная книга, 2014.

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

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

Visual Models Transformation in MetaLanguage System

Сухов А. О., Лядова Л. Н., , in: Advances in Information Science and Applications. Volumes I & II. Proceedings of the 18th International Conference on Computers (part of CSCC '14)Vol. 1-2.: Santorini Island: CSCC, 2014. P. 460–467.

At the process of creation and maintenance of information systems the model-based approach to the software development is increasingly used. This approach allows to move the focus from writing of the program code with using general purpose language to the models development with automatic generation of data structures and source code of applications. However at ...

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

Horizontal Transformations of Visual Models in MetaLanguage System

Сухов А. О., Лядова Л. Н., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 31–40.

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

Добавлено: 2 сентября 2013 г.

Опыт использования программного продукта Exam View Pro, Google Docs и сайта Wiki в онлайн режиме преподавания английского для специальных целей студентам факультета бизнес информатики

Кузьмина Т. А., В кн.: Актуальные проблемы преподавания иностранных языков в неязыковых вузах (материалы Межфакультетской научно-методической конференции).: М.: Издательский дом НИУ ВШЭ, 2012. С. 373–376.

В работе обсуждается опыт использования интернет ресурсов второго поколения Web2 в смешанном (blended) режиме обучения, который предполагает сочетание традиционных аудиторных занятий с самостоятельной работой студентов онлайн. Выбор онлайн инструментов Web2 основывался на анализе интернет ресурсов высокой функциональности, которыми являются сайты Wiki и Google в сочетании с возможностями интерактивных генераторов тестов Exam View Pro, а также ...

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