Exception Handling
Exception Handling
复制标题
异常处理
DOI：
10.1007/978-1-4842-1922-5_30
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Coen de Groot
中科院分区：
文献类型：
--
作者：
Coen de Groot
本文的第一部分对可靠程序设计中的几个基本概念，如规范、程序语义、异常、程序正确性、鲁棒性、失败、故障和错误，进行了严格的定义。第二部分研究了在数据抽象层次结构的模块化程序中处理异常意味着什么。在每个抽象层次上需要解决的问题，如异常检测和传播，一致性状态恢复和掩蔽进行了详细的检查。考虑编程异常处理和默认异常处理（诸如例如在恢复块或数据库事务中体现的）两者。后向恢复在提供软件设计故障的容限的充分性的评估。
The rst part of this paper provides rigorous deenitions for several basic concepts underlying the design of dependable programs, such as speciication, program semantics, exception, program correctness, robustness, failure, fault, and error. The second part investigates what it means to handle exceptions in modular programs structured as hierarchies of data abstractions. The problems to be solved at each abstraction level, such as exception detection and propagation, consistent state recovery and masking are examined in detail. Both programmed exception handling and default exception handling (such as embodied for example in recovery blocks or database transactions) are considered. An assessment of the adequacy of backward recovery in providing tolerance of software design faults is made.