Министерство общего и профессионального образования

Российской Федерации

УФИМСКИЙ ГОСУДАРСТВЕННЫЙ АВИАЦИОННЫЙ ТЕХНИЧЕСКИЙ

УНИВЕРСИТЕТ

Кафедра технической кибернетики

СПЕЦИФИЦИРОВАНИЕ И ТЕСТИРОВАНИЕ ПРОГРАММ

КУРСОВАЯ РАБОТА

по дисциплине "Технология программирования"

Выполнила

студентка группы Т28-223

Халикова Ю.У.

Проверила

доцент кафедры ТК

Мукасеева В.Н.

Уфа 2006

Содержание

1 Введение 3

2. Задание на курсовую работу 4

3. Структура целей разрабатываемой программы 5

4. Ограничения, учитываемые в программе обработки 5

5. Схемы работы программы 7

6. Внешние спецификации функций разрабатываемой программы 16

7. Таблицы решений 17

8. Тестирование программы 21

9. Вывод 33

Приложение А. Текст программы 33

1. Введение.

Одним из базовых понятий технологии программирования является понятие жизненного цикла программного продукта.

Жизненный цикл ПП определяется как совокупность последовательных состояний ПП всех действий по его преобразованию, начиная с ан6лиза возникшей потребности в автоматизации определенных функций обработки данных до их программной реализации и включения в программное обеспечение конкретного применения. Традиционно в модели ЖЦПП принято выделять следующие этапы:

• анализ, посредством которого осуществляется формализованное специфирование предъявляемых к автоматизированным системам обработки информации (АСОИ) требований;

• проектирование, включающее разработку иерархической структуры разрабатываемого ПО, функциональные спецификации отдельных модулей и структуры данных БД;

• тестирование и отладка, в процессе которых выявляется соответствие ПП его спецификациям;

• эксплуатация и сопровождение, когда разработанное ПО функционирует в составе АСОИ в конкретной области применения.

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

2. Задание на курсовую работу.

Кафедра технической кибернетики

Задание на курсовую работу по дисциплине

'Технология программирования'

Выдано 24.03.2006 г. студентке группы Т28-223 Халиковой Ю.У.

Срок выполнения 20.04.2006г.

ЗАДАНИЕ К РАБОТЕ

Разработать программу совместной обработки файлов типа F1 и F2 для формирования выходного документа типа F3.

ИСХОДНЫЕ ДАННЫЕ И ОСОБЕННОСТИ АЛГОРИТМА

Текстовые файлы на МД, структура записей которых приведена ниже:

Таблица 1- структура файла F1

Аббревиатура названия факультета	Полное название факультета

Таблица 2- структура файла F2

Аббревиатура названия факультета	Название кафедры	Количество работающих

Результат обработки в виде выходного документа, представленного в таблице F3:

Таблица 3 - структура файла F3

Полное название факультета	Название кафедры	Количество работающих

Сгруппировать подряд все записи, относящиеся к каждому факультету и получить итоговое количество работающих на факультете. Рекомендуется имена файлов типа F1 и F2 запрашивать с клавиатуры дисплея.

3. Структура целей разрабатываемой программы.

Составлению внешних спецификаций разрабатываемого ПО предшествует анализ целей будущего продукта, который в методиках разработки ПО называется структурным анализом, методической базой которого является нисходящая стратегия.

Структурным анализом принято называть такое исследование системы, которое начинается с её общего обзора и затем детализируется, приобретая иерархическую структуру со все большим числом уровней.

Для таких методов характерно разбиение на уровни абстракции с ограничением числа элементов на каждом из уровней. В технологии программирования эта идея была сформулирована как один из принципов структурного программирования: разработку программ рекомендуется вести сверху вниз или, иначе, по нисходящей стратегии.

Суть нисходящей стратегии в том, что цели разрабатываемого ПП структурируются по схеме: цели - подцели 1-го уровня - … - подцели i-го уровня - … - подцели n-уровня - функции до такой степени детализации, когда реализация подцелей последнего уровня становится очевидной.

Совместная обработка

2-х файлов

Проверка на корректность файла F2

Формирование выходного файла F3

Проверка на корректность файла F1

4. Ограничения, учитываемые в программе обработки.

1. Проверка на корректность файла F1:

а) Поле "Аббревиатура названия факультета" должно быть уникальным;

б) Поле " Полное название факультета " должно быть уникальным;

2. Проверка на корректность файла F2:

а) Поле "Название кафедры" должно быть уникальным;

б) Поле " Количество работников" должно содержать только цифры

в) Поле "Аббревиатура названия факультета" должно содержаться в таблице 1;

Перечисленные ограничения учитываются при разработке алгоритма решения задачи и внешних спецификаций программы.

5. Схемы работы программы.

5.1 Схема работы основной функции.

5.2 Схема программы "проверка на корректность файла F1".

нет

да

Копируем Buf

i=0 ;i=i+1

S2=buf[1][i]

S3= buf [2][i]

Соответ.поляi-ой строкиBuf

s2,s3

J=0;j=j+1

Сообщ1

да

нетtab1[x][y]-Табл1,гдеx-номер поля

у- номер строки

j<tab1.kol

tab1.kol-количество строк в Табл1

Заполнение tab1

I<Buf.kolBuf.kol- количество строк вBuf

5.3 Схема программы "проверка на корректность файла f2".

нет

да

Копируем Buf

i=0 ; i=i+1

S2=buf[1][i]

S3=buf[2][i]

S4=buf[3][i]

Fl=false

J=0 j=j+1

Fl=true

да

нет

j<tab1.kol

s2,s3,s4 нет

Сообщен

да

да

Заполнение tab2

I<Buf.kol

5.4 Схемы программы "формирование выходного файла f3".

F1 i=0; i=i+1;

F2 k=0;k=k+1;

Нет

Да

Занести запись в таблицу 3

K<n2n2-количество строк Табл2

I<n1n1-количество строк Табл1

i=0,l=0; i=i+1,sum=0

k=i;k=k+1

Tab4[1][l]=tab3[1][i]

Tab4[2][l]=sum

Sum=0

I=j-1

нет

да

Sum=sum+ Tab3[1][i]

J<tab3.kol

I<tab3.kol

5. Внешние спецификации функций разрабатываемой программы.

Внешние спецификации функций разрабатываемой программы строятся в соответствии с описанной методикой построения таблиц решений.

Функция "проверка на корректность файла F1" должна выявить возможную не уникальность аббревиатур или полных названий факультетов, также выдать сообщение об ошибках в случаях, когда аббревиатура факультета состоит не из заглавных букв, когда аббревиатура факультета или полное название факультета содержат цифры или символы.

Функция "проверка на корректность файла F2" должна выявить возможную не уникальность аббревиатур. Выдать сообщение об ошибке, если число работников кафедры превышает 150 человек, или данное поле содержит символы или буквы. Также выдать сообщение об ошибках в случаях, когда аббревиатура факультета состоит не из заглавных букв, когда аббревиатура факультета или название кафедры содержат цифры или символы. Также записи в обоих файла должны соответствовать друг другу.

Это словесное описание выполняемой функции формализуется в виде таблиц решений.

5. Таблицы решений.

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

ТР состоит из двух частей, верхняя часть таблицы используется для определения условий. Обычно условие является ЕСЛИ - частью оператора ЕСЛИ-ТО и требует ответа "да" или "нет". Нижняя часть ТР используется для определения действий, т.е. ТО - части оператора ЕСЛИ-ТО. Левая часть ТР содержит собственно описание условия 1 и действий, а в правой части перечисляются все возможные комбинации условий и, соответственно, указывается, какие конкретно действия и в какой последовательности выполняются, когда определенная комбинация имеет место.

ТР - это такая внешняя спецификация ПО, в которой отражаются комбинации условий, выполняемых для входных данных, и соответствующие этим комбинациям действия по преобразованию информации.

Методика построения ТР:

1. определить все условия и действия в спецификациях;

2. вписать действия и условия в таблицу;

3. в нумерованных столбцах отметить все возможные комбинации условий и осуществляемые при выполнении условий действий;

4. при необходимости редуцировать таблицу (если имеются столбцы, у которых перечень действий совпадает и которые отличаются только результатами условий "д" и "н" в одной строке, то такие столбцы можно будет объединить в один);