Xususiyatlarga asoslangan sinovlar - bu dasturchi tomonidan tasdiqlangan kodning bir qator xususiyatlari bilan kodni sinovdan o'tkazish yoki tekshirish usuli. Masalan, ko'paytirish funksiyasini sinovdan o'tkazganda, men salbiy sonni salbiy son bilan ko'paytirganda, javob ijobiy bo'lishi kerakligini bilaman. Xususiyatlarga asoslangan sinovlar uchun asboblar to'plami ikkita salbiy sonni o'tkazib, koddagi dasturchilarning assertionining haqiqiyligini ikki marta tekshirishga harakat qiladigan tasodifiy sinov holatlarini yaratishi mumkin. Xususiyatlarga asoslangan sinovlar uchun ba'zi taniqli kutubxonalar - Haskellning `QuickCheck ` va TypeScriptning `fast-check ` modelga asoslangan stress sinovlari - bu binarni yopiq tizimda (ba'zan SUT yoki Under Test
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence