10. Внешнее проектирование модулей.

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

Внешняя спецификация модуля содержит следующую информацию:

• Имя модуля

• Функцию, назначение модуля(без подробностей)

• Список параметров

• Входные параметры

• Выходные параметры

• Внешние эффекты

11. Проектирование и кодирование модулей.

• Выбор языка программирования

• Проектирование внешних спецификаций модуля

• Проверка правильности внешних спецификаций модуля

• Выбор алгоритма и структуры данных

• Оформление начала и конца будущего модуля в соответствии с требованиями выбранного языка программирования

• Объявление всех данных, используемых в качестве параметров

• Объявление оставшихся данных

• Детализация логики программы

• Окончательное оформление текста программы

• Проверка правильности программы

• Компиляция модуля

12. Стиль программирования.

Стиль программирования – набор приемов и методов программирования, позволяющих создавать корректные, эффективные и доступные для чтения и понимания программы

Существует набор рекомендаций, советов:

• Требование простоты, ясности и удобочитаемости программы

• Использование программистом особенностей языка программирования

• Стремление программиста повысить эффективность программы не путем ее улучшения до завершения отладки, а в результате тщательного анализа структур данных, используемых ресурсов и выбором алгоритма реализации

13. Принципы и методы тестирования ПС.

Тестирование – процесс многократного выполнения программы с целью обнаружения ошибок.

Цель тестирования – выявление как можно большего количества ошибок.

Аксиомы (принципы) тестирования:

1. Хорош тот тест, для которого высока вероятность обнаружить ошибку, а не тот, который демонстрирует правильную работу программы.

2. Существует проблема «когда закончит тестирование?».

3. Невозможно тестировать свою программу.

4. Необходимая часть всякого теста – описание ожидаемых выходных данных или результатов.

5. Избегать невоспроизводимых тестов.

6. Готовить тесты, как для правильных, так и для неправильных входных данных.

7. По мере того, как число ошибок, обнаруженных в некоторой компоненте ПО, увеличивается, растет также относительная вероятность существования в ней необнаруженных ошибок.

8. Никогда не изменять программу, чтобы облегчить ее тестирование.

Методы тестирования:

• Статическое тестирование. Базируется на правилах структурного построения программ и обработки данных. Проверка степени выполнения этих правил проводится путем анализа текста программы на языке программирования.

• Детерминированное тестирование. Требует многократного выполнения на ЭВМ программы с использованием определенных, специально подобранных тестовых наборов данных.

• Стохастическое тестирование. Предполагает использование в качестве исходных данных множества случайных величин с соответствующими распределениями. Для сравнения полученных результатов используется распределение случайных величин.

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

14. Проектирование теста.

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

«Эффективный» тестовый набор данных – такое подмножество всех возможных тестов, которое имеет наивысшую вероятность обнаружения большинства ошибок.

15. Общая характеристика методов тестирования.

Статическое тестирование. Базируется на правилах структурного построения программ и обработки данных. Проверка степени выполнения этих правил проводится путем анализа текста программы на языке программирования.

Детерминированное тестирование. Требует многократного выполнения на ЭВМ программы с использованием определенных, специально подобранных тестовых наборов данных.

Стохастическое тестирование. Предполагает использование в качестве исходных данных множества случайных величин с соответствующими распределениями. Для сравнения полученных результатов используется распределение случайных величин.

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