Zobrazeno 1 - 10
of 23
pro vyhledávání: '"формальные спецификации"'
Autor:
A. V. Nikeshin, V. Z. Shnitman
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 89-104 (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 techno
Externí odkaz:
https://doaj.org/article/dde420256aef449588c8dfb1aba2d36e
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 145-160 (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
Externí odkaz:
https://doaj.org/article/47de7b411ab6441cb592c3c7de531dee
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 125-138 (2018)
In this work, an approach to generate test programs for functional verification of memory management units of microprocessors is proposed. The approach is based on formal specification of memory access instructions, namely load and store instructions
Externí odkaz:
https://doaj.org/article/c5293cdc9871494da9fb768c741881dd
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 109-148 (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. During t
Externí odkaz:
https://doaj.org/article/c012a2dc12f440438eb024dcbe166cc5
Autor:
V. Kuliamin, A. Petrenko
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 9-26 (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 teleco
Externí odkaz:
https://doaj.org/article/c2a92391ba2c4518a234d3daf4227169
Autor:
D. N. Vorobyev, A. S. Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)
In this work, a method for the automated test programs generation aimed at the verification of microprocessor control logic is considered. The method is based on formal specification of a microprocessor instruction set and description of pipeline haz
Externí odkaz:
https://doaj.org/article/24c5594b039e4243a3ceebf75f6e809a
Autor:
M. M. Chupilko.
Publikováno v:
Труды Института системного программирования РАН, Vol 18, Iss 0 (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. Brief analysis of the ways to develop test sy
Externí odkaz:
https://doaj.org/article/8e0c2101309f45bca619a63630675925
Publikováno v:
Труды Института системного программирования РАН, Vol 23, Iss 0 (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. Implementers do have their own test suites, but the primary objective of those tests are int
Externí odkaz:
https://doaj.org/article/9aeffe2e89a1422ebf933e4e71c58a30
Autor:
A.V. Nikeshin, V.Z. Shnitman
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 89-104 (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 techno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82bc500312587452d83e7f03ffec1329
https://doi.org/10.15514/ispras-2018-30(6)-5
https://doi.org/10.15514/ispras-2018-30(6)-5
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 145-160 (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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d25029cc7d123b79fa62d09f7be9d22
https://doi.org/10.15514/ispras-2015-27(2)-9
https://doi.org/10.15514/ispras-2015-27(2)-9