可靠系统工程中的形式化方法：来自欧洲与北美从业者的调查
软件工程
2021-01-29 v3
摘要
背景：形式化方法（FMs）已存在一段时间，但如何发挥其优势、克服其挑战，并为其改进设定新方向以更好地向实践转化，仍不清晰。目标：我们研究形式化方法在任务关键型软件领域中的使用，考察工业界与学术界的看法。方法：我们开展了一项横断面在线调查。结果：我们的结果表明业界应用形式化方法的意愿增强，其感知有用性被积极评价。但结果也显示其感知易用性被消极评价。可扩展性、技能与教育似乎是支撑该意愿的关键挑战。结论：我们呈现了迄今为止此类最大规模的研究（N = 216），我们的观察提供了有价值的见解，突出了形式化方法未来理论与实证研究的方向。我们的发现与 Austin 和 Parkin（1993）早前的观察高度一致。
引用
@article{arxiv.1812.08815,
title = {Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America},
author = {Mario Gleirscher and Diego Marmsoler},
journal= {arXiv preprint arXiv:1812.08815},
year = {2021}
}
备注
Empirical Software Engineering (SpringerNature), includes open answers