Публикации по теме 'smart-contract-security'
Методы обеспечения безопасности Solidity, часть VIII: тестирование на основе свойств
Тестирование на основе свойств — это мощный метод, который помогает разработчикам находить ошибки в коде, создавая и тестируя большое количество тестовых случаев на основе свойств, которым должен удовлетворять код. В этом посте мы рассмотрим, как использовать тестирование на основе свойств в Solidity, как определить свойства и некоторые рекомендации по его реализации.
Что такое тестирование на основе свойств?
Тестирование на основе свойств — это методология тестирования, при которой..