Логин:
Пароль:

Работа №1436
Название работы
Проведение прикладных и проблемно-ориентированных поисковых исследований в области информационно-телекоммуникационных систем с участием научных организаций Франции "Разработка математических и програмных средств для верификации и тестирования управляющих систем на основе моделей с конечным числом переходов"
Автор работы
Евтушенко Нина Владимировна
Дата начала работы Дата окончания работы
2009-06-01 2010-10-15
Аннотация
Цель работы: Выполнение международных обязательств Томского государственного университета, зафиксированных в соглашении о сотрудничестве № 157 от 15.04.2009 с TELECOM&Management Южный Париж, г. Еври, Франция по про-ведению совместных поисковых исследований по приоритетным направлениям науки и техники, представляющим взаимный интерес. Разработка математических и программных средств для верификации и тестирования управляющих систем на основе моделей с конечным числом переходов. Ожидаемые результаты: - описание результатов теоретических исследований отношений конформности и различимости для моделей с конечным числом переходов, полученных в ходе выполнения НИР; - разработанные методики верификации и синтеза тестов с гарантированной полнотой для недетерминированных автоматов, расширенных автоматов на основе срезов и для временных автоматов; - разработанные методики верификации и синтеза тестов с гарантированной полнотой для композиций автоматов различного вида, в том числе методика синтеза тестов для проверки взаимодействия компонент автоматной сети; - разработанные методики пассивного тестирования взаимодействующих реализаций телекоммуникационных протоколов; - технико-экономическую оценку рыночного потенциала полученных результатов. Предполагаемое использование результатов НИР: Результаты проведенной НИР могут быть использованы для верификации и тестирования управляющих систем на основе формальных моделей с конечным числом переходов, в частности, при сертификационном тестировании реализаций сетевых протоколов. В дальнейшем могут быть выполнены ОКР по созданию программного обеспечения для тестирования элементов телекоммуникационных систем на основе формальных моделей.
Тип НИР Источник финансирования Объем финансирования Вид работы
ФЦП 1004000 Федеральное агентство по науке и инновациям Прикладная
Промежуточный реферат №1
Результаты, полученные на текущем этапе. Предложен алгоритм проверки полноты пассивного тестирования, основанный на свойствах возможных мутантов, которые компактно представлены в виде множества подавтоматов мутационного автомата, и показано, каким образом полученные результаты можно использовать при оценке полноты пассивного тестирования для расширенных автоматов. Продолжена разработка инвариантов для протоколов с различными свойствами, в том числе, для обнаружения атак на основе SQL-инъекций, для протоколов беспроводных сетей и протоколов с меняющейся топологией (научная группа профессора А. Кавалли). Понятие инварианта расширено для пассивного тестирования взаимодействующих конечных автоматов, и предложены три способа построения запрещенных инвариантов для пассивного тестирования, т.е. таких последовательностей, наблюдая которые, можно сделать вывод о возможном зацикливании в функционировании взаимодействующих систем, поведение которых описано конечными автоматами. Выделены инварианты для реальных протоколов, в частности, для пассивного тестирования клиентских реализаций протоколов прикладного уровня. Разработанные инварианты добавлены к существующей базе тестов для протоколов прикладного уровня. Автоматизирован процесс пассивного тестирования клиентских реализаций протоколов прикладного уровня. Французский партнер продолжает исследования по анализу наблюдаемости и управляемости компоненты при совместной работе веб-серверов, по анализу уязвимостей программного обеспечения, используемого в веб-приложениях, а также по развитию методов пассивного тестирования для современных протоколов, в том числе, с целью обнаружения несанкционированного доступа.
Инвентарный номер отчета (ИК): 02201050228 Дата регистрации ИК: 2010-01-15
Промежуточный реферат №2
Объектом исследования являются управляющие системы с конечным числом состояний, в которых в явном виде учитываются временные аспекты, и тестирование таких систем. Целью данного этапа работ была разработка методов синтеза проверяющих тестов с гарантированной полнотой относительно различных временных моделей. На данном этапе получены следующие основные результаты: предложены две модели временного конечного автомата (временные автоматы первого и второго рода); установлены различные свойства временных автоматов первого и второго рода; рассмотрен ряд отношений между временными автоматами, в частности, установлены необходимые и достаточные условия различимости двух временных автоматов, как посредством безусловного, так и посредством условного эксперимента; сформулирован ряд свойств различных отношений конформности и различимости между временными автоматами, которые используются при синтезе проверяющих тестов с гарантированной полнотой; предложены модели неисправности для временных автоматов; для всех рассмотренных моделей неисправности предложены методы синтеза проверяющих тестов с гарантированной полнотой. Тестирование на основе моделей, которые явно учитывают временные аспекты, имеет много практических приложений: мониторинг телекоммуникационных систем, в том числе, с целью проверки совместной работы веб-серверов, тестирование взаимодействующих элементов телекоммуникационных систем и т.п.
Инвентарный номер отчета (ИК): 02201050230 Дата регистрации ИК: 2010-01-15
Промежуточный реферат №3
Объектом исследования являются управляющие системы с конечным числом состояний, поведение которых описывается расширенным или недетерминированным автоматом. Целью данного этапа работ является исследование различных аспектов, относящихся к тестированию расширенных и недетерминированных автоматов, а также разработка методов синтеза проверяющих тестов с гарантированной полнотой для расширенных и недетерминированных автоматов. При проведении исследований использовались методы дискретной математики, в частности, методы теории автоматов и математической логики, теории формальных языков; эффективность разработанных методов и алгоритмов проверялась с помощью компьютерных экспериментов. На данном этапе получены следующие основные результаты. Предложены различные срезы расширенных автоматов с конечно автоматным поведением и исследованы свойства построенных срезов. Исследованы комбинаторные проблемы, которые возникают при решении проблем верификации и тестирования для недетерминированных и расширенных автоматов. Проведен анализ случаев, когда для решения этих проблем существует алгоритм полиномиальной сложности, и разработаны эффективные методы решения соответствующих задач для таких случаев. Разработаны и программно реализованы алгоритмы тестирования недетерминированных автоматов.
Инвентарный номер отчета (ИК): 02201056413 Дата регистрации ИК: 2010-09-22
Заключительный реферат
Объектом исследования являются управляющие системы с конечным числом переходов, поведение которых описывается конечным, возможно, временным и/или недетерминированным, автоматом. Целью данного этапа работ является исследование эффективности разработанных методов синтеза проверяющих тестов для систем с конечным числом переходов посредством компьютерных экспериментов, в том числе, совместно с французским партнером. Целью данного этапа работ является исследование эффективности разработанных методов синтеза проверяющих тестов для систем с конечным числом переходов посредством компьютерных экспериментов, в том числе, совместно с французским партнером. При проведении исследований использовались компьютерные эксперименты с программными реализациями разработанных методов. Разработаны пакеты прикладных программ по синтезу тестов с гарантированной полнотой для детерминированных, недетерминированных и временных автоматов, по синтезу тестов для проверки взаимодействия компонент автоматной сети, по синтезу тестов для проверки реализаций протоколов вычислительных сетей. Разработан пакет прикладных программ, позволяющий обнаруживать нарушения информационной безопасности в компьютерных системах, построенных на базе политики дискреционного разграничения доступа (модель ХРУ). Разработаны программа и методики экспериментальных исследований. Проведены совместные с иностранным партнером эксперименты по оценке эффективности разработанных алгоритмов для тестирования реализаций телекоммуникационных протоколов.
Инвентарный номер отчета (ИК): 02201056985 Дата регистрации ИК: 2010-10-27
Заказчик
Федеральное агентство по науке и инновациям, ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 годы" по лоту шифр «2009-04-1.4-00-02", ГК 02.514.12.4002 от 09 июня 2009 г.
ГРНТИ УДК Инвентарный номер Госшифр Госконтракт Договор
28.25.15 ( КИБЕРНЕТИКА. Теория конечных автоматов и формальных языков. Анализ и синтез конечных автоматов. )
28.25 ( КИБЕРНЕТИКА. Теория конечных автоматов и формальных языков. )
519.713,519.76,004.42,004.056:061.68; 478188 2009-04-1.4-00-02-003 02.514.12.4002
Ключевые слова
конечный полуавтомат, конечный автомат, расширенный автомат, временной автомат, композиция автоматов, модель неисправности, осцилляция, проверяющий тест, полнота теста, пассивное тестирование, инварианты
Предполагаемый результат работы
Отчет
Организации соисполнители
Организация – иностранный партнер: TELECOM&Management Южный Париж, г. Еври, Франция
Государственный учет результатов НИОКР в БД РНТД Минобрнауки РФ
Получить полный доступ
Основание к регистрации темы (электронный вариант)
Только для служебного пользования
   
2007 © ОНТИ НУ ТГУ
E-mail: onti@sun.lib.tsu.ru
Тел: 52-76-99