Курсоваяработ а

• Название: Курсоваяработ а
• Дата: 26.09.2019
• Размер: 426.04 Kb.
• Имя файла: ass.docx
• Тип: Курсовая; #87758
• страница: 5 из 5

Тестирование реализации

Для проверки правильности можно посмотреть отрывки трассы исполнения:

Тестовые данные, поданные на вход системы:

QueueEnvItem(. Priority=3 , Name="Task1" , IsEntryPoint = false ,RunningFlag = false, Resource = 1 .) , QueueEnvItem(. Priority=2 , Name="Task2" , IsEntryPoint = true ,RunningFlag = false, Resource = 1 .) , QueueEnvItem(. Priority=2 , Name="Task3" , IsEntryPoint = false ,RunningFlag = false, Resource = 1 .)
Как мы видим, первой начинает выполняться задача Task2, так как она имеет приоритет IsEntryPoint=true.

А следом за ней начинает выполняться следующая задача с наибольшим приоритетом, а именно Priority=3, Name="Task1".
Таким образом, мы можем видеть, что наш планировщик работает корректно.

Вывод

В ходе работы был изучен стандарт проектирования и разработки с помощью графического языка моделирования UML, а также основные паттерны этого языка. На примере кофе-машины, приведенном в официальной документации, я познакомился с принципами проектирования в среде IBM Telelogic Rational TAU 4.

Была изучена модель операционной системы OSEK в среде TeleLogic Rational TAU. Модель операционной системы была изменена в соответствии с заданием, было проведено тестирование полученной реализации операционной системы.

Список использованных материалов

1. 
   Смирнов А. С., Планировщики процессов Linux
   
2. 
   OSEK/VDX Operating System Specification 2.1r1
   
3. 
   P.Drobintsev. UML Basics
   
4. 
   Белый А. С., Кожевников К. А., Шаргин А. Ю. Функциональная спецификация ОСРВ.
   
5. 
   О. В. Александрова, А. Н. Карпов, В. П. Котляров. Технология индустриального программирования.