Верифікація програмного забезпечення

Міністерство освіти і науки України

Чернівецький національний університет

імені Юрія Федьковича

Факультет комп’ютерних наук

Кафедра комп’ютерних систем і мереж

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

Верифікація програмного забезпечення

2007

Анотація

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

Зміст

Вступ

1. Підстави для розробки

2. Призначення розробки

3. Вимоги до програми

3.1 Вимоги до функціональних характеристик

3.2 Вимоги до надійності

3.3 Умови експлуатації

3.4 Вимоги до складу і параметрів технічних засобів

3.5 Вимоги до інформаційної та програмної сумісності

3.6 Вимоги до транспортування і зберігання

4. Вимоги до програмної документації

5. Техніко-економічні показники

6. Стадії та етапи розроки

7. Порядок контролю і приймання

Вступ

Метою даної роботи є розробка програмного забезпечення для складання розкладу з використанням генетичних алгоритмів.

Область застоcування програми – складання розкладу для факультетів вищих навчальних закладів України. Для перевірки працездатності програми її використано для складання розкладу факультету комп’ютерних наук Чернівецького національного університету імені Юрія Федьковича.

1. Підстави для розробки

Завдання на магістерську роботу затверджене на засіданні кафедри КСМ факультету комп’ютерних наук Чернівецького національного університету імені Юрія Федьковича, протокол засідання кафедри № 1 від 28 серпня 2006 р.

Тема розробки: „Використання генетичних алгоритмів для складання розкладу”.

Умовне позначення теми розробки 482.362.80915-71.

2. Призначення розробки

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

Функціональне призначення програми: забезпечення введення вхідних даних розкладу користувачем та збереження їх в базі даних, складання розкладу на один семестр для факультету вузу, тобто визначення для кожної навчальної групи або підгрупи часу проведення занять, назви навчальної дисципліни, виду заняття, прізвища викладача та місця проведення заняття (приміщення).

Експлуатаційне призначення даної розробки – забезпечення складання розкладу для факультету вузу на один семестр на основі навчального навантаження з врахуванням вимог і побажань викладачів.

3. Вимоги до програми

 

3.1 Вимоги до функціональних характеристик

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

1) зберігати в базі даних початкові дані для складання розкладу, а саме навчальне навантаження груп, перелік навчальних дисциплін та ін.;

2) на основі початкових даних з врахуванням всіх обмежень створити допустимий варіант розкладу, максимально близький до оптимального;

3) експортувати отриманий варіант розкладу в MS Excel з форматуванням, яке забезпечує його зручне й ефективне використання.

4) підтримувати зручний інтерфейс, присутність якого значно полегшить взаємодію між програмою та користувачем.

В якості вхідних (початкових) даних використано: навчальне навантаження викладачів (кількість занять для навчальних груп із визначених дисциплін); вимоги до послідовності проведення занять; пристосованість приміщень для проведення занять; поділ груп на підгрупи, умови їх об’єднання у потоки; вимоги викладачів до вільних пар або днів та ін.

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

3.2 Вимоги до надійності

Надійність роботи програмного продукту забезпечується надійною роботою апаратної частини (персонального комп’ютера), операційної системи й власне програмного продукту.

Вимоги до надійного функціонування забезпечуються наступним чином:

забезпечується стійке функціонування завдяки контролю допустимості значень всіх змінних, розмірів масивів та ін.;

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