research-article

Behavioural validation of software engineering artefacts

Author:

Guido de CasoAuthors Info & Claims

ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

Pages 335 - 336

https://doi.org/10.1145/1810295.1810380

Published: 01 May 2010 Publication History

Get Access

Abstract

Software engineering artefacts that define behaviour tend to be of a fragmented nature in order to facilitate their construction, modification, and modular reasoning (e.g. modular code, pre/post-conditions specifications). However, fragmentation makes the validation of global behaviour difficult. Typically synthesis techniques that yield global representations of large and potentially infinite states are used in combination with simulation, animation or partial explorations, tecniques which necesarily loose the global view of system behaviour. I aim to develop abstraction-for-validation techniques that automatically produce finite state abstractions that are sufficiently small to support validating the emergent behaviour of a fragmented description "at a glance".

References

[1]

R. Alur et al. Synthesis of interface specifications for Java classes. In POPL. ACM, January 2005.

Digital Library

Google Scholar

[2]

D. Beyer et al. The software model checker Blast. IJSTTT, 2007.

Digital Library

Google Scholar

[3]

J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. ACM TOSEM, 1998.

Digital Library

Google Scholar

[4]

G. de Caso et al. Validation of contracts using enabledness preserving finite state abstractions. In ICSE, 2009.

Digital Library

Google Scholar

[5]

M. Ernst et al. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, 2007.

Digital Library

Google Scholar

[6]

W. Grieskamp et al. Action machines: a framework for encoding and composing partial behaviors. IJSEKE, 2006.

Crossref

Google Scholar

[7]

B. Meyer. Applying 'design by contract'. 1992.

Google Scholar

[8]

T. Uribe. Abstraction-based deductive-algorithmic verification of reactive systems, 1999.

Google Scholar

Index Terms

Behavioural validation of software engineering artefacts
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering
  1. Software creation and management
    1. Software development techniques
    2. Software verification and validation
      1. Empirical software validation
      2. Process validation

Recommendations

Behavioural validation of software engineering artefacts
ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

Software engineering artefacts that define behaviour tend to be of a fragmented nature in order to facilitate their construction, modification, and modular reasoning (e.g. modular code, pre/post-conditions specifications). However, fragmentation makes ...
B-Cube, behavioural modelling of technical artefacts

A new model, B-Cube, is described for managing knowledge at the behaviour level of the function-behaviour-structure framework. The model proposes a three-dimensional approach to the behavioural modelling of technical artefacts using definitions based ...
Model-based software engineering: the challenges of modelling behaviour
BM-FA '10: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications

The vision of model-based software engineering is to make models the main focus of software development and to automatically generate software from these models. Part of that idea works already today. But, there are still difficulties when it comes to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

May 2010

554 pages

ISBN:9781605587196

DOI:10.1145/1810295

General Chairs:
Jeff Kramer
Imperial College, London, UK
,
Judith Bishop
Microsoft Research, Redmond
,
Program Chairs:
Prem Devanbu
University of California at Davis
,
Sebastian Uchitel
University of Buenos Aires, Argentina and Imperial College London, UK

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '10

Sponsor:

SIGSOFT

ICSE '10: 32nd International Conference on Software Engineering

May 1 - 8, 2010

Cape Town, South Africa

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
194
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 23 Sep 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Behavioural validation of software engineering artefacts

B-Cube, behavioural modelling of technical artefacts

Model-based software engineering: the challenges of modelling behaviour