(Назад)
(Cкачать работу)в тестировании программных систем составляет процесс тестирования, верификации супротив функциональных спецификаций, заданных потребителями. Большую сложность составляет процесс извлечения и формализации требований из словесных описаний в стройную систему требований, часто в математическом или ином строгом виде, однозначно описывающую желаемые свойства разрабатываемой системы. Этот процесс по своей сути является построением предварительной модели будущей системы для анализа ее свойств, выявления противоречий в требованиях, уточнения характеристик. В этом аспекте необходимо рассмотреть понятие моделирования.
Однако моделирование как специфическое средство и форма научного познания не является изобретением 19 или 20 века. Достаточно указать на представления Демокрита и Эпикура об атомах, их форме, и способах соединения, об атомных вихрях и ливнях, объяснения физических свойств различных веществ с помощью представления о круглых и гладких или крючковатых частицах, сцепленных между собой. Эти представления являются прообразами современных моделей, отражающих ядерно-электронное строение атома вещества.
20 век принес методу моделирования новые успехи, но одновременно поставил его перед серьезными испытаниями. С одной стороны, кибернетика обнаружила новые возможности и перспективы этого метода в раскрытии общих закономерностей и структурных особенностей систем различной физической природы, принадлежащих к разным уровням организации материи, формам движения. С другой же стороны, теория относительности и в особенности, квантовая механика, указали на неабсолютный, относительный характер механических моделей, на трудности, связанные с моделированием.
Многочисленные факты, свидетельствующие о широком применении метода моделирования в исследованиях, некоторые противоречия, которые при этом возникают, потребовали глубокого теоретического осмысления данного метода познания, поисков его места в теории познания. Этим можно объяснить большое внимание, которое уделяется философами различных стран этому вопросу в многочисленных работах.
Философские аспекты моделирования как метода познания окружающего мира.Гносеологическая специфика модели и ее определение.
Исследование гносеологического значения моделирования должно начинаться с определения понятия "модель".
Слово "модель" произошло от латинского слова "modelium", означает : мера, образ, способ и т.д. Его первоначальное значение было связано со строительным искусством, и почти во всех европейских языках оно употреблялось для обозначения образа или прообраза, или вещи, сходной в каком-то отношении с другой вещью" [1]. По мнению многих авторов ([1],[2],[3]), модель использовалась первоначально как изоморфная теория (после создания Декартом и Ферма аналитической геометрии моделью стало понятие подразумевающее теорию, которая обладает структурным подобием по отношению к другой теории. Две такие теории называются изоморфными, если одна из них выступает как модель другой, и наоборот).
С другой стороны, в таких науках о природе, как астрономия, механика, физика, химия, термин "модель" стал применяться для обозначения того, к чему даннная теория относится или может относиться, того, что она описывает. В.А. Штофф отмечает, что "здесь со
Похожие работы
Интересная статья: Быстрое написание курсовой работы