|
|
|
Мы представляем технологию UniTESK - унифицированное решение для промышленного тестирования и обеспечения качества программного обеспечения.
Технология UniTESK пронизывает весь жизненный цикл разработки программного обеспечения от сбора и анализа требований до сопровождения. Основанная на опыте реальных промышленных проектов в компаниях со сложившейся культурой разработки, технология UniTESK не требует для внедрения коренной перестройки процессов, она легко сочетается с другими подходами к тестированию и обеспечению качества, обогащая их возможности и обогащаясь при этом сама. Красной нитью сквозь все элементы технологии UniTESK проходит прослеживаемость требований от этапа анализа потребностей пользователей до выпуска конечного продукта.
|
|
Подробнее...
|
|
|
Design Automation Conference 2013 |
|
10.06.2013 г. |
2-6 июня 2013 г. сотрудники отдела Технологий программирования ИСП РАН Михаил Чупилко, Андрей Татарников и Александр Камкин приняли участие в Конференции по проектированию электронных систем DAC-2013, которая состоялась в городе Остин, США. Они представили стендовый доклад на University Booth на тему «C++TESK and MicroTESK Hardware Verification Toolkits».
Более подробную информацию можно получить здесь. |
|
|
01.06.2013 г. |
30-31 мая 2013 г. в Казани состоялся 7-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2013, организованный Институтом системного программирования РАН, Санкт-Петербургским государственным университетом и Казанским национальным исследовательским университетом им. А.Н. Туполева при поддержке Intel, Российского фонда фундаментальных исследований и Нижегородского фонда содействия образованию.
Михаил Чупилко и Александр Петренко представили доклад на тему “Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification”. Александр Камкин, Татьяна Сергеева, Андрей Татарников и Артемий Утехин (Московский Государственный Университет им. М.В. Ломоносова) представили доклад на тему “MicroTESK: An Extendable Framework for Test Program Generation“. Илья Захаров, Вадим Мутилин, Евгений Новиков и Алексей Хорошилов представили доклад на тему “Generating Environment Model for Linux Device Drivers“. Никита Комаров представил доклад на тему “On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules“.
Более подробную информацию можно получить здесь. |
|
|
Model-Based Testing Workshop 2013 |
|
25.03.2013 г. |
|
Сотрудники отдела "Технологий программирования" приняли участие в Восьмом международном семинаре по тестированию на основе моделей (Model-Based Testing Workshop), прошедшем 17 марта в Риме, Италия. Михаил Чупилко и Александр Камкин представили доклад на тему "Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces". Виктор Кулямин, совместно с Йенсом Грабовски (University of Gottingen, Germany), Аланом-Георгесом Воуффо Феуджио (Thales, Germany), Анталом Ву-Хен-Чанг (Ericsson, Hungary) и Миланом Зорич (ETSI, France) представил доклад на тему "Towards the Usage of MBT at ETSI".
Более подробную информацию можно получить здесь. |
|
|
