
- •3.2 Сигмент 1.2.
- •3.2.1Внутренняя спецификация к сигменту 1.2.
- •1. Подзадача.
- •2. Состав данных.
- •3.2.2 Вспомогательный алгоритм к сигменту 1.2.
- •3.3 Сигмент 1.3.
- •3.3.1Внутренняя спецификация к сигменту 1.3.
- •1. Подзадача.
- •2. Состав данных.
- •3.3.2 Вспомогательный алгоритм к сигменту 1.3.
- •3.4 Сигмент 1.4.
- •3.4.1Внутренняя спецификация к сигменту 1.4.
- •1. Подзадача.
- •2. Состав данных.
- •3.4.2 Вспомогательный алгоритм к сигменту 1.4.
- •4. Паскаль программа блочной структуры.
- •5. Паскаль программа модульной структуры.
- •6. Тестовые данные.
- •7. Отладка программ:
- •7.1 Отладка блочной структуры программы
- •7.2 Отладка модульной структуры программы:
- •8. Тестирование:
- •8.1 Драйвер для сегмента 1
- •8.2 Драйвер для сегмента 2
- •8.3 Драйвер для сегмента 3
- •8.4 Драйвер для сегмента 4
- •В процессе тестирования были найдены синтаксические ошибки, которые были тут же локализованы и исправлены.
- •9 Рекомендации по применению:
6. Тестовые данные.
№ |
назначение |
контроль данных |
|
Исходные данные |
выходные данные |
||
1 |
Тест на положительный результат (Нахождение строк с макс. и мин. Значение и перестановка их по правилу задачи) |
2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 1 1 1 1 1 5 5 5 5 5 |
5 5 5 5 5 3 3 3 3 3 4 4 4 4 4 2 2 2 2 2 1 1 1 1 1 |
2 |
Тест на аномалию (аномалии если мин стоит на первом месте то он изменит свой номер при перемещении мах и доступ к ниму будет потерян.) |
1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 5 5 5 5 5 |
5 5 5 5 5 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 1 1 1 1 1 |
3 |
Тест на отрицательный результат (Когда строка с макс.значением стоит на первом, а строка с мин.на последнем месте.) |
5 5 5 5 5 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 1 1 1 1 1 |
Матрица не изменена |
7. Отладка программ:
7.1 Отладка блочной структуры программы
Визуальный контроль корректности программы:
Учитывая, что типом в списке формальных параметров может быть только стандартный или ранее объявленный тип то в разделе описания типов заранее был определен тип одномерного и двумерного массивов. Переменные были описаны в соответствии с внешней спецификацией программы. Формальные переменные процедур были описаны в соответствии с внутренней спецификацией подпрограмм, исключая нетипизированные переменные, типы которых были описаны в самих процедурах.
Oбращение к данным проводилось с использованием нетипизированного файла при обращении к данным проведен контроль соответствия типов.
Процесс вычисления происходил строго с соответствующими типами данных, проведен синтаксический контроль описания математических действий.
В программе существует вычисления, используемые данные разной точности представления, но, учитывая, что одно из слагаемых было равно нулю, и в связи с этим не оказывало влияния на результат, то наличие этого фактора было признано не существенным.
В операциях сравнения типы величин строго совпадают.
Каждый цикл в программе завершается, при определенных исходных данных используется каждый фрагмент программы, в зависимости от результата вычислений.
Синтаксический контроль корректности программы:
синтаксический контроль корректности программы осуществлялся за ЭВМ с использованием компиляторов среды программирования TurboPascal7. Также на этой стадии была проведена локализация места ошибок.
Семантический контроль корректности программы
В ходе семантического контроля программы не было выявлено никаких отклонений от корректного использования конструкций языка.
7.2 Отладка модульной структуры программы:
Для тестирования программы модульной структуры были использованы те же тесты. В процессе тестирования программы модульной структуры была допущена лишь одна ошибка: повторное создание раздела описания типов и повторное описание типов одномерный массив и двумерный массив. Ошибка вызвала некоторые затруднения в ее локализации, но после изучения ошибки и повторного визуального контроля была устранена.