Results 21 to 30 of about 82 (44)

Conformance testing of Extensible Authentication Protocol implementations

Труды Института системного программирования РАН, 2019
The paper presents a model-based approach to conformance testing of Extensible Authentication Protocol (EAP) implementations. Conformance testing is the basic tool to ensure interoperability between implementations of a protocol. Using UniTESK technology
A. V. Nikeshin, V. Z. Shnitman
doaj   +1 more source

TLS clients testing

Труды Института системного программирования РАН, 2018
The paper presents a model-based approach to conformance testing of TLS implementations. It discusses the formal model of TLS protocol, the structure of the test suite. JavaTesK tool, based on UniTESK technology, was used to develop the test suite. A set
A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman   +2 more
doaj   +1 more source

How the story of UniTESK technology applications mirrors development of model based testing

Труды Института системного программирования РАН, 2018
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.
V. P. Ivannikov, A. K. Petrenko, V. V. Kuliamin, A. V. Maksimov   +3 more
doaj  

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

Труды Института системного программирования РАН, 2009
Работа представляет собой сравнительный анализ современных подходов к разработке функциональных тестов для моделей аппаратуры: AVM (Advanced Verification Methodology) от компании Mentor Graphics, OVM (Open Verification Methodology) — совместной ...
Я.С. Губенко, А.С. Камкин, М.М. Чупилко   +2 more
doaj  

Паттерны проектирования тестовых сценариев.

Труды Института системного программирования РАН, 2006
Рассматриваются вопросы использования типовых решений (паттернов проектирования) для построения тестовых программ, основанных на обобщенных моделях тестируемых систем в форме неявно заданных конечных автоматов.
В.С. Мутилин
doaj  

Model-based testing of Internet Mail Protocols

Труды Института системного программирования РАН, 2018
The paper discusses model-based testing of the modern Internet e-mail protocols, including the method of protocol modeling by means of formal notations, peculiarities of e-mail protocols in the context of testing.
N. V. Pakulin, A. N. Tugaenko
doaj  

Автоматическое определение выполнимости наборов формул для операций сравнения.

Труды Института системного программирования РАН, 2008
В статье излагается алгоритм автоматического определения реализуемости данного набора формул-сравнений. Алгоритм применяется в инструментах, реализующих технологию UniTESK.
С.В. Зеленов, С.А. Зеленова   +1 more
doaj  

Применение формальных методов для тестирования реализации IPv6.

Труды Института системного программирования РАН, 2004
В статье представлен опыт разработки тестового набора для реализации протокола IPv6. Для разработки тестового набора использовался метод разработки тестовых наборов на основе формальных спецификаций UniTesK, развиваемый в Институте системного ...
Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман   +4 more
doaj  

Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754

Труды Института системного программирования РАН, 2008
В работе рассматривается методика функционального тестирования модулей арифметики с плавающей точкой микропроцессоров (FPUs, Floating Point Units) на соответствие стандарту IEEE 754.
А.C. Камкин, М.M. Чупилко   +1 more
doaj  

Критерии тестового покрытия, основанные на структуре контрактных спецификаций.

Труды Института системного программирования РАН, 2008
В данной статье рассказывается о критериях тестового покрытия, применяемых в технологии UniTESK и основанных на структуре контрактных спецификаций функциональных требований.
В.В. Кулямин
doaj