Всероссийская научная конференция по проблемам информатики СПИСОК-2012
28.04.2012 г.
25 апреля на Всероссийской научной конференции по проблемам информатики СПИСОК-2012, д.ф.-м.н., профессор кафедры системного программирования ВМиК МГУ, заведующий отделом технологий программирования ИСП РАН Петренко выступил с докладом на тему «Модели в разработке программ - для дела или для души?».
Семинар по тестированию на основе моделей (MBT 2012)
Также в рамках
параллельно проходящей конференции
Алексей Хорошилов представил 1 марта
доклад "Опыт применения тяжеловесных
инструментов верификации для анализа
исходного кода драйверов ОС Linux".
Совместный семинар Центра верификации и Университета Пассау
В рамках семинара
профессор, доктор наук Дирк Бейер (Prof.
Dr. Dirk Beyer) и его группа представили
архитектуру и особенности реализации
инструмента CPAchecker, который показал
лучшие результаты по итогам международных
соревнований SV-COMP
2012. Специалисты Центра верификации
доложили о результатах использования
CPAchecker в проекте верификации драйверов
ОС Linux и особенностях верификации кода
ядра операционных систем. По результатам
обсуждений были выработаны дальнейшие
планы по совместному развитию CPAchecker.
Итоги 2011 года
23.01.2012 г.
В 2011 году технология UniTESK начала использоваться для создания тестовых наборов для проверки соответствия стандартам при тестировании авиационной навигационной системы. Стартовала разработка набора инструментов PyTESK, реализующего эту технологию на языке Python.
Кроме того, продолжались исследования по теоретическим основам тестирования и методам автоматизации разработки тестов в следующих проектах:
Разработка с использованием технологии UniTESK системы тестов для устройств проекта "Эльбрус-2S".
Разработка расширяемой системы для динамического анализа и проверки модулей ядра Linux.
Разработка автоматического генератора основных модульных тестов для общих библиотек C/C++.
Разработка платформы для интеграции и апробации перспективных методов верификации компонентных систем.
Разработка автоматизированного рабочего места системного интегратора.
Система управления требованиями Requality.
Верификация драйверов ОС Linux.
Создание системы безопасности, обеспечивающей защищенное выполнение приложения в недоверенной ОС.
Разработка инфраструктуры стандарта LSB.
Тестирование моделей микропроцессоров.
Разработка методов и инструментальной поддержки интеграции крупных информационных систем.
Тестирование ОС реального времени.
Разработка тестовых наборов для математических библиотек.
Развитие инструментов UniTESK было нацелено на поддержку работ в проектах и общее повышение надежности.
В 2011 году вышла монография И.Б.Бурдонова «Теория конформности (функциональное тестирование программных систем на основе формальных моделей)», посвященная методам тестирования соответствия исследуемой системы заданным требованиям на основе формальных моделей.
Доклады о результатах исследований и отдельных проектов проводились на следующих конференциях и семинарах:
На конференции Model-Based Testing User Conference, проходившей в Берлине с
18 по 20 октября 2011 года, было представлено два доклада о результатах,
связанных с технологией UniTESK. А. К. Петренко рассказал об основанном на
этой технологии подходе к стандартизации и проверке соответствия стандартам
базовых библиотек ОС Linux. В. В. Кулямин представил результаты применения в
пилотных проектах инструмента Summer, реализующего UniTESK на базе
современных компонентных технологий Java. Доклады получили высокую оценку
присутствовавших на конференции представителей коммерческих компаний,
использующих тестирование на основе моделей на практике.
Softool 2011
28.10.2011 г.
Технология UniTESK была представлена на выставке Softool 2011, которая проходила с 25 по 28 октября 2011 года во Всероссийском выставочном центре, павильон 69, стенд E47.
На выставке были представлены следующие экспонаты:
Тренинги по применению UniTESK для тестирования ПО и аппаратуры
21.05.2010 г.
С 7 по 11 июня в Институте системного программирования РАН пройдет два тренинга по технологии UniTESK:
"Функциональная верификация HDL-моделей аппаратного обеспечения с помощью инструмента CTESK" Тренинг предназначен для разработчиков и верификаторов цифрового аппаратного обеспечения. Практические занятия тренинга нацелены на освоение следующих навыков: формальной спецификации модулей аппаратуры, связывания формальных спецификаций с HDL-моделями, автоматической генерации последовательностей тестовых воздействий, оценки качества тестирования в терминах формальных спецификаций. Требования к участникам: Владение языком программирования Си, знакомство с одним из языков описания аппаратуры (VHDL, Verilog).
"Тестирование на основе моделей с помощью инструмента CTESK" Тренинг предназначен для тестировщиков программного обеспечения, обладающего программным интерфейсом на языке программирования Си. Практические занятия тренинга нацелены на освоение следующих навыков: формальной спецификации требований к ПО, автоматической генерации последовательностей тестовых воздействий, оценки качества тестирования в терминах формальных спецификаций. Требования к участникам: Владение языком программирования Си.
Дополнительную информацию по инструменту CTESK можно найти в разделе Документация.
Продолжительность каждого из тренингов 5 дней (по 8 часов). Стоимость участия в тренинге - 25 тыс. рублей. При участии нескольких человек от одной организации предоставляются скидки. По вопросам участия обращайтесь к Александру Константиновичу Петренко по тел. (495)912-53-17 доб. 4404 или по электронной почте
