Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/13600
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Федюкович Григорий Геннадьевич | ru_RU |
dc.contributor.author | Мисонижник Александр Владимирович | ru_RU |
dc.contributor.author | Misonizhnik Aleksandr | en_GB |
dc.contributor.editor | Кириленко Яков Александрович | ru_RU |
dc.contributor.editor | Kirilenko Iakov Аleksаndrovich | en_GB |
dc.date.accessioned | 2018-07-26T15:26:24Z | - |
dc.date.available | 2018-07-26T15:26:24Z | - |
dc.date.issued | 2018 | - |
dc.identifier.other | 040064 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/13600 | - |
dc.description.abstract | Символьное исполнение — популярная техника анализа программ, используемая для генерации тестового покрытия и формальной верификации. Одна из главных задач, решаемых символьным интерпретатором — исследование веток выполнения кода в на неопределенных входных данных. Из-за наличии полиморфизма типов и обобщенных типов, во время символьного исполнения .NET-кода появляется проблема неопределенности динамических типов объектов. В работе предложен способ представления неопределенности динамических типов объектов и ограничений на типы в символьном интерпретаторе .NET-кода, описано композициональное символьное исполнение в случае с частично определенными типами. Также представлен алгоритм решения систем ограничений на .NET-типы. | ru_RU |
dc.description.abstract | Symbolic execution is a popular technique of program analysis used for test generation and and formal software verification. One of the main problems solved by the symbolic execution engine is an exploration of program execution paths when input values are unknown. Type polymorphism and generic types arise the problem of the symbolic execution of nondeterministic runtime .NET types. The paper proposes a method for representing the nondeterminism of runtime types and type constraints generated by the symbolic execution engine and describes the compositional symbolic execution in the case of partially defined types. Also the algorithm for solving constraints on .NET types is presented. | en_GB |
dc.language.iso | ru | - |
dc.subject | Системы типов | ru_RU |
dc.subject | Объектно-ориентированное программирование | ru_RU |
dc.subject | Логика первого порядка | ru_RU |
dc.subject | Статический анализ | ru_RU |
dc.subject | Символьное исполнение | ru_RU |
dc.subject | Type systems | en_GB |
dc.subject | Object-oriented programming | en_GB |
dc.subject | First-order logic | en_GB |
dc.subject | Static analysis | en_GB |
dc.subject | Symbolic execution | en_GB |
dc.title | Compositional partially defined types in symbolic interpreter for the .NET Framework | en_GB |
dc.title.alternative | Композициональные частично определенные типы в символьном интерпретаторе для платформы .NET Framework | ru_RU |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
diploma.pdf | Article | 175,6 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Misonizhnik.pdf | ReviewRev | 135,48 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_stt08459_Fedyukovich_Grigorij_Gennadevich_(reviewer)(Ru).txt | ReviewRev | 9,52 kB | Text | Просмотреть/Открыть |
reviewSV_st007829_Kirilenko_YAkov_Aleksandrovich_(supervisor)(Ru).txt | ReviewSV | 4,6 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.