A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors

Συγγραφείς: Alexander Kamkin, Mikhail Petrochenkov

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

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

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

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

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

Integration Points of Operating System Verification Techniques

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

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

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

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

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

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

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

Testing of Operating Systems

Συγγραφείς: E. A. Gerlits, V. V. Kuliamin, A. V. Maksimov, A. K. Petrenko, A. V. Khoroshilov, A. V. Tsyvarev

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

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

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

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

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

Model Based Testing Framework Using Component Technologies

Συγγραφείς: Victor V. Kuliamin.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Θεματικοί όροι: 03 medical and health sciences, 0302 clinical medicine, Electronic computers. Computer science, автоматизированная генерация тестов, 0202 electrical engineering, electronic engineering, information engineering, спецификации, QA75.5-76.95, 02 engineering and technology, тестирование на основе моделей, верификация

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2013/24/isp_24_2013_207.pdf
https://doaj.org/article/4d5b38fe71d544b89f43e961b8ab20eb
http://ispras.ru/en/proceedings/archives/isp_24_2013/isp_24_2013_207.php

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

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

Θεματικοί όροι: ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ,ПРОВЕРКА МОДЕЛЕЙ,ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ,ОПЕРАЦИОННАЯ СИСТЕМА,ИНТЕГРАЦИЯ МЕТОДОВ ВЕРИФИКАЦИИ,ПРОГРАММНЫЕ КОНТРАКТЫ,THEOREM PROVING,SOFTWARE MODEL CHECKING,MODEL-BASED TESTING,OPERATING SYSTEM,INTEGRATION OF VERIFICATION METHODS,SOFTWARE CONTRACTS

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/ob-integratsii-formalnyh-metodov-v-zadachah-verifikatsii-operatsionnyh-sistem
http://cyberleninka.ru/article_covers/16396263.png

A MODEL-BASED APPROACH TO DESIGN TEST ORACLES FOR MEMORY SUBSYSTEMS OF MULTICORE MICROPROCESSORS

Συγγραφείς: KAMKIN ALEXANDER, PETROCHENKOV MIKHAIL

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/a-model-based-approach-to-design-test-oracles-for-memory-subsystems-of-multicore-microprocessors
http://cyberleninka.ru/article_covers/15899113.png

ТЕСТИРОВАНИЕ ОПЕРАЦИОННЫХ СИСТЕМ

Συγγραφείς: Герлиц, Е., Кулямин, В., Максимов, А., Петренко, А., Хорошилов, А., Цыварев, А.

Θεματικοί όροι: ROBUSTNESS TESTING. PERFORMANCE TESTING, ОПЕРАЦИОННАЯ СИСТЕМА, ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, ТЕСТИРОВАНИЕ ПРОИЗВОДИТЕЛЬНОСТИ

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/testirovanie-operatsionnyh-sistem
http://cyberleninka.ru/article_covers/14986545.png

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

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

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

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

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

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

Συγγραφείς: Кулямин, В.

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/arhitektura-sredy-testirovaniya-na-osnove-modeley-postroennaya-na-baze-komponentnyh-tehnologiy
http://cyberleninka.ru/article_covers/13974779.png

Об интеграции формальных методов в задачах верификации операционных систем

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

Θεματικοί όροι: ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ,ПРОВЕРКА МОДЕЛЕЙ,ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ,ОПЕРАЦИОННАЯ СИСТЕМА,ИНТЕГРАЦИЯ МЕТОДОВ ВЕРИФИКАЦИИ,ПРОГРАММНЫЕ КОНТРАКТЫ,THEOREM PROVING,SOFTWARE MODEL CHECKING,MODEL-BASED TESTING,OPERATING SYSTEM,INTEGRATION OF VERIFICATION METHODS,SOFTWARE CONTRACTS

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/16396263.png
http://cyberleninka.ru/article/n/ob-integratsii-formalnyh-metodov-v-zadachah-verifikatsii-operatsionnyh-sistem

Развитие подхода к разработке тестов 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

Тестирование операционных систем

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

Θεματικοί όροι: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences, ROBUSTNESS TESTING. PERFORMANCE TESTING, ОПЕРАЦИОННАЯ СИСТЕМА, ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, ТЕСТИРОВАНИЕ ПРОИЗВОДИТЕЛЬНОСТИ

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14986545.png
http://cyberleninka.ru/article/n/testirovanie-operatsionnyh-sistem

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

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

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

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/13974779.png
http://cyberleninka.ru/article/n/arhitektura-sredy-testirovaniya-na-osnove-modeley-postroennaya-na-baze-komponentnyh-tehnologiy

Аудит информационной безопасности: основные этапы, концептуальные основы, классификация мероприятий

Θεματικοί όροι: information warfare, ТЕСТИРОВАНИЕ НА ОСНОВЕ СПЕЦИАЛЬНЫХ СРЕДСТВ И СПОСОБОВ, information security, model based testing, testing on the ba-sis of special means, ИНФОРМАЦИОННО-ПСИХОЛОГИЧЕСКОЕ ВОЗДЕЙСТВИЕ, audit, testing, ИНФОРМАЦИОННОЕ ПРОТИВОБОРСТВО, information security audit, ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, АУДИТ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ, information-psychological influence, AUDIT, ТЕСТИРОВАНИЕ, ИНФОРМАЦИОННО-ТЕХНИЧЕСКОЕ ВОЗДЕЙСТВИЕ, ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ, cyber-attack