Лабораторная Работа №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.

1. UML user’s guide.
2. Суханова Н.В., Кабак И.В. Методические рекомендации к проведению лабораторных работ по дисциплине «Надежность и тестирование программного обеспечения».
3. Евстафиева С.В. Методические рекомендации к проведению лабораторных работ по дисциплине «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 с.