ДОКУМЕНТАЦИЯ
Успехи в тестировании протоколов с установлением соединения

Сотрудники UniTESK Lab провели исследование применимости UniTESK к задаче тестирования протоколов с установлением соединения на примере «минимального» протокола с установлением соединения ABRACADABRA

Данная работа показала применимость технологии автоматизированного тестирования UniTESK для тестирования реализаций протоколов с установлением соединения. В рамках работы была разработана формальная спецификация протокола ABRACADABRA и разработан тестовый сценарий для проверки соответствия поведения реализации протокола спецификации.

Подробнее...
 
SYRCoSE 2008

29 – 30 мая 2008 г. в Санкт-Петербурге состоялся Второй коллоквиум молодых исследователей в области программной инженерии (SYRCoSE 2008).

Организаторами мероприятия выступили Санкт-Петербургский государственный университет (СПбГУ) и Институт системного программирования РАН (ИСП РАН) при поддержке Российского фонда фундаментальных исследований (РФФИ).

Руководителями SYRCoSE являются  и профессор А.Н.Терехов (СПбГУ). На коллоквиуме было представлено около 20 докладов студентов и аспирантов различных ВУЗов, в которых были отражены достижения в области промышленной разработки ПО, безопасности и защищенности, функциональной верификации, генерации тестов и других разделов программной инженерии.

Более подробная информация по коллоквиуму доступна на сайте http://syrcose.ispras.ru.

профессор А.Н.Терехов (СПбГУ) и профессор А.К. Петренко (UniTESK Lab., ИСП РАН)

 
Выпущена новая версия 2.5 инструмента CTESK

Выпущена бета-версия инструмента CTESK 2.5, поддерживающего технологию UniTESK.

Новые возможности инструмента:

  • Реализована полноценная интеграция CTESK в среду разработки Eclipse+CDT (C/C++ Development Tools)
  • В спецификационном расширении языка C реализованы расширенные возможности определения структуры тестовых покрытий и сбора информации о достигнутом покрытии.
  • Библиотека поддержки времени выполнения тестов полностью реализована на языке С для улучшения совместимости бинарных файлов библиотеки с различными версиями компилятора gcc.
  • В трансляторе спецификационного расширения улучшена поддержка языка С и дополнительных возможностей, предоставляемых компилятором gcc.
  • Существенно повышена скорость и стабильность работы инструмента, в том числе на больших тестовых наборах.

Последняя версия инструмента CTESK 2.5 теперь доступна для скачивания.

 
UniTESK на конференции EclipseCon 2008

17-20 марта в городе Санта-Клара (США) состоялась международная конференция EclipseCon 2008, посвящённая обсуждению текущего состояния и перспектив развития всех направлений платформы Eclipse.

В работе конференции приняли участие сотрудники UniTESK Lab Сергей Гоманюк и Алексей Хорошилов, которые представили доклад «Towards common language toolkit for IDE development», посвященный созданию унифицированного инструментария для построения интегрированных сред разработки на основе Eclipse. Подход, предлагаемый  UniTESK Lab, вызвал интерес у участников конференции, в том числе активное участие в его обсуждении приняли  представители близких по целям проектов: DLTK и IMP.

Также представители UniTESK Lab обсудили возможности и детали интеграции инструментов, поддерживающих технологию тестирования UniTESK, с проектами Eclipse CDT, JDT, TPTP и OSEE.

Подробнее...
 
Azov - технология массового создания тестов базовой работоспособности
В ИСП РАН разработана технология массового автоматизированного создания тестов программного интерфейса больших систем с неполностью описанными требованиями, названная Azov. Тесты, создаваемые в рамках этой технологии, проверяют базовую работоспособность тестируемой системы, фактически - отсутствие критических ошибок в простейших сценариях работы ее интерфейсных операций. Предлагаемая технология основана на использовании базы данных, содержащей структурированную информацию о сигнатурах операций тестируемой системы. Проведена успешная апробация технологии Azov - она использовалась для создания тестов работоспособности для Qt, переносимой библиотеки для разработки приложений с графическим интерфейсом пользователя, содержащей около 10000 интерфейсных операций.
 
<< [Первая] < [Предыдущая] 1 2 3 4 5 6 7 8 9 [Следующая] > [Последняя] >>

Результаты 28 - 36 из 81
Copyright © 2014 Институт системного программирования Российской академии наук