Публикации по теме 'smart-contract-security'


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