​​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.
    256
  • 19/11/2020

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

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

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

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

    Наталья Гусева: «2020 год потребовал самоотверженности и готовности к переменам»

    ​Директор Инженерной школы природных ресурсов ТПУ Наталья Гусева поделилась результатами, которых достиг коллектив школы в 2020 году, и рассказала о целях и задачах на будущий год.​   Уходящий год стал точкой отсчета новой реальности для всего мира, и, чтобы в нее «встроиться», нам пришлось многое пересмотреть и изменить в своей деятельности.
    574
  • 25/02/2020

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

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

    Три научных группы Томского политехнического университета выиграли гранты на поддержку своих проектов

    ​​Научная группа, которой руководит кандидат физико-математических наук Алексей Шевелев, трудится над созданием более дешевых и эффективных резонаторов, которые применяются в ускорителях частиц, в том числе, Большом адронном коллайдере.
    363
  • 23/12/2020

    Директор Исследовательской школы химических и биомедицинских технологий ТПУ Марина Трусова: «Все силы и средства идут на развитие школы»

    ​​О главных событиях и достижениях 2020 года и планах на будущее рассказала директор Исследовательской школы химических и биомедицинских технологий Марина Трусова.    Мегагранты Год для коллектива нашей школы был ярким и богатым на события.
    428
  • 13/10/2020

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

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

    Почему земля вкусная: ученые ТПУ ищут "рецепт" от загадочных болезней

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

    Три шага до аналитического инструмента. Перспективные генераторы излучения Вавилова—Черенкова для ускорителей частиц

    ​​Почти 90 лет назад аспирант советского физика Сергея Вавилова — младшего брата знаменитого генетика — открыл электромагнитное излучение, которое легло в основу детекторов частиц. Но сейчас это явление вновь заинтересовало научное сообщество: его предложили использовать для источников терагерцевого излучения и диагностики пучков заряженных частиц на линейном ускорителе в ЦЕРНе и других российских и зарубежных ускорителях.
    834