Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Abstraction Interpretation-based Verification of Non-functional Requirements

Agostino Cortesi and Francesco Logozzo

Abstract

The paper investigates a formal approach to the verification of non functional software requirements, e.g. portability, time and space efficiency, 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.

Details

Publication typeInproceedings
Published inProceedings of the 7th International Conference on Coordination Models and Languages (COORDINATION '05)
Volume3454
PublisherSpringer Verlag
> Publications > Abstraction Interpretation-based Verification of Non-functional Requirements