Results 31 to 40 of about 82 (44)
Formal specifications-based automation of system testing of hardware designs
Труды Института системного программирования РАН, 2018 This paper touches upon the problem of the system testing of interconnected hardware modules when the resulted hardware design cannot be verified by means of module-level techniques due to its complexity.
M. M. Chupilko.
doaj
Локализация ошибок методом сокращенного воспроизведения трассы
Труды Института системного программирования РАН, 2008 В статье предложен метод построения на основе существующего теста UniTESK, находящего ошибку в тестируемой системе, минимального теста, обнаруживающего ту же ошибку.
С.Г. Грошев
doaj
Формальные подходы к тестированию математических функций.
Труды Института системного программирования РАН, 2006 Данная статья рассматривает вопросы проверки корректности вычисления математических функций на числах с плавающей точкой, формат которых определяется стандартом IEEE 754.
В.В. Кулямин
doaj
Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов.
Труды Института системного программирования РАН, 2006 В статье исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются ...
А.С. Камкин
doaj
Труды Института системного программирования РАН, 2007 Контрактные спецификации в форме пред- и постусловий широко используются в программной инженерии для формального описания интерфейсов программных компонентов. Такие спецификации, с одной стороны, удобны для разработчиков, поскольку хорошо привязываются к
А.С. Камкин
doaj
Conformance test suite for implementations of the security protocol suite IPsec v2
Труды Института системного программирования РАН, 2018 The paper presents conformance test suite for new Internet Protocol Security Suite IPsec v2. The test suite was constructed by means of the UniTESK automated testing technology and its implementation, CTESK toolkit.The work was done in the Institute for ...
A. V. Nikeshin +2 more
doaj
, 2015 Описана технология UniTESK и ее применение для функционального тестирования системы управления сетью широкополосного беспроводного доступа (СУ СШБД) стандарта IEEE 802.16 (WiMAX). Показано, что технология UniTESK достаточно проста и эффективна для тестирования событийно-управляемых систем.
openaire +1 more source
Известия Томского политехнического университета: Инжиниринг георесурсов, 2009 openaire +3 more sources
Evolution of the UniTESK test development technology
Programming and Computer Software, 2014 The basic principles of UniTESK technology designed for constructing tests on the basis of formal models are presented. Experience in using UniTESK in large test development projects for software and hardware systems, including telecommunication protocols, basic and standard interfaces of operating systems, and microprocessor units, is summarized.
V. V. Kulyamin, A. K. Petrenko
openaire +2 more sources
The UniTesK Approach to Designing Test Suites
Programming and Computer Software, 2003 Principles of the UniTesK test development technology based on the use of formal models of target software are presented. This technology was developed by the RedVerst group in the Institute for System Programming, Russian Academy of Sciences (ISPRAS) l1r, which obtained rich experience in testing and verification of complex commercial software.
V. V. Kuliamin +3 more
openaire +2 more sources