|
Успехи в тестировании протоколов с установлением соединения |
|
Сотрудники UniTESK Lab провели исследование применимости UniTESK к задаче тестирования протоколов с установлением соединения на примере «минимального» протокола с установлением соединения ABRACADABRA
Данная работа показала применимость технологии автоматизированного тестирования UniTESK для тестирования реализаций протоколов с установлением соединения. В рамках работы была разработана формальная спецификация протокола ABRACADABRA и разработан тестовый сценарий для проверки соответствия поведения реализации протокола спецификации.
|
|
Подробнее...
|
|
|
29 – 30 мая 2008 г. в Санкт-Петербурге состоялся Второй коллоквиум молодых исследователей в области программной инженерии (SYRCoSE 2008).
Организаторами мероприятия выступили Санкт-Петербургский государственный университет (СПбГУ) и Институт системного программирования РАН (ИСП РАН) при поддержке Российского фонда фундаментальных исследований (РФФИ).
Руководителями SYRCoSE являются и профессор А.Н.Терехов (СПбГУ). На коллоквиуме было представлено около 20 докладов студентов и аспирантов различных ВУЗов, в которых были отражены достижения в области промышленной разработки ПО, безопасности и защищенности, функциональной верификации, генерации тестов и других разделов программной инженерии.
Более подробная информация по коллоквиуму доступна на сайте http://syrcose.ispras.ru.
 |
|
|
Выпущена новая версия 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 |