软件假设失效容忍：作用、策略与愿景
软件工程
2016-05-09 v1
摘要
无论是否出于我们本意，当软件执行时，大量设计假设不断与当前条件的真相相匹配。尽管存在标准和工具来表达和验证其中部分假设，实践中多数最终要么被筛除，要么隐藏于我们代码行之间。跨系统层，一张复杂且有时模糊的假设之网决定了软件与其部署平台和运行时环境相匹配的质量。我们的立场是，能够设计具有架构和结构化技术的软件系统正变得愈发重要，这些技术允许软件被分解以降低其复杂性，但不在此过程中隐藏关键假设与假说。本文讨论此问题，介绍否认它所带来的三个潜在危险后果，并提出三种策略以促进对其的处理。最后我们提出朝向一种新整体软件开发方法的愿景，以克服碎片化视图在假设失效问题上的缺陷。
引用
@article{arxiv.1605.02040,
title = {Software Assumptions Failure Tolerance: Role, Strategies, and Visions},
author = {Vincenzo De Florio},
journal= {arXiv preprint arXiv:1605.02040},
year = {2016}
}
备注
In "Architecting Dependable Systems, Vol. 7" (Antonio Casimiro, Rog\'erio de Lemos, and Cristina Gacek, Eds.), Lecture Notes in Computer Science, Vol. 6420. Springer, 2010