What is Software Robustness | IGI Global
A software is robust, if any exception raised during its execution, in any architecture and with any initial state, is caught by some exception handler.
Published in Chapter:
Verification of Non-Functional Requirements by Abstract Interpretation
Agostino Cortesi (Università Ca’ Foscari, Italy) and Francesco Logozzo (Microsoft Research, USA)
Source Title:
Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions
Copyright:
© 2012
|
Pages:
14
14
DOI:
10.4018/978-1-61350-432-1.ch002
Abstract
This chapter investigates a formal approach to the verification of non-functional software requirements that are crucial in Service-oriented Systems, like portability, time and space efficiency, and dependability/robustness. The key-idea is the notion of observable, i.e., an abstraction of the concrete semantics when focusing on a behavioral property of interest. By applying an abstract interpretation-based static analysis of the source program, and by a suitable choice of abstract domains, it is possible to design formal and effective tools for non-functional requirements validation.