Основні дії для експлуатації пз:

1)Підготовка процесу

Оператор повинен розробити план експлуатації і визначити набір стандартів по експлуатації для виконання робіт та задач даного процесу. Оператор повинен встановити процедури для отримання і документування фактів про виниклі проблеми. Оператор повинен встановити процедури для тестування пз в експлуатаційному середовищі .

2)Експлуатаційні вимоги

Для кожного введеного в експлуатацію пз оператор повинен провести експлуатаційне випробування і якщо тестування вдале то перевести продукт в промислову експлуатацію. Оператор повинен забезпечити чтоб пз и бд установлювались в вихідне положення, виконувались і завершались так як це прописано в плані по експлуатації.

3)Експлуатація системи

Система повинна експлуатуватися в установленому для неї експлуатаційному середовищі відносно з документацією.

4)Підтримка користувача

Оператор повинен забезпечити допомогу та консультацію користувачам. Оператор повинен направляти запити користувачів(при необходності) для аналізу і відповіді в процесі супроводження. Якщо поставлена проблема має тимчасове вирішення то оператор повинен представити користувачеві-ініціатору це вирішення проблеми.

+-22.2.Аналіз моделей.

Перевірка властивостей на моделях (model checking) - перевірка відповідності ПЗ вимогах за допомогою формалізації властивостей, що перевіряються, побудови формальних моделей контрольованого ПЗ (найчастіше в вигляді автоматів різних видів) і автоматичної перевірки виконання цих властивостей на побудованих моделях.

Перевірка властивостей на моделях дозволяє перевіряти досить складні властивості автоматично, при мінімальній участі людини. Однак вона залишає відкритим питання про те, наскільки виявлені властивості моделі можна переносити на саме ПЗ

Рис. 4.  Схема процесу перевірки властивостей ПО на моделях

Звичайно за допомогою перевірки властивостей на моделях аналізують два види властивостей алгоритмів, використаних при побудові ПЗ.

Властивості безпеки стверджують, що щось небажане ніколи не трапиться в ході роботи ПЗ.

Властивості живучості (liveness properties) стверджують, навпаки, що щось бажане при будь-якому розвитку подій відбудеться в ході його функціонування.

Прикладом властивості першого типу слугує відсутність взаємних блокувань. Взаємне блокування виникає, якщо кожен із групи паралельно працюючих процесів або потоків у контрольованому ПЗ очікує прибуття даних або зняття блокування ресурсу від одного з інших, а той не може продовжити виконання, очікуючи того ж від першого або від третього процесу, і т.д.

Прикладом властивості жвавості служить гарантована доставка повідомлення, забезпечувана деякими протоколами - як би не розвивалися події, якщо мережне з'єднання між машинами буде працювати, послане з однієї сторони (процесом на першій машині) повідомлення буде доставлено іншій стороні (процесу на другій машині).

Основна проблема цього підходу - величезне, а часто й нескінченне, кількість станів у моделях, що досить добре відбивають поведінки реальних програм. Для боротьби з комбінаторним вибухом станів застосовуються різні методи оптимізації представлення автомата, виділення й пошуку станів, суттєвих для виконання властивості, що перевіряється.

+22.3.Формальне визначення граматики. Опис за допомогою синтаксичних діаграм Вірта.

Грамматика в теории формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавита.

Другими словами, формальная грамматика - система правил, описывающая множество конечных последовательностей символов формального алфавита.

Различают порождающие и распознающие (или аналитические) грамматики.

Наряду с текстовыми способами описания синтаксиса языков широко используются и графические метаязыки, среди которых наиболее широкую известность получил язык диаграмм Вирта.

Метасимволы заменены следующими графическими обозначениями (рис. 2.1):

• терминальные символы и их постоянные группы располагаются в окружностях или прямоугольниках со скругленным вертикальными сторонами;

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

• каждый графический элемент, соответствующий терминалу или нетерминалу, имеет по одному входу и выходу, которые обычно рисуются на противоположных сторонах;

• каждому правилу соответствует своя графическая диаграмма, на которой терминалы и нетерминалы соединяются посредством дуг;

• альтернативы в правилах задаются ветвлением дуг, а итерации - их слиянием;

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

Пример описания идентификатора с использованием диаграмм Вирта представлен на рис 2.2.

Диаграммы Вирта являются удобным исходным документом для построения лексического и синтаксического анализаторов.

+22.4. Підрахуйте кількість спожитої електроенергії та шкідливих викидів на конкретному прикладі, створивши віртуальний персональний комп’ютер.

Для того щоб підрахувати загальну кількість споживання електроенергії необхідно підсумувати витрати енергоспоживання всіх вузлів комп’ютера:

1. процесор AMD Athlon II x3 425e – 45 Вт;

2. материнська плата MSI 990XA-GD55 –75 Вт;

3. оперативна пам'ять - DDR3- 2000МГц -2 Вт;

4. жорсткий диск - HDD SATA II GREEN – 5400-7200 об/хв – 7 Вт;

5. DVD-RW привід - 27 Вт;

6. звукова карта ASUS D2 - 30 Вт;

7. відеокарта Radeon HD 5450 – 18 Вт;

8. монітор: Samsung S23B350TS - 30 Вт.

Підрахуємо величину використання електроенергії всіх вузлів загалом:

ВЕ = 45 + 75 + 2 + 7 + 27 + 30 + 18 + 30= 234 (Вт).

Підрахуємо енергоспоживання за рік за наступною формулою:

ВЕз = ВЕ * 24 * 365,

Тобто, підставивши розраховане значення, отримаємо:

ВЕз = 234 * 24 * 365 = 2049840 (Вт) = 2049,84 кВт.

Отже, дане обладнання при максимальному навантаженні за рік споживає 2049,84 кВт електроенергії.

За розрахунками, середні викиди шкідливих речовин при виробленні 1 кВт/год електроенергії -17 г, в тому числі: S - 9,9 г; CO - 0,5 г; NOx - 2,2 г; твердих частин - 4,4 г.

Отже, при максимальному навантаженні за рік даний комп’ютер створює таку кількість шкідливих речовин:

Шк.р. = 2049,84 * 17 = 34847,28 (г);

у тому числі:

S = 2049,84 * 9,9 = 20293,42 (г);

CO = 2049,84 * 0,5 = 1024,92 (г);

NOx = 2049,84 * 2,2 = 4509,65 (г);

Тв.ч. = 2049,84 * 4,4 = 9019,29 (г).

+22.5.Описати послідовність дій для структурування додатку ASP.NET у TFS

Крок 1 - створення локальних папок веб-проекту.

Крок 2 - створення пустого рішення.

Крок 3 - додавання веб-сайта в рішення.

Крок 4 - додавання бібліотеки класів (при необхідності).

Крок 5 - перевірка структури рішення.

Крок 6 - перевірка локальної структури каталогів.

Крок 7 - додавання рішення в систему управління вихідним кодом

Шаг 1 – Создание локальных папок Веб-проекта

На данном этапе вы создаете на своем компьютере соответствующую локальную структуру каталогов для своего Веб-проекта. Чтобы обеспечить единый подход для коллективной разработки и хорошую организацию проектов на своем компьютере, сгруппируйте весь разрабатываемый исходный код всех групповых проектов, над которыми вы работаете, в одну корневую папку, например, C:\DevProjects.

1.Создайте папку верхнего уровня, например, C:\DevProjects.

Шаг 2 – Создание пустого решения

Чтобы создать Веб-приложение ASP.NET, начните с явного создания файла решения Visual Studio (.sln) и затем добавьте в него свой Веб-сайт и все необходимые дополнительные проекты, например, библиотеки классов. Вот как создается решение в папке верхнего уровня C:\DevProjects по шагам.

1. В меню File выберите опцию New и щелкните Project.

2. Разверните Other Project Types (Другие типы проектов) и выберите Visual Studio Solutions.

3. Выберите Blank Solution.

4. Назовите свое решение MyWebAppSln.

5. Задайте свойству Location (Местоположение) значение C:\DevProjects и щелкните OK.

Таким образом, будет создана папка C:\DevProjects\MyWebAppSln. Visual Studio добавляет в эту папку файл решения (.sln) и файл пользовательских параметров решения (.suo). Обратите внимание, что впоследствии в Шаге 7 в систему контроля версий добавляется только файл .sln.

Шаг 3 – Добавление Веб-сайта в решение

На данном этапе вы добавляете Веб-сайт ASP.NET в свое решение. Эта процедура немного варьируется в зависимости от типа Веб-сайта, т.е. от того создается ли Веб-сайт, располагающийся в локальной файловой системе и использующий Веб-сервер разработки Visual Studio, или Веб-сайт на Web-сервере, использующий Internet Information Services (IIS).

Файловая система

Чтобы добавить в свое решение Веб-проект, располагающийся в локальной файловой системе:

1. В Solution Explorer щелкните правой кнопкой мыши Solution MyWebAppSln, выберите Add и щелкните New Web Site.

2. В диалоговом окне Add New Web Site (Добавить новый Веб-сайт) не меняйте значения Location (по умолчанию задана File System) и Language (по умолчанию задан Visual C#).

3. Задайте для Location каталог

C:\DevProjects\MyWebAppSln\Source\MyWebAppWeb.

4. Щелкните OK, чтобы закрыть диалоговое окно Add New Web Site.

Обратите внимание, что суффикс «Web» в этом примере используется для четкого обозначения папки как корневой папки Веб-сайта.Web-сервер

Создание Веб-сайта ASP.NET на базе Web-сервера IIS, доступ к которому при разработке будет осуществляться по протоколу HTTP, начните с явного создания виртуального каталога, чтобы каталог Веб-сайта располагался в заданном местополжении, а не в папке \inetpub\wwwroot.

Чтобы создать виртуальный каталог своего Веб-сайта:

1. В Windows Explorer перейдите к C:\DevProjects\MyWebAppSln\Source.

2. Создайте в этом каталоге новую папку MyWebAppWeb.

3. Щелкните правой кнопкой мыши MyWebAppWeb и выберите Sharing and Security (Совместное использование и безопасность).

4. Выберите вкладку Web Sharing (Доступ через Веб).

5. Щелкните Share this folder (Открыть общий доступ к папке).

6. Не меняйте для свойства Alias (Псевдоним) значение MyWebAppWeb, оставьте заданные по умолчанию Access permissions (Права доступа) и Application permissions (Права приложения) и щелкните OK.

7. Дважды щелкните OK.

Чтобы добавить Веб-сайт в свое решение:

1. В Solution Explorer щелкните правой кнопкой мыши Solution MyWebAppSln, выберите Add и щелкните New Web Site.

2. В диалоговом окне Add New Web Site задайте Location значение HTTP и не меняйте для Language значение по умолчанию Visual C#.

3. Задайте для Location URL http://localhost/MyWebAppWeb.

4. Щелкните OK, чтобы закрыть диалоговое окно Add New Web Site.

Visual Studio добавляет ваши файлы Default.aspx и Default.aspx.cs в папку

C:\DevProjects\MyWebAppSln\Source\MyWebAppWeb и создает дочерние папки Bin и App_Data.

Шаг 4 – Добавление библиотеки классов (не обязательно)

Если в Веб-приложении используются дополнительные библиотеки классов, добавьте их следующим образом:

1. В Solution Explorer щелкните правой кнопкой мыши свое решение MyWebAppSln, выберите Add и щелкните New Project.

2. Выберите тип проекта Visual C# и шаблон Class Library.

3. Введите имя ClassLibrary, в качестве Location задайте

C:\DevProjects\MyWebAppSln\Source и щелкните OK.

Все новые проекты будут добавляться в папку Source.

Шаг 5 – Проверка структуры своего решения

В Solution Explorer проверьте структуру своего решения.

Шаг 6 – Проверка локальной структуры каталогов

В Windows Explorer проверьте свою локальную структуру каталогов.

Шаг 7 – Добавление своего решения в систему контроля версий

На данном этапе вы добавляете свое решение в систему контроля версий TFS.

1. Щелкните правой кнопкой мыши свое решение и выберите Add Solution to Source Control.

2. В диалоговом окне Add Solution MyWebAppSln to Source Control выберите свой групповой проект.

3. В диалоговом окне щелкните Make New Folder (Создать новую папку) и назовите новую папку Main.

4. Выберите только что созданную папку Main и щелкните Make New Folder, назовите новую папку Source.

5. Выберите только что созданную папку Source и щелкните OK.

6. Проверьте структуру своей папки в системе контроля версий, дважды щелкнув Source Control в Team Explorer.

7. Здесь вы можете просматривать ожидающие регистрации изменения и регистрировать исходные файлы решения на сервере. Для этого в меню View Menu (Меню просмотра) выберите Other Windows (Другие окна) и щелкните Pending Changes. Выберите свой проект и исходные файлы, которые необходимо зарегистрировать, введите комментарий к регистрации изменений и щелкните Check In.

ВАРІАНТ № 23

23.1.Утилізація обладнання.

23.2.Стратегії структурування рішення і проекту

23.3.Визначте основні етапи впровадження програмного забезпечення та розкрийте зміст стандартів що регламентують дії пов’язані з впровадженням програмного забезпечення.

23.4.Показати, що ланцюг –1/18 належить мові, що задається граматикою G4={T, N, P, D}:

T={0, .., 9, +, –, /} N={D, G, P, ЦИФРА} Правила P D ::= G | +G | –G G ::= P | P/P P ::= ЦИФРА | ЦИФРА P ЦИФРА ::= 0 | 1 . . . | 9