Results 1 to 10 of about 82 (44)
Evolution of UniTESK Test Development Technology
Труды Института системного программирования РАН, 2018 The paper presents the basic principles of UniTESK technology intended for test construction based on formal models. It also summarizes experience of using UniTESK in large test development projects for software and hardware systems, including ...
V. Kuliamin, A. Petrenko
doaj +4 more sources
Применение UniTesK к тестированию встроенных систем.
Труды Института системного программирования РАН, 2004 В статье обсуждаются вопросы применимости технологии тестирования UniTesK к функциональному тестированию программного обеспечения встроенных систем на примере сенсорных сетей под управлением TinyOS.
Н.В. Пакулин
doaj +4 more sources
Унификация в автоматизации тестирования. Позиция UniTESK
Труды Института системного программирования РАН, 2008 Рассматриваются современные тенденции унификации в средствах автоматизации тестирования, анализируется текущий уровень унификации в инструментах семейства UniTESK и очерчиваются возможные формы унификации, которые позволят расширить круг возможностей ...
А.К. Петренко
doaj +4 more sources
Сравнение эффективности обходчиков UniTESK.
Труды Института системного программирования РАН, 2006 В данной работе исследуется эффективность генерации тестов на основе автоматического построения обхода графа, т.е. маршрута, проходящего через все его дуги.
А.Р.Арутюнян
doaj +4 more sources
Подход UniTesK к разработке тестов: достижения и перспективы.
Труды Института системного программирования РАН, 2004 Данная статья излагает базовые принципы технологии разработки тестов UniTesK, основанной на использовании формальных моделей тестируемого программного обеспечения (ПО).
A.В. Баранцев +9 more
doaj +3 more sources
Труды Института системного программирования РАН, 2006 В данной статье проведена классификация тестируемых систем в соответствии с видом конфигурации активных потоков и рассмотрены особенности тестирования систем из каждого класса с помощью технологии UniTesK.
С.Г. Грошев
doaj +4 more sources
Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6.
Труды Института системного программирования РАН, 2007 Статья посвящена разработке тестового набора для проверки соответствий реализаций мобильного узла спецификациям протокола Mobile IPv6 [1]. Для построения тестового набора использовалась передовая технология автоматического тестирования UniTESK [2] и ...
Д.В. Зацепин +1 more
doaj +4 more sources
Применение технологии UniTESK для функционального тестирования инфаструктурного ПО Грид
Труды Института системного программирования РАН, 2009 В статье рассматриваются вопросы тестирования инфраструктурного программного обеспечения (ИПО, middleware) Грид-систем на соответствие стандарту. Грид-системы в настоящий момент являются одним из приоритетных направлений в вычислительной технике. Поэтому
Н.В. Пакулин +1 more
doaj +4 more sources
Testing AJAX Functionality with UniTESK
Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2010 AJAX (Asynchronous JavaScript and XML) is a very promising technology for building interactive web applications. At the same time, AJAX significantly complicates the development of the client side of web applications. The paper demonstrates the possibility of utilizing the UniTESK test development technology for testing the client side functionality of
Yevgeny Gerlits
openaire +3 more sources
How the story of UniTESK technology applications mirrors development of model based testing [PDF]
Proceedings of the Institute for System Programming of RAS, 2013 UniTESK (UNIfied TEsting and Specification toolKit) is a testing technology based on formal models (or specifications) of requirements to behavior of software or hardware components. It was created with experience gained during development of the framework for automated testing of a real-time operating system kernel during 1994-2000. Software contracts
V. P. Ivannikov +3 more
openaire +4 more sources