Аудит и написание смарт-контракта
Пишу диплом на тему: "Анализ производительности программного обеспечения методом математического планирования эксперимента"
В качестве ПО предлагаю взять смарт-контракт. И провести его аудит методом математического планирования эксперимента. Смарт-контракт может быть как существующий так и можно написать собственный.
Идея заключается в следующем:
Цена договорная.
1. Определить целевую функцию: Необходимо определить, какую характеристику производительности смарт-контракта вы хотите измерить. Это может быть время выполнения транзакции, пропускная способность, количество ошибок и т.д.
2. Определить факторы: Необходимо определить факторы, которые могут влиять на целевую функцию. Например, это может быть количество транзакций, размер блока, скорость сети, сложность операций и т.д.
3. Определить уровни факторов: Необходимо определить уровни каждого фактора, которые будут использоваться в эксперименте. Например, количество транзакций может иметь уровни 10, 20, 30 и т.д.
4. Составить план эксперимента: Необходимо составить план эксперимента, включая комбинации различных уровней каждого фактора. Хорошей практикой является использование матрицы планирования, которая поможет вам убедиться, что каждое сочетание уровней факторов будет проверено в эксперименте.
5. Реализовать эксперимент: Необходимо реализовать эксперимент, используя смарт-контракт. Выполнить эксперимент можно, например, на тестовой сети блокчейна, где можно проверять различные уровни факторов.
6. Анализировать результаты: Необходимо проанализировать результаты эксперимента, используя статистические методы, такие как анализ дисперсии и множественный анализ регрессии. Это поможет выявить, какие факторы оказывают наибольшее влияние на целевую функцию.
7. Проверить результаты на валидность: Необходимо проверить результаты эксперимента на валидность. Это может быть достигнуто путем проверки стабильности результатов при повторении эксперимента или сравнения с другими исследованиями.
8. Документировать результаты и рекомендации: Необходимо документировать результаты эксперимента и оптимальные значения факторов, которые дали наилучшие результаты. Также необходимо сформулировать рекомендации для улучшения производительности.
9. Оценить риски: Необходимо оценить риски, связанные с использованием оптимальных значений факторов. Это может быть связано с изменением условий эксплуатации, новыми версиями блокчейна и т.д.
10. Определить перспективы дальнейшей работы: Необходимо определить перспективы дальнейшей работы, например, расширение эксперимента для более точных результатов или адаптация метода для других смарт-контрактов.
11. Сформулировать выводы: Необходимо сформулировать выводы, опираясь на результаты эксперимента и оценку рисков. Например, можно сделать выводы о том, что оптимальные значения факторов могут повысить производительность смарт-контракта и что использование метода математического планирования эксперимента является эффективным методом анализа производительности смарт-контрактов.
12. Составить список использованной литературы: Необходимо составить список использованной литературы, который будет включать научные статьи, журналы и другие источники, которые были использованы при написании дипломной работы.
13. Написать введение, заключение и аннотацию: Необходимо написать введение, заключение и аннотацию для дипломной работы, которые должны содержать краткую информацию о целях и задачах работы, использованных методах и полученных результатах.
14. Оформить работу по ГОСТу.
Литература:
1. https://habr.com/ru/articles/415791/ - здесь про оптимизацию смарт-контрактов
2. https://habr.com/ru/articles/129346/ - здесь есть математическая постановка