Generation of the weakest preconditions of programs with dynamic memory in symbolic execution

Συγγραφείς: A. V. Misonizhnik, Yu. O. Kostyukov, M. P. Kostitsyn, D. A. Mordvinov, D. V. Koznov

Πηγή: Научно-технический вестник информационных технологий, механики и оптики, Vol 22, Iss 5, Pp 982-991 (2024)

Θεματικοί όροι: слабейшие предусловия, символьное исполнение, обратный символьный анализ, двунаправленный анализ, автоматическая генерация тестов, Information technology, T58.5-58.64

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

Relation: https://ntv.elpub.ru/jour/article/view/82; https://doaj.org/toc/2226-1494; https://doaj.org/toc/2500-0373

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

Исследование методов генерации тестовых вопросов по лекционным материалам ИТ-дисциплин ; Research of methods for generating test questions on lecture materials of IT disciplines

Συγγραφείς: Демухаметов, П. Н., Зарембо, Я. А., Аврискин, М. В., Demukhametov, P. N., Zarembo, Ya. A., Avriskin, M. V.

Θεματικοί όροι: конференции, автоматизированная генерация тестов, извлечение терминов, генерация вопросов, языковые модели, обработка естественного языка текста, тестирование знаний, conferences, automated test generation, term extraction, question generation, language models, text natural language processing, knowledge testing

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

Relation: Математическое и информационное моделирование : материалы Всероссийской конференции молодых ученых. Вып. 23. — Тюмень, 2025

Διαθεσιμότητα: https://elib.utmn.ru/jspui/handle/ru-tsu/38231

Разработка алгоритма проверки программных кодов студентов по дисциплине «программирование и основы алгоритмизации» ; Development of an algorithm for checking students' program codes in the discipline «Programming and fundamentals of algorithmization»

Συγγραφείς: Струнин, В. Д., Бовыкина, Е. Е., Павлова, Е. А., Strunin, V. D., Bovykina, E. E., Pavlova, E. A.

Θεματικοί όροι: конференции, автоматизированная проверка, AST-анализ, мутационное тестирование, автоматизированная генерация тестов, анализ программного кода, conferences, automated verification, AST analysis, mutation testing, automated test generation, program code analysis

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

Relation: Математическое и информационное моделирование : материалы Всероссийской конференции молодых ученых. Вып. 23. — Тюмень, 2025

Διαθεσιμότητα: https://elib.utmn.ru/jspui/handle/ru-tsu/38229

Extracting Assertions for Conflicts in HDL Descriptions

Συγγραφείς: Sergey Smolov, A.S. Kamkin, M.S. Lebedev

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

Θεματικοί όροι: язык описания аппаратуры, граф потока управления, функциональная верификация, разработка аппаратуры, QA75.5-76.95, 02 engineering and technology, проверка модели, решающая диаграмма охраняемых действий, конфликт доступа к данным, охраняемое действие, статический анализ, Electronic computers. Computer science, генерация тестов, 0202 electrical engineering, electronic engineering, information engineering

Σύνδεσμος πρόσβασης: https://ispranproceedings.elpub.ru/jour/article/download/1183/943
https://doaj.org/article/3d0ddb77f1c34f1ea6abc700fbd9406f
https://ispranproceedings.elpub.ru/jour/article/view/1183
https://ispranproceedings.elpub.ru/jour/article/download/1183/943

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

Συγγραφείς: LEBEDEV M.S., SMOLOV S.A.

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

Θεματικοί όροι: охраняемое действие, расширенный конечный автомат, статический анализ, функциональная верификация, Electronic computers. Computer science, генерация тестов, цифровая аппаратура, QA75.5-76.95, HARDWARE DESIGN,FUNCTIONAL VERIFICATION,STATIC ANALYSIS,TEST GENERATION,GUARDED ACTION,HIGH-LEVEL DECISION DIAGRAM,EXTENDED FINITE STATE MACHINE,MODEL CHECKING,ЦИФРОВАЯ АППАРАТУРА,ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ,СТАТИЧЕСКИЙ АНАЛИЗ,ГЕНЕРАЦИЯ ТЕСТОВ,ОХРАНЯЕМОЕ ДЕЙСТВИЕ,ВЫСОКОУРОВНЕВАЯ РЕШАЮЩАЯ ДИАГРАММА,РАСШИРЕННЫЙ КОНЕЧНЫЙ АВТОМАТ,ПРОВЕРКА МОДЕЛИ, высокоуровневая решающая диаграмма, проверка модели

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

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2016/28/4/isp_28_2016_4_41.pdf
https://doaj.org/article/db5cd6bc2a3c4fd88d1b58c262c5cfae
https://ispranproceedings.elpub.ru/jour/article/download/138/75
https://doaj.org/article/db5cd6bc2a3c4fd88d1b58c262c5cfae
https://ispranproceedings.elpub.ru/jour/article/view/138
https://cyberleninka.ru/article/n/a-model-checking-based-method-of-functional-test-generation-for-hdl-descriptions
https://www.ispras.ru/en/proceedings/isp_28_2016_4/isp_28_2016_4_41/
https://cyberleninka.ru/article/n/a-model-checking-based-method-of-functional-test-generation-for-hdl-descriptions/pdf
http://cyberleninka.ru/article_covers/16937636.png
http://cyberleninka.ru/article/n/a-model-checking-based-method-of-functional-test-generation-for-hdl-descriptions

Структурное тестирование программных систем. проблемы и пути решения

Θεματικοί όροι: структурное тестирование, полнота тестирования, генерация тестов, автоматизация тестирования

СТРУКТУРНОЕ ТЕСТИРОВАНИЕ ПРОГРАММНЫХ СИСТЕМ. ПРОБЛЕМЫ И ПУТИ РЕШЕНИЯ

Θεματικοί όροι: структурное тестирование, полнота тестирования, генерация тестов, автоматизация тестирования

Conformance theory development: semantics, formal models, algorithms

Συγγραφείς: Igor Burdonov, Alexander Kossatchev

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

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

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

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

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

Test Readability Optimization in Context of Symbolic Execution

Συγγραφείς: I. A. Yakimov, A. S. Kuznetsov

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

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

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

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

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

Tools for Functional Verification of Microprocessors

Συγγραφείς: A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov

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

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

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

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

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

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

Συγγραφείς: I. . Melnichenko, A. . Kamkin, S. . Smolov

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

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

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

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

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

Автоматизированная подготовка задачных комплектов для олимпиад по программированию ; Automated creation of the problem complexes for programming contests

Συγγραφείς: Андреева, Т. А., Andreyeva, T. A.

Θεματικοί όροι: AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ

Θέμα γεωγραφικό: RU, RSVPU, РФ, РГППУ

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

Relation: Наука. Информатизация. Технологии. Образование : материалы XI международной научно-практической конференции. - Екатеринбург, 2018

Διαθεσιμότητα: https://elar.uspu.ru/handle/ru-uspu/25446

Автоматизированная подготовка задачных комплектов для олимпиад по программированию

Συγγραφείς: Andreyeva, T. A.

Θεματικοί όροι: АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE

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

Σύνδεσμος πρόσβασης: https://elar.rsvpu.ru/handle/123456789/25446

The final models of specification

Συγγραφείς: Igor Bourdonov, Alexander Kosachev

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

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

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

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

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

Combinatorial generation of operation system software configurations

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

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

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

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

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

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

Error dependencies on classes of implementations under testing

Συγγραφείς: Alexander Kossatchev

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

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

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

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

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

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

The final models of specification

Συγγραφείς: Alexander Kosachev, Igor Burdonov

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

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

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2012/22/isp_22_2012_233.pdf
https://doaj.org/article/dbd3f6ac6ed64634bc5779ed9cf09daa
https://ispras.ru/en/proceedings/archives/isp_22_2012/isp_22_2012_233.php

New graphik programming concept

Πηγή: Южно-Сибирский научный вестник.

Θεματικοί όροι: цвет и любая конфигурация вершин и горизонтальных дуг, визуальное (графическое, полиглот, математическое, интеллектуальное ,3D+) программирование, three-dimensional graphs, any load on arcs, доказательство правильности программ, programming without programming languages, автоматическая генерация тестов, proof of correctness, mathematical and polyglot concept, ориентированные графы с горизонтальными дугами, graphic programming, документирование мотивации принимаемых решений, color, programming for all, самодокументирование, automatic test generation, oriented graphs with horizontal arcs, оптимизация графов программ, self-documentation, compactness of the record, any configuration of arcs and vertices