?
Применение математических методов для оценки критичности дефектов в смарт-контрактах
В статье рассматривается проблема оценивания критичности дефектов в смарт-контрактах, определяются составные параметры критичности дефектов и обосновывается их представление в виде нечетких чисел LR-типа. Предлагается подход, основанный на использовании методов нечетких чисел LR-типа и нелинейной оптимизации, для оценки критичности дефектов в смарт-контрактах, функционирующих в блокчейн-системах на основе Ethereum. Проводится апробация предлагаемого подхода на основе наиболее критичных и часто встречающихся дефектов в смарт-контрактах, функционирующих в блокчейн-системах на основе Ethereum. Результаты исследования позволяют разработчикам смарт-контрактов определять критичность обнаруженных дефектов и принимать соответствующие меры для повышения устойчивости смарт-контрактов.