Automatic Test Generation for Model-Based Code Generators

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

6 октября 2026 г.

Пользователи теряют выгоду от ограничения сбора и обработки персональных данных

Экономист НИУ ВШЭ c помощью микроэкономической модели показала, что чрезмерно строгие ограничения на сбор и обработку персональных данных приносят пользователям больше вреда, чем пользы. Статья опубликована в журнале «Вопросы экономики».

5 октября 2026 г.

«Среди детей с задержкой развития устной речи 40% сталкиваются с трудностями при чтении и письме»

5 октября — День осведомленности о дислексии. С этим нарушением чтения, по разным оценкам, сталкиваются от 5 до 20% людей. В Центре языка и мозга НИУ ВШЭ не только изучают дислексию, но и создают цифровые инструменты для логопедов и нейропсихологов — «ЛексиМетр», «ЗАРЯ», «КОРАБЛИК» и другие, а родителям объясняют, как вовремя заметить трудности. Старший научный сотрудник центра Светлана Дорофеева рассказала, как отличить дислексию от лени и что на самом деле помогает.

2 октября 2026 г.

В НИУ ВШЭ обсудили этические границы взаимодействия человека и антропоморфного робота

В Высшей школе экономики состоялся экспертный семинар Центра этики и онтологии роботов Института робототехнических систем (ИРС), посвященный разработке практических требований к проектированию и безопасному внедрению антропоморфных роботов. Участники обсудили, как перевести этические принципы в технические параметры, протоколы проверки и требования к эксплуатации робототехнических систем.

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