Виктор Кулямин
kuliamin <[at]> ispras [(dot)] ru
Б. Коммунистическая, 25
109004, Москва, Россия
Содержание
Деятельность
Я участвую в исследованиях, в разработке и в преподавании.
Мои научные интересы на сегодняшний день - это программная инженерия в целом, обеспечение качества программ, использование формальных методов и моделей в программной инженерии и обеспечении качества ПО, тестирование на основе моделей, формальные методы в тестировании, а также - существенно неформальные аспекты и человеческий фактор в разработке ПО.
Но моя кандидатская диссертация посвящена свойствам многочленов в конечных матричных кольцах.
В качестве разработчика и архитектора ПО я вовлечен в создание технологии разработки тестов UniTESK и разработку поддерживающих ее инструментов.
В роли научного консультанта я участвовал в проекте OLVER, в рамках которого был разработан набор тестов для проверки соответствия стандарту Linux Standard Base.
Участие в организации конференций
Преподавание
Факультет ВМиК МГУ
Факультет ВМиК МГУ
С 2014 года курс "Основы программной инженерии"
Факультет ВМиК МГУ
Факультет ВМиК МГУ
Кафедра системного программирования, факультет ВМиК МГУ
Книги и монографии
Теория соответсвия для систем с блокировками и разрушением
М.: ФИЗМАТЛИТ, 2008 . 412 с.
Технологии программирования. Компонентный подход
М.: ИНТУИТ-Бином, 2007. 463 с.
Публикации и доклады
Case Studies of Summer Model-based Testing Framework
Model-based Testing User Conference, October 18-20, 2011
Обзор методов построения покрывающих наборов
Программирование, 37(3):3-41, 2011
Covering Arrays Generation Methods Survey
Proceedings of ISOLA'2010, part II, LNCS 6416:382-396
Компонентная архитектура среды для тестирования на основе моделей
Программирование, 36(5):54-75, 2010
Building Open Learning Environment for Software Engineering Students
B. O. Czerkawski, ed. Free and Open Source Software for E-Learning: Issues, Successes, and Challenges, pp.110-119, IGI Global, 2010
Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий
Труды ИСП РАН, 18:9-44, 2010
Использование компонентных технологий при разработке тестов
Лекция в рамках школы CSEDays. Application 2010, 12-14 ноября 2010
Component-based framework for model based testing
Talk on Dagstuhl Seminar 10421 Model-Based Testing in Practice, October 17-22, 2010
Цели, методы и ограничения формализации требований к программам
Лекция в Computer Science Club, Екатеринбург, 27-28 сентября 2010
Оpen source проект по тестированию браузеров на основе формальных спецификаций
Online-лекция 16 июня 2010
Тестирование на основе моделей
Лекция в Computer Science Club при ПОМИ РАН 25 апреля 2010
The Practice of Standards Formalization
Доклад в Microsoft Research 9 марта 2010
Формализация интерфейсных стандартов на практике
Доклад на семинаре "Технологии разработки и анализа программ", ВМиК МГУ 18 января 2010
Интеграция методов верификации программных систем
Программирование, 35(4):41-55, 2009
Корректность программ
Лекция на просеминаре кафедры Системного программирования ВМиК МГУ 4 декабря 2009
Организация сложных тестовых наборов
Труды ИСП РАН, 17:9-24, 2009
Standardization and Testing of Mathematical Functions
Proceedings of PSI 2009, Novosibirsk, Russia, June 15-19, 2009
Software Verification Tools: Current State and the Nearest Future
Invited talk on SYRCoSE 2009, Moscow, Russia, May 28-29, 2009
Formal Methods: for All or for Chosen?
Proceedings of CSEDU 2009, v. 2, pp. 217-222, Lisboa, Portugal, March, 23-26, 2009
Перспективы интеграции методов верификации программного обеспечения
Труды ИСП РАН, 16:73-88, 2009
Автоматизация массового создания тестов работоспособности
Программирование, 34(6):64-80, 2008
Роль научных организаций в подготовке ИТ- специалистов
Труды ИСП РАН, 15:41-50, 2008
Методы верификации программного обеспечения.
Работа, прошедшая по конкурсу обзорно-аналитических статей по направлению "Информационно-телекоммуникационные системы", 2008 г.
Синтетические инструменты структурного тестирования
Доклад на семинаре отдела Технологий программирования ИСП РАН, 19 июня 2008 г.
Технология Azov автоматизации массового создания тестов работоспособности
Труды ИСП РАН, Подход UniTESK: итоги и перспективы, 14(2):83-108, 2008
Е. С. Чернов, В. В. Кулямин
Тестирование современных библиотек тригонометрических функций
Труды ИСП РАН, Подход UniTESK: итоги и перспективы, 14(1):163-179, 2008
Критерии тестового покрытия, основанные на структуре контрактных спецификаций
Труды ИСП РАН, Подход UniTESK: итоги и перспективы, 14(1):89-107, 2008
Test Construction for Mathematical Functions
K. Suzuki, T. Higashino, A. Ulrich, T. Hasegawa, eds. Testing of Software and Communicating Systems, LNCS 5047:23-37, Springer, 2008
Proceedings of TESTCOM/FATES 2008, Tokyo, Japan, June 10-13, 2008
Подход к преподаванию ИТ на основе проектов по разработке свободного программного обеспечения
Труды 6-й конференции "Преподавание ИТ в России", Нижний Новгород, 12-13 мая 2008
Технологии разработки программного обеспечения: исследования Института системного программирования РАН Лекция на просеминаре кафедры Системного программирования ВМиК МГУ 29 февраля 2008
Технологии тестирования ИСП РАН
Доклад на семинаре НИИСИ РАН 20 февраля 2008
Построение практикума по информационным технологиям на основе открытого программного обеспечения
Тезисы 3-й конференции <Свободное программное обеспечение в высшей школе>, Переславль-Залесский, Россия, 2-3 февраля 2008
Разработка и внедрение технологии автоматизированного тестирования программного обеспечения на основе формальных спецификаций.
Описание конкурсной работы на премию правительства РФ для молодых ученых.
Н. В. Пакулин, В. В. Кулямин
Роль рамочных программ Европейского Союза в глобализации научных исследований
Доклад на
2-й международной научно-практической конференции <Информатизация и глобализация социально-экономических процессов>, Москва, Россия, 21 ноября 2007
А. К. Петренко, О. Л. Петренко, В. В. Кулямин
Использование ресурсов научных учреждений для подготовки специалистов в области информационных технологий
Тезисы
2-й международной научно-практической конференции <Информатизация и глобализация социально-экономических процессов>, Москва, Россия, 21 ноября 2007
Использование контрактных спецификаций для представления требований и функционального тестирования аппаратуры
Программирование, 33(5):47-61, 2007
Формализация тестового эксперимента
Программирование, 33(5):3-32, 2007
В. В. Кулямин
Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой
Программирование,
33(3):1-29, 2007
Подходы к организации сложных тестовых наборов
Труды семинара "Go4IT - шаг к новым технологиям Интернета", Москва, Россия, 17-18 апреля 2007
В. В. Кулямин, А. К. Петренко, В. В. Рубанов, А. В. Хорошилов
Формализация интерфейсных стандартов и автоматическое построение тестов соответствия
Доклад на
Второй российской конференции по программной инженерии, SEC(R) 2006, Москва, Россия, 16-17 ноября 2006
Информационная безопасность, верификация и теория соответствия
Доклад на Второй Международной научной конференции по проблемам безопасности и противодействия терроризму, Москва, Россия 26 октября 2006
Формальные подходы к тестированию математических функций
Труды ИСП РАН, Обеспечение надежности и совместимости Linux-систем, 10:69-114, 2006
Использование формальных методов для обеспечения соблюдения программных стандартов
Труды ИСП РАН, Обеспечение надежности и совместимости Linux-систем, 10:51-68, 2006
Формализация требований на практике
Препринт 13, ИСП РАН, Москва, 2006
Formal Methods in Industrial Software Standards Enforcement
Proceedings of PSI'2006, Novosibirsk, Russia, June 26-30, 2006
Формальная верификация: методы и приложения
Доклад на семинаре ИСП РАН 16 июня 2006
Формирование профессиональных компетенций современного разработчика ПО
Труды ИСП РАН, 9:237-250, 2006
Технологии тестирования ИСП РАН
Доклад на семинаре НИИСИ РАН 31 мая 2006
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
Proceedings of MBT'2006 (in ETAPS'2006), March 25-26 2006, Vienna, Austria
Тестирование на основе моделей
Лекция в рамках курса "Инженерия ПО" в СПГУ 14 декабря 2005
Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения
Препринт 8 ИСП РАН, Москва, 2005
Построение тестовых последовательностей при минимуме информации о тестируемой системе
Программирование, 31(6):13-24, 2005
Active Learning Facilitates Success of Formal Methods in Practice
Proceedings of SEEFM'2005, Orchid, Macedonia, November 18-19, 2005
Программирование без ошибок: теория и практика
Лекция на просеминаре кафедры Системного программирования ВМиК МГУ 14 октября 2005
Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software
Proceedings of WMSCI'2005, Orlando , USA , July 10-13, 2005, v. VII. Model Based Development and Testing, pp. 65-70
Practical Approach to Specification and Conformance Testing of Distributed Network Applications
Proceedings of ISAS'2005, Berlin, Germany , April 25-26, 2005, pp. 60-73
M. Malek, E. Nett, N. Suri , eds. Service Availability. LNCS 3694, pp. 68-83, Springer-Verlag, 2005.
Тестирование распределенного программного обеспечения на платформе .NET
Доклад на Академических днях Microsoft'2005, Виноградово, Россия, 20-21 апреля 2005
Презентация доклада на английском
UniTesK - технология тестирования программного обеспечения
Научная сессия МИФИ'2005, Москва, Россия, 24-28 января 2005, стр. 51-52
Комбинаторика слов и построение тестовых последовательностей
Труды ИСП РАН, 8(1):25-40, 2004
Проблемы внедрения наукоемких технологий
Труды ИСП РАН, 8(1):9-24, 2004
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
Proceedings of the 1-st International Symposium on Leveraging Applications of Formal Methods (ISOLA'2004), Paphos, Cyprus, October 30-Novermber 2, 2004, pp. 311-316
Applying Model Based Testing in Different Contexts
Proceedings of Seminar on Perspectives on Model Based Testing (Dagstuhl Seminar 04371), Dagstuhl, Germany, September 5-10, 2004
Мета-модель функциональной спецификации распределенной системы, пригодная для тестирования
Сборник трудов конференции Научный сервис в сети Интернет 2004, Абрау-Дюрсо, Россия, 20-25 сентября 2004
Обучение передовым технологиям разработки ПО: проблемы и методы их решения
Труды ИСП РАН, 5:101-120, 2004
Подход UniTesK к разработке тестов: достижения и перспективы
Труды ИСП РАН, 5:121-156, 2004
Тестирование на основе моделей: теория, инструменты, применения
Ломоносовские чтения 2004, секция МГУ, Москва, Россия, 26 апреля 2004
Multi-paradigm Models as Source for Automated Test Construction
Proceedings of the 1-st Workshop on Model Based Testing (MBT'2004, in ETAPS'2004), Barcelona, Spain, March 27-38, 2004
Electronic Notes in Theoretical Computer Science 111:137-160, Elseveir, 2005
Тестирование на основе моделей: теория, инструменты, применения
Доклад об исследованиях группы RedVerst на семинаре, посвященном 10-летию ИСП РАН, 26 января 2004
Неизбыточные алгоритмы обхода ориентированных графов: недетерминированный случай
Программирование, 30(1):2-17, 2004
UniTesK: Model Based Testing in Industrial Practice
Proceedings of the 1-st European Conference on Model-Driven Software Engineering (ECMDSE), Nuremberg, Germany, December 11-12, 2003, pp. 55-63
Подход UniTesK к разработке тестов
Программирование, 29(6):25-43, 2003
Неизбыточные алгоритмы обхода ориентированных графов: детерминированный случай
Программирование, 29(5):59-69, 2003
Integration of Functional and Timed Testing of Real-time and Concurrent Systems
Proceedings of PSI'2003, Novosibirsk, Russia, July 9-12, 2003
LNCS 2890:450-461, Springer-Verlag, 2003
Место тестирования среди методов оценки качества ПО
Труды ИСП РАН, 4:163-176, 2003
Асинхронные автоматы: классификация и тестирование
Труды ИСП РАН, 4:7-84, 2003
Theory and Practice of Coverification Process: UniTesK Story
Tutorial on ETAPS'2003, Warshaw, Poland, April 12, 2003
UniTesK Test Suite Architecture
Proceedings of FME'2002 (in FLoC'2002), Kopenhagen, Denmark, July 22-24, 2002
LNCS 2391:77-88, Springer-Verlag, 2002
VDM++TesK: Testing of VDM++ Programs
Proceedings of the 3-rd VDM Workshop (in FloC'2002), Kopenhagen, Denmark, July 20-21, 2002, pp. 41-56
Java Specification Extension for Automated Test Development
Proceedings of PSI'2001, Novosibirsk, Russia, July 2-6, 2001
LNCS 2244:301-307, Springer-Verlag, 2001
Experiences in Using Testing Tools and Technology in Real-life Applications
Proceedings of SETT'2001, Pune, India, pp. 3-39, 2001
Использование конечных автоматов для тестирования программ
Программирование, 26(2):61-73, 2000
Об образах полиномиальных отображений в конечных кольцах матриц
Диссертация на соискание ученой степени кандидата физико-математических наук.
Научный руководитель д.ф.-м.н., проф. А. В. Михалев
Образы градуированных многочленов в кольцах матриц над конечными групповыми алгебрами
Успехи математических наук, 55(2):141-145, 2000
Об образах многочленов в кольце M2(Z/8Z)
Фундаментальная и прикладная математика, 6(1):275-280, 2000
Образы многочленов в кольцах матриц над кольцами Галуа
Труды Международного алгебраического семинара, Москва, Россия, 1999, c. 36-37
Об образах многочленов в конечных кольцах матриц
Фундаментальная и прикладная математика, 3(2):469-485, 1997