Towards a taxonomy of dynamic invariants in software behaviour

Teemu Kanstren

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

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.
Original languageEnglish
Title of host publicationProceedings of the 2nd International Conference on Pervasive Patterns and Applications
Pages20 - 27
Publication statusPublished - 2010
MoE publication typeA4 Article in a conference publication
Event2nd International Conference on Pervasive Patterns and Applications - Lisbon, Portugal
Duration: 21 Nov 201026 Nov 2010

Conference

Conference2nd International Conference on Pervasive Patterns and Applications
CountryPortugal
CityLisbon
Period21/11/1026/11/10

Fingerprint

Taxonomies
Software engineering
Testing

Cite this

Kanstren, T. (2010). Towards a taxonomy of dynamic invariants in software behaviour. In Proceedings of the 2nd International Conference on Pervasive Patterns and Applications (pp. 20 - 27)
Kanstren, Teemu. / Towards a taxonomy of dynamic invariants in software behaviour. Proceedings of the 2nd International Conference on Pervasive Patterns and Applications. 2010. pp. 20 - 27
@inproceedings{189f1a09997a41179ab951132a89b930,
title = "Towards a taxonomy of dynamic invariants in 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.",
author = "Teemu Kanstren",
note = "Project code: 33451",
year = "2010",
language = "English",
isbn = "978-1-61208-001-7",
pages = "20 -- 27",
booktitle = "Proceedings of the 2nd International Conference on Pervasive Patterns and Applications",

}

Kanstren, T 2010, Towards a taxonomy of dynamic invariants in software behaviour. in Proceedings of the 2nd International Conference on Pervasive Patterns and Applications. pp. 20 - 27, 2nd International Conference on Pervasive Patterns and Applications, Lisbon, Portugal, 21/11/10.

Towards a taxonomy of dynamic invariants in software behaviour. / Kanstren, Teemu.

Proceedings of the 2nd International Conference on Pervasive Patterns and Applications. 2010. p. 20 - 27.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

TY - GEN

T1 - Towards a taxonomy of dynamic invariants in software behaviour

AU - Kanstren, Teemu

N1 - Project code: 33451

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

M3 - Conference article in proceedings

SN - 978-1-61208-001-7

SP - 20

EP - 27

BT - Proceedings of the 2nd International Conference on Pervasive Patterns and Applications

ER -

Kanstren T. Towards a taxonomy of dynamic invariants in software behaviour. In Proceedings of the 2nd International Conference on Pervasive Patterns and Applications. 2010. p. 20 - 27