​​Online-сервис по генерации тестов для дискретных систем, созданный радиофизиками ТГУ, за два года, помимо России, стал популярен в Турции, ОАЭ, Франции, Великобритании, Казахстане, Нидерландах и США. В отличие от аналогов, FSMTestOnline обладает более полным набором методов тестирования и находится в свободном доступе. Проект поддержан грантом РНФ

Дискретными называют системы, чьё поведение описывает прерываемые события. В некотором смысле дискретное поведение противопоставляются непрерывному. Однако на практике объекты описываются ими двумя. Например, скорость автомобиля или степень нажатия педали – параметры непрерывные, а вот номер передачи или включение сигнала поворота – дискретные. 

– Многие вещи, которые нас окружают и которыми мы пользуемся, имеют в своем описании дискретные параметры: это и веб-сервисы, и смартфоны, и светофоры. Наша жизнь начинает всё сильнее зависеть от таких вещей, и, конечно, хочется, чтобы они нас не подводили. А для этого нужно как-то обеспечивать и проверять их качество. Одним из возможных и, наверное, самых действенных способов является тестирование, – объяснил зав. кафедрой информационных технологий в исследовании дискретных структур РФФ ТГУ Станислав Торгаев. 

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


Сайт 
 
Сотрудники кафедры информационных технологий в исследовании дискретных систем РФФ ТГУ методы построения таких тестов изучают и развивают с 1970-ых годов. За это время была защищена не одна диссертация. Программное обеспечение, разработанное в ходе подготовки этих научных работ, легло в основу сервиса fsmtestonline.ru, который за два года размещения в открытом доступе стал популярен в России, Турции, ОАЭ, Франции, Великобритании, Казахстане, Нидерландах и США. 

– FSMTestOnline – удобный и наглядный инструмент, в котором собраны различные методы синтеза тестов. В нашей работе мы рассматриваем различные модификации метода Василевского и показываем наглядно, какие ошибки могут быть обнаружены полными тестами на небольших примерах реализаций телекоммуникационных протоколов, –  рассказывают о своем опыте работы с сервисом коллеги из Политехнического института Парижа (Institut Polytechnique de Paris). 

Большой интерес мирового научного сообщества к разработке ТГУ объясняется еще и тем, что тестирование дискретных систем хоть и востребовано, но не имеет необходимых инструментов в свободном доступе. Все существующие решения необходимо устанавливать и запускать чаще всего на коммерческой основе. Плюс на сервисе томских ученых реализованы все основные методы построения тестов, от метода Василевского до H-метода. 

– В моем курсе по тестированию дискретных систем студенты используют ваш инструмент для построения тестов w- и производных от него методов. А в своих исследованиях, полученные тесты я использую для проверки эффективности тестовых наборов, – отзывается о томской разработке профессор компьютерных наук Американского университета Шарджи (ОАЭ) Халед Эль-Факи

Сервис FSMTestOnline был создан в рамках выполнения проекта РНФ «Надежность, безопасность и доверие в системах, используемых в качестве сервисов: масштабируемые решения для эффективного анализа и менеджмента». На его реализацию в 2016 году было выделено 5 миллионов рублей, и за три года сотрудники и выпускники кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ Нина Евтушенко, Антон Коломеец, Наталья Кушик, Светлана Прокопенко, Наталия Шабалдина, Хорхе Лолез воплотили проект в жизнь.

Источники

Online-сервисом РФФ успешно пользуются ученые из восьми стран
Томский государственный университет (tsu.ru), 17/12/2020
Томские ученые создали онлайн-сервис по генерации тестов
Российский научный фонд (rscf.ru), 17/12/2020
Томские ученые создали онлайн-сервис по генерации тестов
Российский научный фонд (рнф.рф), 17/12/2020

Похожие новости

  • 24/02/2021

    Цитируемые учёные ТПУ: подземные воды Забайкалья, свойства Шлемника и донные осадки моря Лаптевых

    Проект «Цитируемые ученые ТПУ» подводит итоги публикационной активности ученых Томского политехнического университета за январь. Самый высокоцитируемый соавтор статей ученых ТПУ имеет индекс Хирша 90, а самый высокорейтинговый журнал — импакт-фактор 6,479.
    555
  • 19/11/2020

    Цитируемые ученые ТПУ: «умные» удобрения, ферритовая керамика и наносеребро

    ​Проект «Цитируемые ученые ТПУ» подводит итоги публикационной активности ученых Томского политехнического университета за октябрь. Самый высокоцитируемый соавтор статей ученых ТПУ имеет индекс Хирша 57, а самый высокорейтинговый журнал — импакт-фактор 7,246.
    1237
  • 22/07/2021

    Цифровой след расскажет о психологическом портрете студента

    Магистрантка Института прикладной математики и компьютерных наук Томского госуниверситета Екатерина Атамасова, используя цифровой след человека, разработала методику отбора психологических характеристик с целью их прогнозирования.
    2320
  • 13/10/2020

    Физики ТГУ улучшили сплавы с памятью формы для космоса и Арктики

    ​Сотрудники лаборатории физики высокопрочных кристаллов ТГУ первыми в мире получили структуру сплавов, обеспечивающую им особую способность к деформации и восстановлению исходной формы до 15 процентов.
    900
  • 24/12/2020

    Алексей Гоголев: «Мы сумели выполнить все обязательства и не снизить планку»

    И.о. руководителя Исследовательской школы физики высокоэнергетических процессов ТПУ рассказал о достижениях коллектива школы в 2020 году, планах и задачах на следующий год.  2020 год в силу понятных причин стал для нас крайне непростым, но мы достойно выдержали удар, сумев выполнить все обязательства по грантам, программам, не допустить снижения основных индикаторов исследовательской деятельности.
    1189
  • 12/02/2020

    «Форварды» и «депрессивные»: о классификации регионов РФ по влиянию социально-экономических факторов на продолжительность жизни населения

    ​Молодой ученый ТПУ провел масштабную работу, позволившую впервые классифицировать все регионы РФ по влиянию социально-экономических факторов на продолжительность жизни и объединить их в характерные группы: «российские форварды», «догоняющие», «социотрадиционные» и «депрессивные».
    894
  • 25/02/2020

    Ученые — о ближайшем будущем технологий

    ​Ученые из российских вузов Проекта 5–100 рассказали о том, каких прорывов и открытий в сфере своих научных интересов они ждут в ближайшее десятилетие. Мы отобрали прогнозы о развитии технологий, к которым стоит присмотреться бизнесу.
    4072
  • 26/07/2021

    «Движущая сила науки – интерес»: физик из США в Томске изучает озон

    ​Профессор университета Центральной Флориды (США) Вячеслав Кокоулин приехал в Томский госуниверситет для работы над проектом «Озон: радиационные свойства на пороге диссоциации, процессы формирования, релаксации и распада; спектроскопическое обеспечение для моделирования спутниковых наблюдений».
    490
  • 17/05/2021

    Человеческое измерение трансформации высшей школы России стало предметом обсуждения на международной конференции

    ​Сотрудники сетевого исследовательского центра «Человек, природа, технологии» Александр Сорокин, Михаил Грибовский, Наталья Гулиус, Галина Ефимова и Татьяна Климова организовали круглый стол «Человеческое измерение трансформации высшей школы России» в рамках международной конференции «Образование будущего: международное сотрудничество и стратегия повышения конкурентоспособности» (Нижний Новгород).
    971
  • 11/08/2021

    Искусственный интеллект создает психологический портрет

    Искусственный интеллект уже знает о нас больше, чем мы сами о себе думаем, утверждают специалисты. Он беспристрастен, а потому с холодным "сердцем" и математическим разумом анализирует цифровые следы, которые мы оставляем в социальных сетях.
    583