Cтраница 2
Теорию можно понимать как совокупность логически связанных между собой абстрактных понятий, которые переводятся в переменные, наделяемые эмпирическими признаками, а также в совокупность гипотез, которые подвергаются эмпирической проверке. Теория - совокупность утверждений о реальном мире, которые описывают связь переменных. [16]
Каждая связь представляет собой преобразование Gf в G - I. Задача решена, если любая подцель G, может быть непосредственно выведена из исходных предпосылок и аксиом. Если, как это обычно бывает в геометрии, данная подцель является совокупностью утверждений, то граф разделяется в этой точке на параллельные подцели, каждая из которых должна доказываться отдельно. В любой момент времени граф решения задачи дает полное представление о процессе поиска доказательства к этому моменту времени. [17]
Аналогичные же причины привели к тому, что хотя в системе и предусмотрена модель окружающего мира, но она представлена в виде совокупности утверждений, не связанных между собой и не образующих закопченную модель некоторой предметной области. [18]
Статическое тестирование является наиболее формализованным и автоматизируемым методом проверки корректности программ. В качестве эталонов применяются правила структурного построения программных модулей и обработки данных, конкретизированные для проекта КП в целом. Кроме того, могут использоваться некоторые частные правила обработки данных, зафиксированные в спецификациях на отдельные компоненты. Проверка выполнения этих правил проводится без исполнения объектного кода программы путем формального анализа текста на языке программирования. Операторы и операнды текста программ анализируются в символьном виде, вследствие чего этот метод называют также символическим тестированием. Развитие и углубление символического тестирования может доводиться до уровня формальной верификации программ на соответствие ее текста детальной спецификации совокупности утверждений, полностью определяющей связи между входными и выходными данными этой программы. [19]