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

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

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

Θεματικοί όροι: ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ,ПРОВЕРКА МОДЕЛЕЙ,ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ,ОПЕРАЦИОННАЯ СИСТЕМА,ИНТЕГРАЦИЯ МЕТОДОВ ВЕРИФИКАЦИИ,ПРОГРАММНЫЕ КОНТРАКТЫ,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

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

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

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/razvitie-podhoda-k-razrabotke-testov-unitesk
http://cyberleninka.ru/article_covers/14986339.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