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

Authors: A. V. Misonizhnik, Yu. O. Kostyukov, M. P. Kostitsyn, D. A. Mordvinov, D. V. Koznov

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

Subject Terms: слабейшие предусловия, символьное исполнение, обратный символьный анализ, двунаправленный анализ, автоматическая генерация тестов, Information technology, T58.5-58.64

File Description: electronic resource

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

Access URL: https://doaj.org/article/747bb1f0ad2f499580feb3fa307d2544

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

Authors: Демухаметов, П. Н., Зарембо, Я. А., Аврискин, М. В., Demukhametov, P. N., Zarembo, Ya. A., Avriskin, M. V.

Subject Terms: конференции, автоматизированная генерация тестов, извлечение терминов, генерация вопросов, языковые модели, обработка естественного языка текста, тестирование знаний, conferences, automated test generation, term extraction, question generation, language models, text natural language processing, knowledge testing

File Description: application/pdf

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

Availability: 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»

Authors: Струнин, В. Д., Бовыкина, Е. Е., Павлова, Е. А., Strunin, V. D., Bovykina, E. E., Pavlova, E. A.

Subject Terms: конференции, автоматизированная проверка, AST-анализ, мутационное тестирование, автоматизированная генерация тестов, анализ программного кода, conferences, automated verification, AST analysis, mutation testing, automated test generation, program code analysis

File Description: application/pdf

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

Availability: https://elib.utmn.ru/jspui/handle/ru-tsu/38229

Extracting Assertions for Conflicts in HDL Descriptions

Authors: Sergey Smolov, A.S. Kamkin, M.S. Lebedev

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

Subject Terms: язык описания аппаратуры, граф потока управления, функциональная верификация, разработка аппаратуры, QA75.5-76.95, 02 engineering and technology, проверка модели, решающая диаграмма охраняемых действий, конфликт доступа к данным, охраняемое действие, статический анализ, Electronic computers. Computer science, генерация тестов, 0202 electrical engineering, electronic engineering, information engineering

Access URL: 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

Authors: LEBEDEV M.S., SMOLOV S.A.

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

Subject Terms: охраняемое действие, расширенный конечный автомат, статический анализ, функциональная верификация, 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,ЦИФРОВАЯ АППАРАТУРА,ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ,СТАТИЧЕСКИЙ АНАЛИЗ,ГЕНЕРАЦИЯ ТЕСТОВ,ОХРАНЯЕМОЕ ДЕЙСТВИЕ,ВЫСОКОУРОВНЕВАЯ РЕШАЮЩАЯ ДИАГРАММА,РАСШИРЕННЫЙ КОНЕЧНЫЙ АВТОМАТ,ПРОВЕРКА МОДЕЛИ, высокоуровневая решающая диаграмма, проверка модели

File Description: text/html

Access URL: 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

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

Subject Terms: структурное тестирование, полнота тестирования, генерация тестов, автоматизация тестирования

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

Subject Terms: структурное тестирование, полнота тестирования, генерация тестов, автоматизация тестирования

Conformance theory development: semantics, formal models, algorithms

Authors: Igor Burdonov, Alexander Kossatchev

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

Subject Terms: семантика взаимодействия, конечные автоматы, lts, iolts, трассы, конформность, приоритеты, симуляция, редукция, генерация тестов, оптимизация тестирования, пополнение спецификаций, композиция систем, медиаторы, моделирование, реализация, спецификация, безопасное тестирование, исследование графов, обход графа, параллельное тестирование, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/110896f1f5d142868ea30869aac64934

Test Readability Optimization in Context of Symbolic Execution

Authors: I. A. Yakimov, A. S. Kuznetsov

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

Subject Terms: автоматическая генерация тестов, символьные вычисления, цена проверки тестов человеком, биграммная модель языка, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/cc092f389f344f35b2c26a6f16462f75

Tools for Functional Verification of Microprocessors

Authors: A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov

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

Subject Terms: микропроцессоры, цифровая аппаратура, верификация, валидация, тестирование, генерация тестов, моделирование, языки описания архитектуры, распараллеливание, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/bc4ad7a22bba48c4881fbf7c4764c0b0

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

Authors: I. . Melnichenko, A. . Kamkin, S. . Smolov

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

Subject Terms: проектирование аппаратуры, язык описания аппаратуры, имитационная верификация, генерация тестов, моделирование, расширенный конечный автомат, обход графа, случайный обход, поиск с возвратами, символическое исполнение, разрешение ограничений, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/f458ed7a4f804d708ac53b93c9240478

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

Authors: Андреева, Т. А., Andreyeva, T. A.

Subject Terms: AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ

Subject Geographic: RU, RSVPU, РФ, РГППУ

File Description: application/pdf

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

Availability: https://elar.uspu.ru/handle/ru-uspu/25446

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

Authors: Andreyeva, T. A.

Subject Terms: АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE

File Description: application/pdf

Access URL: https://elar.rsvpu.ru/handle/123456789/25446

The final models of specification

Authors: Igor Bourdonov, Alexander Kosachev

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

Subject Terms: семантика взаимодействия, отказы, разрушение, дивергенция, конформность, безопасное тестирование, трассы, lts, генерация тестов, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/dbd3f6ac6ed64634bc5779ed9cf09daa

Combinatorial generation of operation system software configurations

Authors: V. V. Kuliamin

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

Subject Terms: конфигурационное тестирование, покрывающий набор, генерация тестов, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/caf6b2e9207c48f0a71d372e9fe7b5f5

Error dependencies on classes of implementations under testing

Authors: Alexander Kossatchev

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

Subject Terms: семантика взаимодействия, трассы, lts, конформность, зависимость между ошибками, генерация тестов, дивергенция, разрушение, безопасное тестирование, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/f538157ae5cb444b93db1c50956fff46

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

Authors: V. P. Ivannikov, A. K. Petrenko, V. V. Kuliamin, A. V. Maksimov

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

Subject Terms: тестирование на основе моделей, спецификации, верификация, автоматизированная генерация тестов, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/4d5b38fe71d544b89f43e961b8ab20eb

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

Authors: A.K. Petrenko, V.V. Kuliamin, V. P. Ivannikov, A.V. Maksimov

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

Subject Terms: 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, тестирование на основе моделей, верификация

Access URL: 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

Authors: Alexander Kosachev, Igor Burdonov

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

Subject Terms: дивергенция, безопасное тестирование, отказы, Electronic computers. Computer science, генерация тестов, семантика взаимодействия, трассы, lts, QA75.5-76.95, конформность, разрушение

Access URL: 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

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

Subject Terms: цвет и любая конфигурация вершин и горизонтальных дуг, визуальное (графическое, полиглот, математическое, интеллектуальное ,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