UniTESK

Мы представляем технологию UniTESK - унифицированное решение для промышленного тестирования и обеспечения качества программного обеспечения.
Технология UniTESK пронизывает весь жизненный цикл разработки программного обеспечения от сбора и анализа требований до сопровождения. Основанная на опыте реальных промышленных проектов в компаниях со сложившейся культурой разработки, технология UniTESK не требует для внедрения коренной перестройки процессов, она легко сочетается с другими подходами к тестированию и обеспечению качества, обогащая их возможности и обогащаясь при этом сама. Красной нитью сквозь все элементы технологии UniTESK проходит прослеживаемость требований от этапа анализа потребностей пользователей до выпуска конечного продукта.
Подробнее...
 
Итоги 2011 года
23.01.2012 г.
В 2011 году технология UniTESK начала использоваться для создания тестовых наборов для проверки соответствия стандартам при тестировании авиационной навигационной системы. Стартовала разработка набора инструментов PyTESK, реализующего эту технологию на языке Python.

Кроме того, продолжались исследования по теоретическим основам тестирования и методам автоматизации разработки тестов в следующих проектах:
  • Разработка с использованием технологии UniTESK системы тестов для устройств проекта "Эльбрус-2S".
  • Разработка расширяемой системы для динамического анализа и проверки модулей ядра Linux.
  • Верификация реализаций расширяемых протоколов Интернета.
  • Разработка инструмента ABI Compliance Checker.
  • Разработка автоматического генератора основных модульных тестов для общих  библиотек C/C++.
  • Разработка платформы для интеграции и апробации перспективных методов верификации компонентных систем.
  • Разработка автоматизированного рабочего места системного интегратора.
  • Система управления требованиями Requality.
  • Верификация драйверов ОС Linux.
  • Создание системы безопасности, обеспечивающей защищенное выполнение приложения в недоверенной ОС.
  • Разработка инфраструктуры стандарта LSB.
  • Тестирование моделей микропроцессоров.
  • Разработка методов и инструментальной поддержки интеграции крупных информационных систем.
  • Тестирование ОС реального времени.
  • Разработка тестовых наборов для математических библиотек.


Развитие инструментов UniTESK было нацелено на поддержку работ в проектах и общее повышение надежности.

В 2011 году вышла монография И.Б.Бурдонова  «Теория конформности (функциональное тестирование программных систем на основе формальных моделей)», посвященная методам тестирования соответствия исследуемой системы заданным требованиям на основе формальных моделей.

Доклады о результатах исследований и отдельных проектов проводились на следующих конференциях и семинарах:

Microsoft  Summer School in Software Engineering and Verification 2011
International Space System Engineering Conference DASIA 2011
Spring Young Researchers Colloquium on Software Engineering (SYRCoSE 2011)
Open Cirrus Summit 2011
IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2011)
Eighth International Andrei Ershov Memorial Conference «Perspectives of System Informatics» (PSI 2011)
16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011)
Model-based Testing User Conference 2011
LinuxCon Europe 2011
Google EMEA Scholars’ Retreat 2011
12th IEEE Latin-American Test Workshop (LATW 2011)
Google Summer of Code (GSoC 2011)
7th Workshop on Advances in Model Based Testing (A-MOST 2011)
IUPAC International Congress on Analytical Sciences (ICAS 2011)
IEEE International Conference on Software Testing, Verification and Validation (ICST 2011)
Yet another Conference (YAC-2011)
Восьмая конференция разработчиков свободных программ
Выставка Softtool 2011
Шестая конференция “Свободное программное обеспечение в высшей школе”
IX Всероссийская конференция “Преподавание информационных технологий в Российской Федерации”
Научная конференция «Ломоносовские чтения»
54-я научная конференция МФТИ "Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе".
Актуальные проблемы системной и программной инженерии (АПСПИ 2011)

 
Конференция MBT UC 2011
01.11.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.

 

На выставке были представлены следующие экспонаты:
Подробнее...
 
Copyright © 2006 Институт системного программирования Российской академии наук