Процес - Проверка - Голямата енциклопедия на нефта и газа, статия, страница 1
Процес - Проверка
Процесът на проверка изглежда лесен на пръв поглед, тъй като последователната логика изглежда доста проста. [1]
Тъй като процесът на проверка не надхвърля тези допускания, корелацията с училищните постижения не е доказателство, че IQ тестовете измерват общите интелектуални способности. [2]
При много добра реакция на грешки в процеса на проверка, първата схема, дори на нивото на фотографиране на данни на перфокарти, може да се провали. [4]
Естествените науки се характеризират с особеност: желанието да се намери или изгради опростен модел на сложно явление, да се изучат неговите свойства и след това, в процеса на проверка на модела, да се прехвърлят придобитите знания върху самия сложен феномен. [6]
Третият и последен компонент на познавателната дейност, насочен към формирането на мисловен инструмент на ученика в рамките на тази дисциплина, е дейността по използване на придобитите знания в процеса на проверка на важността и ефективността на мисловния инструмент 4 върху различни форми на контрол и самоконтрол. [7]
На този етап е необходимо да се идентифицират възможно най-много грешки. Целта на процесите на проверка и тестване е да се открият всички възможни грешки, а не да се потвърди липсата им. Разбирането на тази фина разлика е много важно. Необходимо е да се проверяват спецификациите, когато са в чернова, тъй като може да има психологическа бариера за подобряване на документа, описващ спецификациите. [8]
За да се докаже пълната коректност, е необходимо също така да се покаже идентичността на областите на дефиниране на правилата на две функции. В процеса на проверка се изисква последователно да се сравняват условните правила, след което се оказвапо-удобна е разделимата форма на тези условни правила. [9]
Спецификата на процеса на прогнозиране се състои в това, че за неговата надеждност може да се говори обективно едва след като прогнозата е направена. Това предполага необходимостта от повишаване на надеждността на прогнозите в процеса на проверка, което позволява използването на различни методи (математически методи) и източници на информация при прогнозирането, както и чрез прилагането на други мерки, които осигуряват по-голяма точност и надеждност на резултатите. Въз основа на това се предлага да се използва следната методология за прогнозиране на търсенето на насипни леки петролни продукти. [10]
Тези две задачи трябва да се изпълняват успоредно с процеса на разработване на ЕС. По аналогия с технологията за тестване на традиционните софтуерни системи, процесът на проверка (логическо тестване) може да се тълкува като алфа тестване на софтуерна система, а концептуалното тестване като етап на бета тестване, въпреки че ES тестването е фундаментално различно от тестването на традиционните системи. Докато доста строгите предварителни спецификации на традиционната система позволяват на програмиста да извършва тези работи (особено проверка на системата) независимо, за тестване на ES е необходимо да се включи експерт в тази област. [12]
Разрешимостта е свойство само на програмата и няма нищо общо с никоя спецификация. Въпреки че възможността за решаване обикновено не е включена в условията за пълна коректност, понякога може да е полезно по време на процеса на проверка да се изследва това свойство по пътя. [13]
Както може да очаквате, опасният код е код, който не преминава тези проверки. Въпреки това, ако проверките за безопасност на типа не могат да бъдат извършени върху кода, това не е такаозначава, че кодът не е безопасен, но означава само, че безопасността на кода не може да бъде проверена. Това може да се дължи на ограничения в процеса на проверка или ограничения на компилатора. NET ще бъде пуснат като цялостен продукт, като се очаква да може да генерира код, който може да бъде доказано безопасен от гледна точка на кастинг. [15]