|
|
|
Мы представляем технологию UniTESK - унифицированное решение для промышленного тестирования и обеспечения качества программного обеспечения.
Технология UniTESK пронизывает весь жизненный цикл разработки программного обеспечения от сбора и анализа требований до сопровождения. Основанная на опыте реальных промышленных проектов в компаниях со сложившейся культурой разработки, технология UniTESK не требует для внедрения коренной перестройки процессов, она легко сочетается с другими подходами к тестированию и обеспечению качества, обогащая их возможности и обогащаясь при этом сама. Красной нитью сквозь все элементы технологии UniTESK проходит прослеживаемость требований от этапа анализа потребностей пользователей до выпуска конечного продукта.
|
|
Подробнее...
|
|
|
Выпущена версия 2.3 инструмента JavaTESK |
|
15.05.2009 г. |
|
Выпущена версия 2.3 инструмента разработки тестов JavaTESK, поддерживающего технологию UniTESK для платформы Java. Основные изменения: - Расширены возможности моделирования асинхронных взаимодействий.
Введена конструкция expect event для быстрого создания тестов асинхронных систем в стиле TTCN.
Улучшено управление состоянием модели. - Добавлена возможность генерации документации по javadoc комментариям в спецификациях.
- В отчетах о тестировании найденные ошибки группируются по типам, известные (ранее найденные и занесенные в базу) ошибки отделяются от вновь возникших.
- В отчетах о тестировании улучшено представление значений объектов, возникших в ходе тестирования (например, параметров и возвращаемых значений методов).
Инструмент JavaTESK 2.3 можно скачать на странице Скачать. |
|
|
29.12.2008 г. |
|
В 2008 году технология UniTESK активно применялась для создания тестовых наборов для проверки соответствия стандартам в следующих проектах.
- Разработка и сопровождение тестового набора для проверки соответствия стандарту Linux Standard Base.
- Разработка тестов POSIX-совместимой операционной системы реального времени.
- Построение тестов для встроенных систем авионики, поддерживающих стандарт ARINC-653.
Развитие инструментов UniTESK было нацелено на поддержку работ в проектах и общее повышение надежности.
Кроме того, продолжались исследования по теоретическим основам тестирования, методам автоматизации разработки тестов для телекоммуникационных протоколов и распределенных систем, методам тестирования микропроцессов конвейерной архитектуры и их отдельных блоков, методам построения тестов для математических библиотек. Также велись работы по созданию инструментария для верификации драйверов ОС Linux.
Нашими коллегами в этом году было защищено 3 диссертации.
- И. Б. Бурдоновым — по теме «Теория конформности для функционального тестирования программных систем на основе формальных моделей» на степень доктора физико-математических наук.
- В. В. Рубановым — по теме «Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем» на степень кандидата физико-математических наук.
- А. С. Камкиным — по теме «Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций» на степень кандидата физико-математических наук.
В 2008 году вышла монография И. Б. Бурдонова, А. С. Косачева и В. В. Кулямина «Теория соответствия для систем с блокировками и разрушением», посвященная теоретическим основам тестирования распределенных систем.
Доклады о результатах исследований и отдельных проектов проводились на следующих конференциях и семинарах.
|
|
|
