Классификация по отрасли знаний
Здесь можно выделить следующие виды моделей:
физические (например, законы Ньютона);
химические (например, перегонка нефти);
географические (интерактивные географические карты);
исторические (генеалогическое дерево);
социологические;
экономические (см. рис. 4);
математические (например, математическая модель полета снаряда) и т.п.
|
|
|
Рис. 4. Экономическая модель |
||
Классификация по способу представления
Рис. 5. Классификация моделей по способу представления
В соответствии с этой классификацией модели делятся на две большие группы: материальные (иначе их называют предметные) и информационные (абстрактные).
Материальные модели иначе можно назвать предметными, физическими. Они воспроизводят геометрические и физические свойства оригинала и всегда имеют реальное воплощение.
Материальные модели - это, к примеру, карты при изучении истории и географии, схемы солнечной системы и звездного неба, макет многоступенчатой ракеты и др.
Материальные модели - это и различные физические и химические опыты. В них моделируются процессы, например реакция между водородом и кислородом.
Информационная модель - совокупность информации, характеризующая свойства и состояния объекта, процесса, явления, а также взаимосвязь с внешним миром. Информационная модель - это описание объекта.
Информация, характеризующая объект или процесс, может иметь разный объем и форму представления, выражаться различными средствами.
Знаковые и вербальные информационные модели
К информационным моделям можно отнести вербальные (от лат. «verbalis» — устный) модели, полученные в результате раздумий, умозаключений. Они могут остаться мысленными или быть выражены словесно. К таким моделям можно отнести идею, возникшую у изобретателя, и музыкальную тему, промелькнувшую в голове композитора, и рифму, прозвучавшую пока еще в сознании поэта.
Вербальная модель - информационная модель в мысленной или разговорной форме.
Знаковая модель - информационная модель, выраженная специальными знаками, т. е. средствами любого формального языка.
Знаковые модели окружают нас повсюду. Это рисунки, тексты, графики и схемы. Вербальные и знаковые модели, как правило, взаимосвязаны. Мысленный образ, родившийся в мозгу человека, может быть облечен в знаковую форму. И наоборот, знаковая модель помогает сформировать в сознании верный мысленный образ.
К знаковым моделям относятся:
математические модели - это модели, построенные с использованием математических понятий и формул. Например, модель равноускоренного прямолинейного движения:
специальные – представлены на специальных языках (ноты, химические формулы);
алгоритмические – программы.
Существуют и другие подходы к классификации информационных моделей.
В зависимости от структуры информационные модели делятся на:
табличные;
иерархические;
сетевые.
В табличной информационной модели объекты или их свойства представлены в виде списка, а их значения размещаются в ячейках таблицы. Примером химической табличной модели служит Периодическая система элементов Менделеева.
В иерархической информационной модели объекты распределены по уровням, причем элементы нижнего уровня входят в состав одного из элементов более высокого уровня. Такие модели строятся в процессе классификации объектов. Примером может служить генеалогическое дерево.
Сетевые информационные модели применяются для описания таких систем, в которых связь между элементами имеет сложную структуру (например, структура сети Интернет).
Компьютерные и некомпьютерные модели
В информатике рассматриваются модели, которые можно создавать и исследовать с помощью компьютера. В этом случае модели делят на компьютерные и некомпьютерные.
Компьютерная модель - это модель, реализованная средствами программной среды.
В настоящее время выделяют два вида компьютерных моделей:
структурно-функциональные, которые представляют собой условный образ объекта, описанный с помощью компьютерных технологий;
имитационные, представляющие собой программу или комплекс программ, позволяющий воспроизводить процессы функционирования объекта в разных условиях.
Значение компьютерного моделирования сложно переоценить. К нему прибегают при исследовании сложных систем в различных областях науки, при создании образов исчезнувших животных, растений, зданий и т. п. Редкий кинорежиссер сегодня обходится без компьютерных эффектов. Кроме того, современное компьютерное моделирование является мощным инструментом развития науки.
Основные этапы компьютерного моделирования
Все этапы определяются поставленной задачей и целями моделирования. В общем случае процесс построения и исследования модели можно представить следующей схемой:
Рис. 6. Этапы компьютерного моделирования
Первый этап - постановка задачи включает в себя стадии: описание задачи, определение цели моделирования, анализ объекта. Ошибки при постановке задачи приводят к наиболее тяжелым последствиям!
Описание задачи
Задача формулируется на обычном языке. По характеру постановки все задачи можно разделить на две основные группы. К первой группе можно отнести задачи, в которых требуется исследовать, как изменятся характеристики объекта при некотором воздействии на него, «что будет, если?...».
Например, что будет, если магнитный диск положить рядом с магнитом?
В задачах, относящихся ко второй группе, требуется определить, какое надо произвести воздействие на объект, чтобы его параметры удовлетворяли некоторому заданному условию, «как сделать, чтобы?..».
Определение цели моделирования
На этой стадии необходимо среди многих характеристик (параметров) объекта выделить существенные. Мы уже говорили о том, что для одного и того же объекта при разных целях моделирования существенными будут считаться разные свойства.
Например, если вы строите модель яхты для участия в соревнованиях моделей судов, то в первую очередь вас будут интересовать ее судоходные характеристики. Вы будете решать задачу «как сделать, чтобы…?»
А того, кто собирается на яхте в круиз, помимо тех же самых параметров, будет интересовать, внутреннее устройство: количество палуб, комфортабельность и т. п.
Для конструктора яхты, строящего компьютерную имитационную модель для проверки надежности конструкции в штормовых условиях, моделью яхты будет изменение изображения и расчетных параметров на экране монитора при изменении значений входных параметров. Он будет решать задачу «что будет, если…?»
Определение цели моделирования позволяет четко установить, какие данные являются исходными, что требуется получить на выходе и какими свойствами объекта можно пренебречь. Таким образом, строится словесная модель задачи.
Анализ объекта подразумевает четкое выделение моделируемого объекта и его основных свойств.
Второй этап - формализация задачи связан с созданием формализованной модели, то есть модели, записанной на каком-либо формальном языке. Например, данные переписи населения, представленные в виде таблицы или диаграммы — это формализованная модель.
В общем смысле формализация - это приведение существенных свойств и признаков объекта моделирования к выбранной форме.
Формальная модель - это модель, полученная в результате формализации.
Для решения задачи на компьютере больше всего подходит язык математики. В такой модели связь между исходными данными и конечными результатами фиксируется с помощью различных формул, а также накладываются ограничения на допустимые значения параметров.
Третий этап - разработка компьютерной модели начинается с выбора инструмента моделирования, другими словами, программной среды, в которой будет создаваться, и исследоваться модель.
От этого выбора зависит алгоритм построения компьютерной модели, а также форма его представления. В среде программирования - это программа, написанная на соответствующем языке. В прикладных средах (электронные таблицы, СУБД, графических редакторах и т. д.) - это последовательность технологических приемов, приводящих к решению задачи.
Следует отметить, что одну и ту же задачу можно решить, используя различные среды. Выбор инструмента моделирования зависит, в первую очередь, от реальных возможностей, как технических, так и материальных.
Четвертый этап — компьютерный эксперимент включает две стадии: тестирование модели и проведение исследования.
Тестирование модели - процесс проверки правильности построения модели.
На этой стадии проверяется разработанный алгоритм построения модели и адекватность полученной модели объекту и цели моделирования.
Для проверки правильности алгоритма построения модели используется тестовые данные, для которых конечный результат заранее известен (обычно его определяют ручным способом). Если результаты совпадают, то алгоритм разработан верно, если нет — надо искать и устранять причину их несоответствия.
Тестирование должно быть целенаправленным и систематизированным, а усложнение тестовых данных должно происходить постепенно. Чтобы убедиться, что построенная модель правильно отражает существенные для цели моделирования свойства оригинала, то есть является адекватной, необходимо подбирать тестовые данные, которые отражают реальную ситуацию.
Уровни тестирования программного обеспечения (ПО)
Модульное тестирование (юнит-тестирование) - тестируется минимально возможный для тестирования компонент, например, отдельный класс или функция. Часто модульное тестирование осуществляется разработчиками ПО.
Интеграционное тестирование - тестируются интерфейсы между компонентами, подсистемами. При наличии резерва времени на данной стадии тестирование ведётся итерационно, с постепенным подключением последующих подсистем.
Системное тестирование - тестируется интегрированная система на её соответствие требованиям.
Альфа-тестирование - имитация реальной работы с системой штатными разработчиками, либо реальная работа с системой потенциальными пользователями/заказчиком. Чаще всего альфа-тестирование проводится на ранней стадии разработки продукта, но в некоторых случаях может применяться для законченного продукта в качестве внутреннего приёмочного тестирования.
Бета-тестирование - в некоторых случаях выполняется распространение версии с ограничениями (по функциональности или времени работы) для некоторой группы лиц, с тем, чтобы убедиться, что продукт содержит достаточно мало ошибок. Иногда бета-тестирование выполняется для того, чтобы получить обратную связь о продукте от его будущих пользователей.
Часто для свободного/открытого ПО стадия Альфа-тестирования характеризует функциональное наполнение кода, а Бета-тестирования — стадию исправления ошибок. При этом, как правило, на каждом этапе разработки промежуточные результаты работы доступны конечным пользователям.
Тестирование «белого ящика»
В терминологии профессионалов тестирования, фразы «тестирование белого ящика» и «тестирование чёрного ящика» относятся к тому, имеет ли разработчик тестов доступ к исходному коду тестируемого ПО.
Тестирование «белого ящика» – тестирование, при котором тестировщик имеет доступ к коду. Кроме того, что тестировщик может просматривать код, он еще и сам может писать код, который использует библиотеки существующего программного продукта.
Другое название этого метода – структурное тестирование.
Тестирование «чёрного ящика»
Тестирование методом «черного ящика» базируется на том, что поведение системы можно определить только посредством изучения ее входных и соответствующих выходных данных. Другое название этого метода – функциональное тестирование.
Испытатель подставляет в компонент или систему входные данные и исследует соответствующие выходные данные. Метод обработки данных, и каким образом получаются выходные данные – неизвестно, это закрыто «черным ящиком».
Исследование модели
К этой стадии компьютерного эксперимента можно переходить только после того, как тестирование модели прошло успешно, и вы уверены, что создана именно та модель, которую необходимо исследовать.
Пятый этап - анализ результатов является ключевым для процесса моделирования. Именно по итогам этого этапа принимается решение: продолжать исследование или закончить.
Если результаты не соответствуют целям поставленной задачи, значит, на предыдущих этапах были допущены ошибки. В этом случае необходимо корректировать модель, то есть возвращаться к одному из предыдущих этапов. Процесс повторяется до тех пор, пока результаты компьютерного эксперимента не будут отвечать целям моделирования.