ეკვივალენტური დაყოფა იყენებს მოდელს, რომელიც გასატესტ ობიექტს ყოფს შემავალი და გამავალ მნიშვნელობების შესაბამის ნაწილებად; მოიხსენიებენ როგორც "დანაყოფებს (partitions)" ან "ეკვივალენტურ კლასებს (equivalence classes)". თითოეული დანაყოფი განსაზღვრავს გასატესტ პირობას და მოველით, რომ ყოველ დანაყოფში არსებულ ნებისმიერ მნიშვნელობის გამოყენებისას სისტემის ქცევა იდენტურია (თითოეული მათგანი ერთმანეთის შესაბამისი, ანუ ეკვივალენტურია). ეკვივალენტური დანაყოფები განისაზღვრება, როგორც ვალიდური ის ალავალიდური შემავალი და გამავალი მნიშვნელობებისთვის.
წაიკითხე სრულად