Property-based testing
§§IBT7§§¶@definition¶Property-based testing — тестирование по свойствам, при котором генератор создаёт множество входных данных для проверки инвариантов.¶@plain¶Проще говоря, «Property-based testing» помогает команде увидеть, где в жизненном цикле приложения нужна защитная мера, проверка или исправление дефекта. Смысл термина раскрывается через конкретный объект, действие и проверяемый результат.¶@use¶В практике ИБ термин «Property-based testing» используют так: его встраивают в требования к приложению, проверки конвейера разработки и процесс устранения дефектов. Решение проверяют по наблюдаемому результату, а не только по наличию документа или средства.¶@example¶Команда разработки включает понятие «Property-based testing» в требования и CI/CD: запускает подходящую проверку, разбирает результат и блокирует выпуск только по подтверждённому критерию.¶@compare¶Тестирование негативных сценариев¦/slovar-informacionnoy-bezopasnosti/appsec-i-devsecops/testirovanie-negativnyh-stsenariev¦Тестирование негативных сценариев — проверка реакции системы на ошибочные, запрещённые и враждебные действия.¤Тестирование бизнес-логики¦/slovar-informacionnoy-bezopasnosti/appsec-i-devsecops/testirovanie-biznes-logiki¦Тестирование бизнес-логики — проверка злоупотреблений правилами и последовательностями операций, а не только техническими входными данными.¶@steps¶Определить поток данных¦Для «Property-based testing» выделяют входы, доверительные границы, опасные операции и владельца кода.¤Встроить проверку¦Контроль размещают на подходящем этапе разработки или поставки с понятным условием.¤Провести триаж¦Срабатывание «Property-based testing» подтверждают в контексте приложения и отделяют от ложного результата.¤Исправить и проверить¦Причину устраняют в коде или архитектуре и закрепляют автоматическим повторным тестом.¶@resources¶¶@related¶Тестирование негативных сценариев¦/slovar-informacionnoy-bezopasnosti/appsec-i-devsecops/testirovanie-negativnyh-stsenariev¤Тестирование бизнес-логики¦/slovar-informacionnoy-bezopasnosti/appsec-i-devsecops/testirovanie-biznes-logiki¤Транзитивная зависимость¦/slovar-informacionnoy-bezopasnosti/appsec-i-devsecops/tranzitivnaya-zavisimost¶@faq¶Что такое «Property-based testing» простыми словами?¦Проще говоря, «Property-based testing» помогает команде увидеть, где в жизненном цикле приложения нужна защитная мера, проверка или исправление дефекта. Смысл термина раскрывается через конкретный объект, действие и проверяемый результат.¤Как «Property-based testing» применяют на практике?¦В практике ИБ термин «Property-based testing» используют так: его встраивают в требования к приложению, проверки конвейера разработки и процесс устранения дефектов. Решение проверяют по наблюдаемому результату, а не только по наличию документа или средства.