Мониторинг требований безопасности программного обеспечения с помощью инструментального кода
Уильям Н. Робинсон
Мы представляем фреймворк для мониторинга требований к программному обеспечению по мере его выполнения. Фреймворк является общим и позволяет осуществлять автоматизированную поддержку. В этой статье мы представили фреймворк и показали, как Java-код может быть инструментирован и отслежен с помощью средства проверки моделей. Мы проиллюстрируем нашу текущую автоматизированную поддержку, используя широко известную проблему обедающих философов. Исходя из этого примера, мы предлагаем, как этот подход может быть применен для решения проблем безопасности, таких как те, которые возникают во время транзакций электронной коммерции.
Дата публикации: