ЛАБОРАТОРНАЯ РАБОТА №4. ОТЛАДКА МОДЕЛИ АСУ С ПОМОЩЬЮ ПРОГРАММЫ STARUML.
Рис. 4.1. Верификация модели
Данное сообщение показывает, что верификация модели прошла успешно.
Требования к автоматизированной системе «турникет метро»:
1)Приёмник турникета должен принимать карту пассажира и считывать с неё данные, посылать эти данные в обработчик, который проверит эти данные и разрешат или запретит проход пассажиру;
2)Приемник карт (встроенный дисплей в приемник) должен показывать пассажиру количество оставшихся поездок на билете, информировать пассажира о состоянии турникета (запрещён проход/разрешен проход), и приемник должен вернуть карту в случае ошибки;
3)Оптическая система турникета должна обрабатывать закрытие прохода в случае, если человек попытался пройти не оплатив поездку (обрабатывать «зайцев»);
4)В случае неисправимой ошибки (заклинивание механизмов, внутренняя ошибка и пр.) турникет должен переходить в режим ошибки (заблокировать проход, включить запрещающий сигнал, и прекратить дальнейшую обработку пассажиров).
Тесты на основе требований:
1)Приемник должен принять карту и считать с неё данные, если нет, то отказ. Приемник должен послать данные в обработчик, если нет, то отказ. Обработчик должен проверить эти данные и выдать разрешение или запрет на проход, если карта не прошла проверку, то запрет на проход, а если карта не найдена в базе, то отказ.
2)Приемник карт (встроенный в него дисплей) должен показать пассажиру количество оставшихся поездок на билете, если нет, то отказ; информировать пассажира о состоянии турникета, если нет, то отказ; вернуть карту в случае ошибки, если нет, то отказ.
3)В случае, если человек попытался пройти не оплатив поездку («зайцем»), то оптическая система турникета должна определить это и обработать перекрытие турникета, если нет, то отказ.
4)Турникет должен работать исправно, если нет, то переход в режим ошибки. Если перехода в режим ошибки не произошло, то- отказ.
Тесты на основе структуры (компонентов):
Приемник карт считывает данные с карты и отправляет их обработчику. Системный обработчик турникета получает данные с карты через интерфейс «считыватель карт», реализованного в приемнике карт, обрабатывает их и пересылает через интерфейс авторизатора в механизм авторизирующей системы, которая сверяет их с базой данных и возвращает bool-значение разрешения на проход и информацию о карте, далее турникет обрабатывает это разрешение и посылает сигналы механизму перекрытия и индикатору, через соответствующие интерфейсы. Механизм перекрытия откроет проход. Дисплей (индикатор) покажет информацию о карте и разрешение на проход.
Отказы произойдут, если:
1)Приемник не считает данные с карты и не отправит их обработчику;
2)Системный обработчик турникета не получит данные с карты от приемника карт;
3)Системный обработчик не обработает данные карты и не перешлёт их в авторизатор;
4)Авторизатор не сверит данные с базой данных и не вернёт bool-значение разрешения на проход и информацию о карте;
5)Турникет не обработает данные (описанные в пункте 4) и не отправит сигналы механизму перекрытия и индикатору;
6)Механизм перекрытия не откроет проход;
7)Дисплей (индикатор) не покажет никакой информации.
Вывод по лабораторным работам:
В ходе работы были освоены методы и приемы объектно-ориентированного проектирования, моделирования и программирования с помощью программы StarUML.
ЛИТЕРАТУРА
Основная литература:
1. Липаев В.В. Сертификация программных средств Учебник. - М.: СИНТЕГ, 2010. - 344 с.
2. Липаев В.В. Качество программных средств- М. : Янус-К, 2012. - 399 с.
3. Липаев В.В. Программная инженерия. Методологические основы. (Лекции).- М.: ТЕИ.- 2006- 608 с.
4. Синицын С. В., Налютин Н. Ю. Верификация программного обеспечения. М.:БИНОМ, 2008.- 368 c.
- UML user’s guide.
- Суханова Н.В., Кабак И.В. Методические рекомендации к проведению лабораторных работ по дисциплине «Надежность и тестирование программного обеспечения».
- Евстафиева С.В. Методические рекомендации к проведению лабораторных работ по дисциплине «CASE-средства систем управления».
Дополнительная литература:
1. Гленфорд Майерс, Том Баджетт, Кори Сандлер Искусство тестирования программ, 3-е издание = The Art of Software Testing, 3rd Edition. — М.: «Диалектика», 2012. — 272 с.
2. Джефф Рэшка, Элфрид Дастин, Джон Пол Тестирование программного обеспечения . — М.: Лори, 2012 г.- 568 с
3. Лайза Криспин, Джанет Грегори Гибкое тестирование: практическое руководство для тестировщиков ПО и гибких команд . Agile Testing: A Practical Guide for Testers and Agile Teams. — М.: «Вильямс», 2010. — 464 с.