Пі́сляумова, в програмуванні та формальних методах — правило відносно результатів виконання функції, яке має виконуватись, якщо було виконано вимоги передумови. Післяумова є складовою частиною формальної специфікації функції і використовується для її верифікації: в разі виконання передумов, мусять, відповідно, виконуватись і всі післяумови, в іншому випадку, функція не коректна.
Післяумови, відіграють, також, важливу роль і в менш формальному тестуванні, оскільки легко можна порівняти результати тестів із післяумовами. Такий підхід використовується в так званих модульних тестах.
Приклади написання
Зазначення післяумов підтримується в мовах формальних специфікацій. Наприклад, декларація функції находження максимального числа в парі двох цілих чисел на мові VDM матиме вигляд:
Джерела інформації
- Nachbedingung (Informatik) — стаття в німецькомовній вікіпедії.
- Cliff B Jones, «Systematic software development using VDM, second edition», The University, Manchester, England.
Див. також
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Pi slyaumova v programuvanni ta formalnih metodah pravilo vidnosno rezultativ vikonannya funkciyi yake maye vikonuvatis yaksho bulo vikonano vimogi peredumovi Pislyaumova ye skladovoyu chastinoyu formalnoyi specifikaciyi funkciyi i vikoristovuyetsya dlya yiyi verifikaciyi v razi vikonannya peredumov musyat vidpovidno vikonuvatis i vsi pislyaumovi v inshomu vipadku funkciya ne korektna Pislyaumovi vidigrayut takozh vazhlivu rol i v mensh formalnomu testuvanni oskilki legko mozhna porivnyati rezultati testiv iz pislyaumovami Takij pidhid vikoristovuyetsya v tak zvanih modulnih testah Prikladi napisannyaZaznachennya pislyaumov pidtrimuyetsya v movah formalnih specifikacij Napriklad deklaraciya funkciyi nahodzhennya maksimalnogo chisla v pari dvoh cilih chisel na movi VDM matime viglyad m a x i Z j Z r Z displaystyle max i mathbf Z j mathbf Z r mathbf Z p r e t r u e displaystyle mathrm pre mathrm true p o s t r i r j i r j r displaystyle mathrm post r i lor r j land i leq r land j leq r Dzherela informaciyiNachbedingung Informatik stattya v nimeckomovnij vikipediyi Cliff B Jones Systematic software development using VDM second edition The University Manchester England Div takozhPeredumova formalni metodi Tverdzhennya programuvannya