Results 11 to 20 of about 82 (44)

Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2009
In this article some questions of testing of infrastructural Grid software on the standard compliance are discussed. Nowadays Grid-systems are one of the first-priority areas in computer science. The primary task is an effective usage of their advantages that is inseparably connected with the problem of software portability in Grid-systems.
Sergey Smolov
openaire   +3 more sources

Функциональное тестирование Web-приложений на основе технологии UniTesK.

Труды Института системного программирования РАН, 2004
Статья посвящена анализу дополнительных возможностей автоматизации функционального тестирования Web-приложений на основе технологии UniTesK. В ней рассматриваются существующие подходы к автоматизации функционального тестирования Web-приложений ...
А.А. Сортов, А.В. Хорошилов   +1 more
doaj   +3 more sources

Развитие подхода к разработке тестов UniTESK

Труды Института системного программирования РАН, 2014
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 telecommunication protocols, basic and standard interfaces of operating systems, microprocessor units.
В. В. Кулямин, Alexander K. Petrenko   +1 more
openaire   +2 more sources

Генератор сложных данных Pinery: реализация новых возможностей UniTESK

Труды Института системного программирования РАН, 2008
В статье рассказывается о подходе к автоматической генерации тестовых данных сложной структуры, основанном на использовании формального описания данных в виде грамматик.
А.В. Демаков, С.В. Зеленов, С.А. Зеленова   +2 more
doaj   +3 more sources

Применение технологии UniTESK для тестирования сервис-ориентированных систем

Доклады Томского государственного университета систем управления и радиоэлектроники, 2011
Статья содержит краткое описание технологии UniTESK и применение этой технологии для тестирования сервис-ориентированных систем. Представлено построение тестовой системы для тестирования реализации стандарта IEEE 802.16 (WiMAX).
Немеров Александр Александрович, Бойченко Иван Валентинович   +1 more
openaire   +2 more sources

Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей

Труды Института системного программирования РАН, 2013
UniTESK технология тестирования, основанная на формальных моделях (или спецификациях) требований к поведения программных или аппаратных компонентов. В статье описываются наиболее значимые применения технологии UniTESK в промышленных проектах, суммируется их опыт и оцениваются перспективные направления развития компонентных технологий тестирования на ...
В. П. Иванников, Alexander K. Petrenko, В. В. Кулямин, А. В. Максимов   +3 more
openaire   +2 more sources

Применение технологии UniTESK для функционального тестирования системы управления сетью широкополосного беспроводного доступа стандарта IEEE 802. 16

Известия Томского политехнического университета, 2012
Описана технология UniTESK и ее применение для функционального тестирования системы управления сетью широкополосного беспроводного доступа (СУ СШБД) стандарта IEEE 802.16 (WiMAX). Показано, что технология UniTESK достаточно проста и эффективна для тестирования событийно-управляемых систем.
Бойченко Иван Валентинович, Бортников Евгений Валерьевич, Немеров Александр Александрович   +2 more
openaire   +2 more sources

Automation of conformance testing for communication protocols

Труды Института системного программирования РАН, 2018
This article summarizes the experience gained while developing test suites for conformance testing of implementations of Internet protocols. The projects described in this article used the UniTESK technology as a base for constructing tests.
Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin   +2 more
doaj   +1 more source

Model-Based Testing of Safety Critical Real-Time Control Logic Software [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based ...
Yevgeny Gerlits, Alexey Khoroshilov
doaj   +1 more source

Test Suite development for verification of TLS security protocol

Труды Института системного программирования РАН, 2018
Despite the fact that TLS and its predecessor SSL are in use for more than 15 years, there are no accepted public conformance test suite for those protocols.
A. V. Nikeshin, N. V. Pakulin,, V. Z. Shnitman.   +2 more
doaj   +1 more source