Программирование: пост-условия – залог корректной работы кода. Условия, которые должны выполняться после выполнения участка программы. Тестирование, документация.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Компьютерлік бағдарламалауда посткондиция – кодтың белгілі бір бөлігі орындалғаннан кейін немесе формальды сипаттамадағы операциядан кейін міндетті түрде орындалуы тиіс шарт немесе предикат. Посткондициялар кейде кодтың ішіндегі мәлімдемелер арқылы тексеріледі. Көбінесе посткондициялар әсер ететін код бөлігінің құжаттамасына енгізіледі. Мысалы: Факториалдың нәтижесі әрқашан бүтін сан болады және 1-ге тең немесе одан үлкен болады. Сондықтан, енгізілген санның факториалын есептейтін бағдарламада есептеуден кейін нәтиже бүтін сан болуы және ол 1-ге тең немесе одан үлкен болуы керек. Тағы бір мысал: енгізілген санның квадрат түбірін есептейтін бағдарламада нәтиже сан болуы керек және оның квадраты енгізілген санға тең болуы керек.
In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code. For example: The result of a factorial is always an integer and greater than or equal to 1. So a program that calculates the factorial of an input number would have postconditions that the result after the calculation be an integer and that it be greater than or equal to 1. Another example: a program that calculates the square root of an input number might have the postconditions that the result be a number and that its square be equal to the input.
Кейбір бағдарламалық жасақтаманы жобалау тәсілдерінде постшарттар, алғы шарттармен және сынып инварианттарымен бірге, келісімшарт арқылы бағдарламалық жасақтама құру әдісінің құрамдас бөліктері болып табылады. Кез келген процедура үшін постшарт – процедура орындалуын аяқтағаннан кейін кепілдірілетін қасиеттердің сипаттамасы. Процедураның келісімшартымен байланысты, постшарт потенциалды шақырушыларға процедура алғы шартын қанағаттандыратын күйде шақырылған жағдайда, постшартта жарияланған қасиеттердің қамтамасыз етілетініне сенім береді.
In some software design approaches, postconditions, along with preconditions and class invariants, are components of the software construction method design by contract. The postcondition for any routine is a declaration of the properties which are guaranteed upon completion of the routine's execution. As it relates to the routine's contract, the postcondition offers assurance to potential callers that in cases in which the routine is called in a state in which its precondition holds, the properties declared by the postcondition are assured.
Кейінгі шарттар мен мұрагерлік
Мұрагерлік болған жағдайда, ұрпақ кластар (кіші кластар) мұраға алған процедураларды олардың келісімшарттарымен, яғни алғы және кейінгі шарттарымен бірге алады. Бұл, мұраға алған процедуралардың кез келген іске асырылуы немесе қайта анықталуы олардың мұраға алған келісімшарттарына сәйкес болуы керек дегенді білдіреді. Қайта анықталған процедураларда кейінгі шарттар өзгертілуі мүмкін, бірақ олар күшейтілуі керек. Яғни, қайта анықталған процедура клиентке ұсынатын мүмкіндіктерді арттыра алады, бірақ оларды азайта алмайды.
In the presence of inheritance, the routines inherited by descendant classes (subclasses) do so with their contracts, that is their preconditions and postconditions, in force. This means that any implementations or redefinitions of inherited routines also have to be written to comply with their inherited contracts. Postconditions can be modified in redefined routines, but they may only be strengthened. That is, the redefined routine may increase the benefits it provides to the client, but may not decrease those benefits.