Курсовая работа: Верифікація програмного забезпечення
Програмне забезпечення для створення розкладу повинно виконувати наступні функції:
1) зберігати в базі даних початкові дані для складання розкладу, а саме навчальне навантаження груп, перелік навчальних дисциплін та ін.;
2) на основі початкових даних з врахуванням всіх обмежень створити допустимий варіант розкладу, максимально близький до оптимального;
3) експортувати отриманий варіант розкладу в MS Excel з форматуванням, яке забезпечує його зручне й ефективне використання.
4) підтримувати зручний інтерфейс, присутність якого значно полегшить взаємодію між програмою та користувачем.
В якості вхідних (початкових) даних використано: навчальне навантаження викладачів (кількість занять для навчальних груп із визначених дисциплін); вимоги до послідовності проведення занять; пристосованість приміщень для проведення занять; поділ груп на підгрупи, умови їх об’єднання у потоки; вимоги викладачів до вільних пар або днів та ін.
Вихідними даними програми (результатом) є розклад факультету вузу, в якому для кожної навчальної групи або підгрупи для кожного заняття вказується назва дисципліни, вид заняття, прізвище й ініціали викладача, а також навчальне приміщення (аудиторія або лабораторія).
3.2 Вимоги до надійності
Надійність роботи програмного продукту забезпечується надійною роботою апаратної частини (персонального комп’ютера), операційної системи й власне програмного продукту.
Вимоги до надійного функціонування забезпечуються наступним чином:
забезпечується стійке функціонування завдяки контролю допустимості значень всіх змінних, розмірів масивів та ін.;
надійність програми при роботі з базою даних забезпечується механізмом трансакцій, завдяки чому у випадку помилки система буде відновлена до початкового стану.
3.3 Умови експлуатації
Умови експлуатації передбачають техніку безпеки при роботі з ПК, експлуатацію програмного продукту на базі апаратно-програмного комплексу ПК.
Техніка безпеки:
Персональний комп’ютер повинен зберігатися у приміщеннях від +5 °С до +35 °С при відносній вологості повітря не більше 85%.
В приміщеннях для зберігання персонального комп’ютера не повинно бути агресивних сумішей, які викликають корозію.
При зберіганні й транспортуванні програмного продукту на жорстких носіях інформації, встановлених в системі ПК, необхідно дотримуватись вимог правил пожежної безпеки.
Примітка. У примітках до тексту і таблиць указують тільки довідкові дані та пояснення. Одна примітка не нумерується. Після слова “Примітка” ставлять крапку. Декілька приміток слід нумерувати по порядку арабськими цифрами з крапкою. Після слова “Примітки” ставлять двокрапку. Текст приміток допускається друкувати через один інтервал.
Додатки. Ілюстраційний матеріал, таблиці або текст допоміжного характеру допускається оформляти у вигляді додатків. Додатки оформляють як продовження даного документа на подальших сторінках або випускають у вигляді окремого документа. Кожен додаток повинен починатися з нової сторінки з вказуванням в правому верхньому кутку слова „ДОДАТОК" прописними буквами та мати тематичний заголовок, який записують симетрично тексту прописними буквами.
За наявності в документі більше одного додатку всі додатки нумерують арабськими цифрами (без знаку №), наприклад, ДОДАТОК 1. При випуску додатку окремим документом на титульному листі під виглядом документа слід вказувати слово “ДОДАТОК”, а за наявності декількох додатків указують також їх порядкові номери. Додатки, випущені у вигляді окремого документа, позначають як частину документа. При необхідності в такому додатку може бути поміщено “Зміст”.
Допускається об'єднувати декілька додатків в окрему частину програмного документа. Зміст кожного додатку, при необхідності, розбивають на розділи, підрозділи, пункти, пронумеровані окремо по кожному додатку. Нумерація сторінок документа і додатків, що входять в склад документа, повинна бути крізна, якщо додатки не виконуються окремим документом. Ілюстрації і таблиці в додатках нумерують в межах кожного додатку. На додатки повинні бути дані посилання в основному тексті документа. Всі додатки повинні бути перераховані в листі “Зміст”.
Терміни. Терміни та визначення повинні бути єдиними і відповідати встановленим стандартам, а при їх відсутності – загальноприйнятими в науково-технічній літературі, і приведеними в переліку термінів.
Скорочення. У тексті проекту можна використовувати скорочення слів та термінів, що перераховані у ГОСТ 2.316-68. Скорочення, що не вказані у ньому, повинні бути приведені в переліку прийнятих скорочень
Список літератури. Усі літературні джерела, на які є посилання в тексті проекту, повинні бути внесені у список літератури. Їх можна розміщувати в списку одним з таких способів: у порядку першого посилання в тексті, в алфавітному порядку прізвищ перших авторів, у хронологічному порядку. Найбільш доцільним у кваліфікаційних та дипломних роботах є перший спосіб. Нумерація джерел повинна бути наскрізною.
Відомості про джерела, які вносять до списку, необхідно подавати тільки згідно з вимогами державного стандарту з обов'язковим наведенням назв праць. Приклад оформлення літературних джерел:
Умови експлуатації персонального комп’ютера:
Електроживлення комп’ютера повинно здійснюватись від однофазної мережі змінного струму номінальною напругою 220В ± 15% та частотою 50 ± 1 Гц.
Заземлення персонального комп’ютера та периферійних пристроїв повинно здійснюватись згідно ГОСТ 258-61.