Программа воспроизведения системных вызовов операционной системы на Event-B модели
ТЕСТИРОВАНИЕ на основе моделей
Программа предназначена для воспроизведения трассы системных вызовов, снятых во время работы операционной системы, на их математической модели Event-B. Программа сверяет результаты реальных системных вызовов с результатами их обработки, выдаваемой математической моделью. Одним из предназначений программы является выявление расхождений между реальной системой и её математической моделью. В качестве входных данных программа принимает трассу системных вызовов в формате JSON и математическую модель Event-B. В качестве выходных данных программа предоставляет трассу воспроизведения модельных системных вызовов. В случае найденных расхождений в поведении реальной системы и её модели, программа предостаставляет список нарушенных при воспроизведении инвариантов модели, невыполняющееся охранное условие для конкретной операции, состояние модели на момент выявления расхождения.
Тестирование систем ответственного применение на соответствие формальным моделям.
Петренко А. К.
заведующий отделом
Доктор физико-математических наук
Аветисян А. И.
ВРИО директора
50.05.17
Теоретические основы системного программного обеспечения
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Денис
Ефремов
Валентинович
Проектирование, разработка и реализация алгоритмов. Написание и отладка программы
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИСП РАН
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
1037700067327
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения