Home // PATTERNS 2010, The Second International Conferences on Pervasive Patterns and Applications // View article

Towards A Taxonomy of Dynamic Invariants in Software Behaviour

Authors:
Teemu Kanstrén

Keywords: dynamic invariant, taxonomy, software behaviour

Abstract:
The use of dynamic invariants to describe software behaviour has gained increasing popularity and various tools and techniques for mining and using these invariants have been published. Typically, these invariants are used to support various software engineering tasks, such as testing and debugging, which require one to understand and be able to reason about the system behaviour in terms of these invariants. However, the existing works are generally focused on a specific set of invariants for a specific purpose. In many cases it is also useful to view these in a wider context to enable a wider understanding of the invariants and to provide more extensive support across different domains. This paper presents work towards a general taxonomy describing the properties of dynamic invariants based on a review of existing work in their use, providing a basis for a wider adoption of different invariant features in different domains.

Pages: 20 to 27

Copyright: Copyright (c) IARIA, 2010

Publication date: November 21, 2010

Published in: conference

ISSN: 2308-3557

ISBN: 978-1-61208-111-3

Location: Lisbon, Portugal

Dates: from November 21, 2010 to November 26, 2010