Чтение и проверка на корректность файла f1
Чтение и проверка на корректность файла f2
Создание записей таблицы и выходного файла f3
Внешние спецификации функций разрабатываемой программы.
Внешние спецификации функций разрабатываемой программы строятся в соответствии с описанной методикой построения таблиц решений.
В функции ввода и вывода содержаться проверки на допустимость обращения к соответствующим файлам. Функция «чтение и проверка на корректность файла F1» должна выявить возможную не уникальность табельных номеров, а также выдать сообщение об ошибках в случаях, когда ФИО или специальность содержат неразрешенные символы, или табельные номера являются не числами.
Функция «чтение и проверка на корректность файла F2» должна выявить ситуации, когда ФИО содержит неразрешенные символы, или табельные номера и номера палат являются отрицательными числами или вообще не являются числами.
Подпрограмма «Создание записей таблицы F3» должна выявить, что записи таблиц не соответствуют друг другу.
Это словесное описание выполняемой функции формализуется в виде таблиц решений.
Таблицы решений
Проектирование спецификаций процессов с помощью таблиц решений заключается в задании матрицы, отображающей множество входных условий и множество решений.
ТР состоит из двух частей, верхняя часть таблицы используется для определения условий. Обычно условие является ЕСЛИ - частью оператора ЕСЛИ-ТО и требует ответа "да" или "нет". Нижняя часть ТР используется для определения действий, т.е. ТО - части оператора ЕСЛИ-ТО. Левая часть ТР содержит собственно описание условия 1 и действий, а в правой части перечисляются все возможные комбинации условий и, соответственно, указывается, какие конкретно действия, и в какой последовательности выполняются, если определенная комбинация имеет место.
Таблица решений - это такая внешняя спецификация программного обеспечения, в которой отражаются комбинации условий, выполняемых для входных данных, и соответствующие этим комбинациям действия по преобразованию информации.
Методика построения ТР:
определить все условия и действия в спецификациях;
вписать действия и условия в таблицу;
в нумерованных столбцах отметить все возможные комбинации условий и осуществляемые при выполнении условий действий;
при необходимости редуцировать таблицу (если имеются столбцы, у которых перечень действий совпадает и, которые отличаются только результатами условий "д" и "н" в одной строке, то такие столбцы можно будет объединить в один);
ТР для функции "проверка на корректность файла F1"
|
Условия |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
|
Файл F1 существует ? |
н |
д |
д |
д |
д |
д |
д |
д |
д |
д |
д |
|
Поле соц.номер содержит только цифры ? |
- |
н |
н |
д |
д |
д |
д |
д |
д |
д |
д |
|
Поле соц.номер уникально ? |
- |
н |
д |
н |
н |
д |
д |
д |
д |
д |
д |
|
Поле номер паспорта содержит только цифры ? |
- |
- |
- |
н |
д |
н |
н |
д |
д |
д |
д |
|
Поле ФИО содержит только буквы и запятую ? |
- |
- |
- |
- |
д |
- |
- |
н |
н |
д |
д |
|
Конец файла ? |
- |
- |
- |
- |
- |
н |
д |
н |
д |
н |
д |
|
Действия |
|
|
|
|
|
|
|
|
|
|
|
|
Сообщение: “Fatal Error. Can’t open F1” |
|
|
|
|
|
|
|
|
|
|
|
|
Сообщение:”Warning. Error in <номер записи> record <Название поля. Содержание поля>” |
|
1 |
1 |
1 |
|
1 |
1 |
1 |
1 |
|
|
|
Сообщение: “Fatal error. Social Number in f1 in <номер запси> record is not unic <Название поля. Содержание поля>” |
|
2 |
|
2 |
1 |
|
|
|
|
|
|
|
Продолжить обработку. |
|
|
2 |
|
|
2 |
|
2 |
|
1 |
|
|
Завершить обработку и выйти. |
1 |
3 |
|
3 |
2 |
|
|
|
|
|
|
|
Перейти к следующей функции |
|
|
|
|
|
|
2 |
|
2 |
|
1 |