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

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

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

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

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

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

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

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

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

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 Вимоги до надійності

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

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

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

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

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

Умови експлуатації передбачають техніку безпеки при роботі з ПК, експлуатацію програмного продукту на базі апаратно-програмного комплексу ПК.

Техніка безпеки:

Персональний комп'ютер повинен зберігатися у приміщеннях від +5 °С до +35 °С при відносній вологості повітря не більше 85%.

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

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

Примітка. У примітках до тексту і таблиць указують тільки довідкові дані та пояснення. Одна примітка не нумерується. Після слова “Примітка” ставлять крапку. Декілька приміток слід нумерувати по порядку арабськими цифрами з крапкою. Після слова “Примітки” ставлять двокрапку. Текст приміток допускається друкувати через один інтервал.

Додатки. Ілюстраційний матеріал, таблиці або текст допоміжного характеру допускається оформляти у вигляді додатків. Додатки оформляють як продовження даного документа на подальших сторінках або випускають у вигляді окремого документа. Кожен додаток повинен починатися з нової сторінки з вказуванням в правому верхньому кутку слова „ДОДАТОК" прописними буквами та мати тематичний заголовок, який записують симетрично тексту прописними буквами.

За наявності в документі більше одного додатку всі додатки нумерують арабськими цифрами (без знаку №), наприклад, ДОДАТОК 1. При випуску додатку окремим документом на титульному листі під виглядом документа слід вказувати слово “ДОДАТОК”, а за наявності декількох додатків указують також їх порядкові номери. Додатки, випущені у вигляді окремого документа, позначають як частину документа. При необхідності в такому додатку може бути поміщено “Зміст”.

Допускається об'єднувати декілька додатків в окрему частину програмного документа. Зміст кожного додатку, при необхідності, розбивають на розділи, підрозділи, пункти, пронумеровані окремо по кожному додатку. Нумерація сторінок документа і додатків, що входять в склад документа, повинна бути крізна, якщо додатки не виконуються окремим документом. Ілюстрації і таблиці в додатках нумерують в межах кожного додатку. На додатки повинні бути дані посилання в основному тексті документа. Всі додатки повинні бути перераховані в листі “Зміст”.

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

Скорочення. У тексті проекту можна використовувати скорочення слів та термінів, що перераховані у ГОСТ 2.316-68. Скорочення, що не вказані у ньому, повинні бути приведені в переліку прийнятих скорочень

Список літератури. Усі літературні джерела, на які є посилання в тексті проекту, повинні бути внесені у список літератури. Їх можна розміщувати в списку одним з таких способів: у порядку першого посилання в тексті, в алфавітному порядку прізвищ перших авторів, у хронологічному порядку. Найбільш доцільним у кваліфікаційних та дипломних роботах є перший спосіб. Нумерація джерел повинна бути наскрізною.

Відомості про джерела, які вносять до списку, необхідно подавати тільки згідно з вимогами державного стандарту з обов'язковим наведенням назв праць. Приклад оформлення літературних джерел:

Умови експлуатації персонального комп'ютера:

Електроживлення комп'ютера повинно здійснюватись від однофазної мережі змінного струму номінальною напругою 220В ± 15% та частотою 50 ± 1 Гц.

Заземлення персонального комп'ютера та периферійних пристроїв повинно здійснюватись згідно ГОСТ 258-61.

Нормальні умови застосування:

Температура оточуючого повітря,?С..................................20 ± 5.

Відносна вологість повітря,%.............................................65 ± 15.

Атмосферний тиск, кПа (мм рт, ст.)...............................100 ± 4(750±30).

Напруга живлення, В............................................................220 ± 5.

Частота живлячої мережі, Гц.................................................50 ± 0,5.

Робочі умови експлуатації

Температура оточуючого повітря, ?С.............................від 10 до + 30

Відносна вологість повітря,%..........................................80 при 20 ?С

Атмосферний тиск, кПа (мм рт, ст.).................................84-107(630-800)

Для дотримання умов вентиляції корпуса персонального комп'ютера необхідно забезпечити 25 - 30 см вільного простору за задньою стінкою корпуса персонального комп'ютера.

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

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

Страницы: 1, 2



2012 © Все права защищены
При использовании материалов активная ссылка на источник обязательна.