ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ БОРТОВОЙ ВЫЧИСЛИТЕЛЬНОЙ МАШИНЫ, ПРЕДСТАВЛЕННОЙ В ВИДЕ ИМИТАЦИОННОЙ МОДЕЛИ

1Контекст

Для тестирования устройств, входящих в состав бортовых ИУС РВ, используются специализированные программные средства функционального тестирования (ФТ). Эти средства позволяют:

• разрабатывать тестовые сценарии на языке описания тестов (ЯОТ);

• выполнять тестовые сценарии на инструментальных машинах;

• обрабатывать результаты тестирования.

В процессе тестирования тестовые сценарии выполняют обмен данными с устройствами ИУС РВ по бортовым каналам, выдавая в канал тестовые данные и принимая ответные данные от тестируемых устройств. Принятые данные проверяются на предмет корректности значений и своевременности поступления.

Задание заключается в том, чтобы ознакомиться с возможностями средств ФТ, созданных в Лаборатории вычислительных комплексов ВМК МГУ, и применить эти средства для тестирования требований к функционированию бортовой цифровой вычислительной машины (БЦВМ). В рамках задания БЦВМ представлена имитационной моделью, отрабатывающей отдельные аспекты работы БЦВМ. Бортовые каналы также представлены имитационными моделями.

Комплект средств ФТ, вместе с демонстрационными проектами, установлен на виртуальной машине VirtualBox.

2Материалы задания

В состав материалов задания входят:

• Виртуальная машина (архив в формате Open Virtual Appliance 1.0), созданная в среде VirtualBox и содержащая гостевую ОС Debian Linux с установленными средствами ФТ;

• Пользовательская документация по средствам ФТ:

  • описания языковых средств и библиотек, необходимых для выполнения задания;

  • руководства пользователя по инструментам ФТ, используемым при выполнении задания;

• Описания трех частей задания (в рекомендуемом порядке выполнения: «1_prac_intro_ru.doc», «2_prac_functest_intro_ru.doc», «3_prac_functest_chained_ru.doc»);

• Спецификации требований к функционированию БЦВМ (файлы «REQS_*.doc») в формате, приближенном к используемому при работе с реальными бортовыми ИУС РВ.

3Порядок работы с виртуальной машиной

Для начала работы с виртуальной машиной (ВМ) следует:

• Установить среду VirtualBox;

• Импортировать ВМ из архива;

• Запустить ВМ, дождаться загрузки оконной среды;

• Войти под именем «user» с паролем «user».

Далее следовать инструкциям из первой части задания.

При необходимости восстановления демонстрационных проектов в репозитории средств ФТ (например, после неудачных правок) их можно импортировать из файлов, расположенных в каталоге «/home/user/prak_projects» файловой системы ВМ.

Передачу информации между ВМ и «внешним миром» можно осуществлять:

• По протоколу HTTP через файлообменный сайт – Google Drive, Яндекс-диск и т.п.;

• По протоколу SSH: либо с использованием команды scp изнутри ВМ, либо через монтирование внешней файловой системы в оболочке Midnight Commander (команда «mc»).

Для передачи информации между ВМ и внешними источниками данных, виртуальный сетевой адаптер ВМ должен работать в режиме NAT.

4Требования к выполнению задания

Необходимо выполнить все действия, описанные в трех частях задания, в том числе разработать функциональные тесты для модели БЦВМ.

Результат выполнения задания представляет собой архив следующего содержания:

• Архив с проектом¹, содержащим разработанные функциональные тесты (см. третью часть задания);

• Порожденный в результате выполнения тестов протокол тестирования;

• Текстовый файл readme, содержащий:

  • ФИО сдающего задание;

  • Номер группы;

  • Любую другую информацию на выбор сдающего, которая могла бы упростить и/или ускорить процесс приема задания.

Архив с решением должен иметь формат zip и имя ФамилияИО.zip (например, SeletckiiSV.zip). Глубина вложенности – один уровень (т.е. в самом архиве уже должны лежать все файлы, а не отдельная папка с файлами).

5Процесс сдачи задания

Сдача задания состоит из двух этапов:

• отправка архива с решением по электронной почте;

• очная демонстрация преподавателю запуска и выполнения проектов ФТ (в т.ч. разработанного проекта) на виртуальной машине, с пояснением смысла выполняемых действий и содержания разработанного кода.

Первый этап:

• Задание должно быть прислано на электронную почту leostas@lvk.cs.msu.su с копией на почту hbd@cs.msu.su (тема письма должна быть по шаблону: «[ICS][Task2] ФамилияИО»; ФамилияИО писать по-русски) не позднее 23:59:59 23 декабря 2015 года (мягкий дедлайн). Если задание будет прислано позднее 00:00 24 декабря 2015 года, но до 23:59:59 28 декабря 2015 года (жесткий дедлайн), то получаемая за него оценка умножается на коэффициент 0.5.

• Задания, присланные позднее 00:00 29 декабря 2015 года, проверяться не будут.

• Задания, требования по оформлению которых были нарушены, также проверяться не будут (информация о нарушении придет в ответном письме).

Второй этап:

• Очная демонстрация результатов выполнения задания осуществляется в один из следующих дней:

  • 17 декабря 2015 года, с 12:00 до 15:00, ауд. 760 (принимает Балашов В.В.);

  • 24 декабря 2015 года, с 12:00 до 15:00, ауд. 760 (принимает Балашов В.В.);

  • день приема экзамена по курсу (дата будет сообщена отдельно) – крайний день.

• Если очная демонстрация выполняется студентом в день приема экзамена, то оценка за задание не может превышать 50% от максимальной.

• В случае если очная демонстрация не проведена, оценка за задание обнуляется.

1 Этот архив создается при помощи операции «Экспортировать проект» среды разработки моделей, входящей в состав средств ФТ.