ИСТИНА

В диссертационной работе получены следующие основные результаты: 1. Разработан новый алгоритм обнаружения подобных фрагментов в исходных кодах программ (программных клонов), позволяющий находить клоны, от которых можно избавиться при помощи реорганизации кода. Данный алгоритм был реализован в средстве, распространяемом под открытой лицензией. Проведено экспериментальное сравнение результатов работы Clone Digger и двух других средств Asta и CloneDR на основе методики, общепринятой при изучении эффективности средств выявления клонов. Эксперименты показали, что разработанное нами средство превосходит два другие средства как по полноте так и по точности поиска. 2. Разработан формальный язык, позволяющий задавать различные отношения подобия (симуляции) между структурами Крипке посредством правил антогонистической игры. Также разработано программноинструментальное средство, которое позволяет по описанию симуляции на этом языке и описанию двух моделей на языке МиБМУ, проверять выполняется ли данная симуляция между двумя данными моделями. Проведено экспериментальное исследование разработанного средства при инкрементальной разработке моделей программ. 3. Впервые было разработано отношение симуляции, сохраняющее выполнимость формул логики АТСТЪ на множестве временных игровых автоматов; приведён алгоритм проверки выполнимости данного отношения. Проведено практическое испытание реализации данного алгоритма в задаче синтеза контроллера для системы автоматического управления, модель которой содержит невидимую контроллеру информацию.