Conformance testing of Extensible Authentication Protocol implementations

Συγγραφείς: V.Z. Shnitman, A.V. Nikeshin

Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 89-104 (2019)

Θεματικοί όροι: контроль доступа, QA75.5-76.95, формальные методы, безопасность, аутентификация, eap, unitesk, мутационное тестирование, верификация, тестирование с использованием моделей, методы eap, Electronic computers. Computer science, тестирование, формальные спецификации

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2018/30/6/isp_30_2018_6_89.pdf
https://doaj.org/article/dde420256aef449588c8dfb1aba2d36e

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms

Συγγραφείς: A. . Kamkin, A. . Protsenko, A. . Tatarnikov

Πηγή: Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 125-138 (2018)

Θεματικοί όροι: микропроцессоры, управление памятью, кэширование, трансляция адресов, функциональная верификация, формальные спецификации, генерация тестовых программ, генерация потока инструкций, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/641; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/c5293cdc9871494da9fb768c741881dd

TLS clients testing

Συγγραφείς: A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman

Πηγή: Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 145-160 (2018)

Θεματικοί όροι: тестирование, верификация, формальные методы, формальные спецификации, тестирование с использованием моделей, tls, ssl, unitesk, мутационное тестирование, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1095; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/47de7b411ab6441cb592c3c7de531dee

Automation of conformance testing for communication protocols

Συγγραφείς: Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin

Πηγή: Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 109-148 (2018)

Θεματικοί όροι: тестирование соответствия, unitesk, формальные методы, автоматизация тестирования, тестирование, основанное на моделях, тестирование протоколов, формальные спецификации, моделирование протоколов, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/769; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/c012a2dc12f440438eb024dcbe166cc5

Evolution of UniTESK Test Development Technology

Συγγραφείς: V. Kuliamin, A. Petrenko

Πηγή: Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 9-26 (2018)

Θεματικοί όροι: тестирование на основе моделей, автоматизация тестирования, формальные спецификации, программные контракты, масштабируемость тестов, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/763; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/c2a92391ba2c4518a234d3daf4227169

Formal specifications-based automation of system testing of hardware designs

Συγγραφείς: M. M. Chupilko.

Πηγή: Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)

Θεματικοί όροι: системное тестирование взаимосвязанных модулей аппаратуры, формальные спецификации, технология unitesk, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1081; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/8e0c2101309f45bca619a63630675925

Test Suite development for verification of TLS security protocol

Συγγραφείς: A. V. Nikeshin, N. V. Pakulin,, V. Z. Shnitman.

Πηγή: Труды Института системного программирования РАН, Vol 23, Iss 0 (2018)

Θεματικοί όροι: тестирование, верификация, формальные методы, формальные спецификации, mbt, тестирование с использованием моделей, модели программ, tls, ssl, javatesk, unitesk, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/991; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/9aeffe2e89a1422ebf933e4e71c58a30

Test Program Generation for Microprocessors Based on Pipeline Hazards Templates

Συγγραφείς: D. N. Vorobyev, A. S. Kamkin

Πηγή: Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)

Θεματικοί όροι: построение тестовых программ, верификации управляющей логики микропроцессоров, формальные спецификации, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1080; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/24c5594b039e4243a3ceebf75f6e809a

AN APPROACH TO TEST PROGRAM GENERATION BASED ON FORMAL SPECIFICATIONS OF CACHING AND ADDRESS TRANSLATION MECHANISMS

Συγγραφείς: KAMKIN A., PROTSENKO A., TATARNIKOV A.

Θεματικοί όροι: МИКРОПРОЦЕССОРЫ, УПРАВЛЕНИЕ ПАМЯТЬЮ, КЭШИРОВАНИЕ, ТРАНСЛЯЦИЯ АДРЕСОВ, ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ГЕНЕРАЦИЯ ТЕСТОВЫХ ПРОГРАММ, ГЕНЕРАЦИЯ ПОТОКА ИНСТРУКЦИЙ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/an-approach-to-test-program-generation-based-on-formal-specifications-of-caching-and-address-translation-mechanisms
http://cyberleninka.ru/article_covers/15899111.png

ТЕСТИРОВАНИЕ РЕАЛИЗАЦИЙ КЛИЕНТА ПРОТОКОЛА TLS

Συγγραφείς: НИКЕШИН А.В., ПАКУЛИН Н.В., ШНИТМАН В.З.

Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/testirovanie-realizatsiy-klienta-protokola-tls
http://cyberleninka.ru/article_covers/15899096.png

АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ СООТВЕТСТВИЯ ДЛЯ ТЕЛЕКОММУНИКАЦИОННЫХ ПРОТОКОЛОВ

Συγγραφείς: Пакулин, Н., Шнитман, В., Никешин, А.

Θεματικοί όροι: ТЕСТИРОВАНИЕ СООТВЕТСТВИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ТЕСТИРОВАНИЕ, ОСНОВАННОЕ НА МОДЕЛЯХ, ТЕСТИРОВАНИЕ ПРОТОКОЛОВ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/avtomatizatsiya-testirovaniya-sootvetstviya-dlya-telekommunikatsionnyh-protokolov
http://cyberleninka.ru/article_covers/14987277.png

РАЗВИТИЕ ПОДХОДА К РАЗРАБОТКЕ ТЕСТОВ UNITESK

Συγγραφείς: Кулямин, В., Петренко, А.

Θεματικοί όροι: ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ПРОГРАММНЫЕ КОНТРАКТЫ, МАСШТАБИРУЕМОСТЬ ТЕСТОВ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/razvitie-podhoda-k-razrabotke-testov-unitesk
http://cyberleninka.ru/article_covers/14986339.png

Expansion RTPA specification for representing domain analysis ; Расширение RTPA для представления спецификации доменного анализа ; Розширення RTPA для представлення специфікації доменного аналізу

Συγγραφείς: Мендзебровський, Ігор Борисович, Сидоров, Євген Миколайович, Дуднік, Валентин Володимирович

Πηγή: Ukrainian Information Security Research Journal; Vol. 14 No. 4 (57) (2012); 82-87 ; Защита информации; Том 14 № 4 (57) (2012); 82-87 ; Захист інформації; Том 14 № 4 (57) (2012); 82-87 ; 2410-7840 ; 2221-5212

Θεματικοί όροι: software engineering, domain engineering, domain analysis, information safety formal specification, RTPA, protection, UDC 378.1, 303.732.4 (477), инженерия программного обеспечения, доменная инженерия, доменный анализ, формальные спецификации, защита информации, УДК 378.1, інженерія програмного забезпечення, доменна інженерія, доменний аналіз, формальні специфікації, захист інформації

Time: 004

Περιγραφή αρχείου: application/pdf

Relation: https://jrnl.nau.edu.ua/index.php/ZI/article/view/3497/3468; https://jrnl.nau.edu.ua/index.php/ZI/article/view/3497

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/ZI/article/view/3497
https://doi.org/10.18372/2410-7840.14.3497

РАЗРАБОТКА ТЕСТОВОГО НАБОРА ДЛЯ ВЕРИФИКАЦИИ РЕАЛИЗАЦИЙ ПРОТОКОЛА БЕЗОПАСНОСТИ TLS

Συγγραφείς: Никешин, А., Пакулин, Н., Шнитман, В.

Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МОДЕЛИ ПРОГРАММ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/razrabotka-testovogo-nabora-dlya-verifikatsii-realizatsiy-protokola-bezopasnosti-tls
http://cyberleninka.ru/article_covers/14037840.png

ПАРАЛЛЕЛЬНОЕ ТЕСТИРОВАНИЕ БОЛЬШИХ АВТОМАТНЫХ МОДЕЛЕЙ*

Συγγραφείς: Бурдонов, Игорь, Грошев, Сергей, Демаков, Алексей, Камкин, Александр, Косачев, Александр, Сортов, Александр

Θεματικοί όροι: ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ,ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ,МОДЕЛИ АППАРАТУРЫ,РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ,РАСПРЕДЕЛЕННОЕ ТЕСТИРОВАНИЕ,КОНЕЧНЫЕ АВТОМАТЫ,FUNCTIONAL TESTING,FORMAL SPECIFICATIONS,HARDWARE MODELS,DISTRIBUTED SYSTEMS,DISTRIBUTED TESTING,FINITE-STATE AUTOMATA

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/parallelnoe-testirovanie-bolshih-avtomatnyh-modeley
http://cyberleninka.ru/article_covers/14851191.png

ГЕНЕРАЦИЯ ТЕСТОВЫХ ПРОГРАММ ДЛЯ МИКРОПРОЦЕССОРОВ НА ОСНОВЕ ШАБЛОНОВ КОНВЕЙЕРНЫХ КОНФЛИКТОВ

Συγγραφείς: Воробьев, Д., Камкин, А.

Θεματικοί όροι: ПОСТРОЕНИЕ ТЕСТОВЫХ ПРОГРАММ,ВЕРИФИКАЦИИ УПРАВЛЯЮЩЕЙ ЛОГИКИ МИКРОПРОЦЕССОРОВ,ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/generatsiya-testovyh-programm-dlya-mikroprotsessorov-na-osnove-shablonov-konveyernyh-konfliktov
http://cyberleninka.ru/article_covers/13969851.png

АВТОМАТИЗАЦИЯ СИСТЕМНОГО ТЕСТИРОВАНИЯ МОДЕЛЕЙ АППАРАТУРЫ НА ОСНОВЕ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ

Συγγραφείς: Чупилко, М.

Θεματικοί όροι: СИСТЕМНОЕ ТЕСТИРОВАНИЕ ВЗАИМОСВЯЗАННЫХ МОДУЛЕЙ АППАРАТУРЫ,ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ,ТЕХНОЛОГИЯ UNITESK

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/avtomatizatsiya-sistemnogo-testirovaniya-modeley-apparatury-na-osnove-formalnyh-spetsifikatsiy
http://cyberleninka.ru/article_covers/13967138.png

Тестирование реализаций клиента протокола TLS

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15899096.png
http://cyberleninka.ru/article/n/testirovanie-realizatsiy-klienta-protokola-tls

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

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ПРОГРАММНЫЕ КОНТРАКТЫ, МАСШТАБИРУЕМОСТЬ ТЕСТОВ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14986339.png
http://cyberleninka.ru/article/n/razvitie-podhoda-k-razrabotke-testov-unitesk

Автоматизация тестирования соответствия для телекоммуникационных протоколов

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: ТЕСТИРОВАНИЕ СООТВЕТСТВИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ТЕСТИРОВАНИЕ, ОСНОВАННОЕ НА МОДЕЛЯХ, ТЕСТИРОВАНИЕ ПРОТОКОЛОВ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14987277.png
http://cyberleninka.ru/article/n/avtomatizatsiya-testirovaniya-sootvetstviya-dlya-telekommunikatsionnyh-protokolov