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 or infinite states are used in combination with simulation or partial explorations, techniques which necessarily lose the global view of system behaviour. I am working on the development of 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". © 2010 ACM.
Registro:
Documento: |
Conferencia
|
Título: | Behavioural validation of software engineering artefacts |
Autor: | De Caso, G. |
Ciudad: | Cape Town |
Filiación: | Departamento de Computación, FCEyN, Universidad de Buenos Aires, Intendente Güiraldes 2160, Buenos Aires, Argentina
|
Palabras clave: | behaviour models; code understanding; contract conformance; Behaviour models; Code understanding; Emergent behaviours; Finite-state abstraction; Global representation; Global view; Infinite state; Modular reasoning; Synthesis techniques; Abstracting; Computer software |
Año: | 2010
|
Volumen: | 2
|
Página de inicio: | 505
|
Página de fin: | 506
|
DOI: |
http://dx.doi.org/10.1145/1810295.1810453 |
Título revista: | 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010
|
Título revista abreviado: | Proc Int Conf Software Eng
|
ISSN: | 02705257
|
CODEN: | PCSED
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v2_n_p505_DeCaso |
Referencias:
- Alur, R., Synthesis of interface specifications for Java classes (2005) POPL, , ACM, January
- Barnett, M., The SpecSharp programming system: An overview (2005) LNCS
- Beyer, D., The software model checker Blast (2007) IJSTTT
- Cook, J.E., Wolf, A.L., Discovering models of software processes from event-based data (1998) ACM TOSEM
- De Caso, G., Validation of contracts using enabledness preserving finite state abstractions (2009) ICSE
- De Moura, L., Bjørner, N., Z3: An efficient SMT solver (2008) TACAS
- Ernst, M., The Daikon system for dynamic detection of likely invariants (2007) SCP
- Grieskamp, W., Kicillof, N., MacDonald, D., Nandan, A., Stobie, K., Wurden, F., Model-based quality assurance of windows protocol documentation (2008) ICST
- Meyer, B., (1992) Applying 'Design by Contract'
- Uribe, T., (1999) Abstraction-based Deductive-algorithmic Verification of Reactive SystemsA4 - Association for Computing Machinery (ACM); IEEE Computer Society; Technical Council on Software Engineering (tcse); SIGSOFT; Computer Society - South Africa
Citas:
---------- APA ----------
(2010)
. Behavioural validation of software engineering artefacts. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, 2, 505-506.
http://dx.doi.org/10.1145/1810295.1810453---------- CHICAGO ----------
De Caso, G.
"Behavioural validation of software engineering artefacts"
. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 2
(2010) : 505-506.
http://dx.doi.org/10.1145/1810295.1810453---------- MLA ----------
De Caso, G.
"Behavioural validation of software engineering artefacts"
. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, vol. 2, 2010, pp. 505-506.
http://dx.doi.org/10.1145/1810295.1810453---------- VANCOUVER ----------
De Caso, G. Behavioural validation of software engineering artefacts. Proc Int Conf Software Eng. 2010;2:505-506.
http://dx.doi.org/10.1145/1810295.1810453