Automatic Test Generation for Model-Based Code Generators

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

28 апреля 2026 г.

Почему слабые участники соревнований сдаются - и как это изменить

Доцент факультета экономических наук НИУ ВШЭ Анастасия Анцыгина разработала модель распределения призов, которая максимально стимулирует активность участников соревнований. Она предложила пересмотреть классический принцип «победитель получает все» и в некоторых случаях предлагать небольшую награду даже проигравшему. По ее мнению, это может повысить мотивацию участников и сделать соревнование более конкурентным. Результаты исследования опубликованы в журнале Economic Theory.

28 апреля 2026 г.

Исследователи НИУ ВШЭ собрали научную базу данных для изучения пищевых привычек у детей

Созданная в Высшей школе экономики база данных может стать основой для изучения пищевых привычек у детей. Об этом говорится в исследовании «Влияние возрастных, гендерных и социально-ролевых факторов на соответствие пищевого выбора детей возрастным нормам: экспериментальное исследование с веб-приложением Dish-I-Wish». Работа выполнена в рамках Программы фундаментальных исследований НИУ ВШЭ. Исследование было представлено в рамках XXVI Апрельской международной научной конференции.

27 апреля 2026 г.

«Уезжаешь с чемоданом новых идей и гипотез»

Апрельская международная научная конференция ежегодно привлекает молодых исследователей из разных регионов России. С 2019 года они могут принять участие в конкурсе, организованном НИУ ВШЭ, по итогам которого им компенсируются расходы на проезд и проживание в Москве. В этом году на конкурс поступило 17 заявок, было отобрано 8. Своими впечатлениями от конференции поделились его победители.

Нашли опечатку?
Выделите её, нажмите 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 г.