利用生命周期事件提升强制器的可复用性
软件工程
2020-10-14 v1 形式语言与自动机理论
摘要
运行时强制可有效提升软件应用的可靠性。然而，它常需定义专用的策略与强制策略，其识别与实现可能代价高昂。本文探讨如何利用生命周期事件获取可在不同应用间轻松复用的有用强制策略，从而降低采用运行时强制技术的成本。本文最后概述了如何运用该思想定义能够自动克服应用误用相关问题的库。
引用
@article{arxiv.1810.04893,
title = {Increasing the Reusability of Enforcers with Lifecycle Events},
author = {Oliviero Riganelli and Daniela Micucci and Leonardo Mariani},
journal= {arXiv preprint arXiv:1810.04893},
year = {2020}
}
备注
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18) [Invited Talk Paper]