Ўзбекистон республикаси ахборот технологиялари ва коммуникацияларини ривожлантириш вазирлиги муҳаммад ал-хоразмий номидаги

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

---

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