
- •Специфицирование и тестирование программ
- •Уфа 2007
- •Введение
- •Задание на курсовую работу
- •1.Структура целей разрабатываемой программы
- •2.Ограничения. Учитываемые в программе обработки
- •3.Схемы работы программы
- •5. Таблицы решений
- •5.1 Таблица решений для функции GetNum
- •5.12 Таблицы решений для функции ChkForMistakes
- •5.12.1 Таблица решений для проверки на ошибки файла f2
- •5.12.2 Таблица решений для проверки на ошибки файла f1
- •5.12.3 Таблица решений для совместной проверки на ошибки файлов f1 и f2
- •5.13 Таблица решений для тела программы
- •6. Тестирование программы
- •6.1 Тестирование проверки на ошибки файла f2
- •6.2 Тестирование проверки на ошибки файла f1
- •6.3 Тестирование функции записи в файл f3
- •6.4 Безошибочное выполнение программы
- •Заключение
3.Схемы работы программы
3.1
Схема работы системы
3.2 Схема тела
программы
3.3 Схема функции ChkFormistakes (проверка на ошибки файлов F1 и F2)
3.4 Схема функции Getnum (чтение номера предмета из файла F1)
3.5 Схема функции Getsubj (чтение наименования предмета из файла F1)
3.6 Схема функции
Getday
3.7 Схема функции Getstarttime (чтение времени начала из файла F2)
3.8 Схема функции Getfinishtime (чтение времени окончания из файла F2)
3.9 Схема функции GetNumber (чтение номера предмета из файла F2)
3.10 Схема функции Getfirstweek (чтение номера первой недели из файла F2)
3.11 Схема функции Getlastweek (чтение номера последней недели из файла F2)
3.12 Схема функции Gettype (чтение типа занятий из файла F2)
3.13 Схема функции Subjnum (поиск предмета в файле F1)
3.14 Схема функции Writestr (запись строки в F3)
3.15 Схема функции Geterr (проверка строки на метку ошибки)
4. Внешние спецификации функций разрабатываемой программы
Внешние спецификации функций разрабатываемой программы строятся в соответствии с описанной методикой построения таблиц решений.
Функция Chkformistakes должна выявить возможную не уникальность номера предметов и соответствующих им наименований в файле F1.
А также она должна выявить что день недели не может быть меньше 1 и больше 6, время начала и время окончания не могут быть меньше 00:00 и больше 23:59, а также соответствовать расписанию, время начала должно предшествовать времени окончания, № предмета должен быть уникальным, номера начальной и конечной недель не могут быть меньше 1 и больше 24, начальная неделя должна предшествовать конечной, вид занятий может принимать только значения «практика» или «лекция», день недели, № предмета, Начало (№ недели) и Конец (№ недели) должны быть числами, время проведения одного занятия не должно совпадать с временем проведения другого занятия.
Также записи в обоих файлах должны соответствовать друг другу.
Это словесное описание выполняемой функции формализуется в виде таблиц решений.
5. Таблицы решений
Проектирование спецификаций процессов с помощью таблиц решений заключается в задании матрицы, отображающей множество входных условий и множество решений.
ТР - это такая внешняя спецификация ПО, в которой отражаются комбинации условий, выполняемых для входных данных, и соответствующие этим комбинациям действия по преобразованию информации.
Методика построения ТР:
определить все условия и действия в спецификациях;
вписать действия и условия в таблицу;
в нумерованных столбцах отметить все возможные комбинации условий и осуществляемые при выполнении условий действий;
при необходимости редуцировать таблицу (если имеются столбцы, у которых перечень действий совпадает и которые отличаются только результатами условий "д" и "н" в одной строке, то такие столбцы можно будет объединить в один);