Программного обеспечения

Это создание программы для реализации разработанного алгоритма на машинных языках. Существует много языков программирования, каждый из которых ориентирован на определенный тип машины, на свой класс задач. Можно перечислить наиболее распространенные языки программирования, это Бейсик, Фортран, Паскаль, СИ, Ассемблер.

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

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

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

Отладка и тестирование – это два различных процесса. При отладке происходит локализация и устранения синтаксических ошибок и явных ошибок кодирования; в процесс же тестирования проверяется работоспособность программы. Тестирование устанавливает факт наличие ошибок, а отладка выясняет причину неправильной работы программы.

Отладка программы - это процесс поиска и устранения ошибок в программе, производимых по результатам её прогона на компьютере.

Тестирование – это испытание, проверка правильности работы программы в целом или её составных частей.

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

пошаговое выполнение программы с остановкой после каждой команды;

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

установка необходимого нового значения переменной;

установка в программе контрольных точек, в которых программа временно прекращает своё выполнение, так что можно оценить промежуточный результат.

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

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

Этапы процесса тестирования

Проверка в нормальных условиях.

Проверка в экстремальных случаях.

Проверка в исключительных случаях.

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

использование при математическом моделировании реальных процессов, законов сохранения (интегралов движения). Эти законы являются вспомогательными уравнениями, которые помогают при решении дифференциальных уравнений протестировать полученное численное решение, т.е. являются контрольными уравнениями, проверяющими правильность решения на ЭВМ;

проверка порядка величин («на глазок»);

использование метода сравнения результатов моделирования, с возможными аналитическими решениями упрощенной модели (асимптотика).

использование сравнения результатов расчета на ЭВМ с экспериментальными надежными данными по изучаемому явлению;

анализ свойств решения (проверка инвариантности).

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

Программу условно можно считать правильной, если при прогоне по выбранной системе тестов мы получили правильный результат. Для реализации методов тестов должны быть изготовлены эталонные результаты тестов. Тестовые данные должны обеспечить проверку всех возможных условий возникновения ошибок. Должна быть испытана каждая ветвь алгоритма: очередной прогон должен контролировать то, что не было проверено на предыдущих прогонах; первый тест должен быть максимально прост, чтобы выяснить, работала ли программа вообще; арифметические операции в тестах должны быть предельно упрощены для сокращения объёма вычисления. Уменьшение вычислений не должна снижать надёжности контроля; тестирование должно быть целенаправленным и систематизированным, так как случайный выбор набора тестов данных обычно приводит к затруднению в определении ручным способом ожидаемых результатов. Усложнение тестовых данных должно происходить постепенно.

Четвертый этап моделирования –