Conferencia
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". © 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; Animation; Computer software |
| Año: | 2010 |
| Volumen: | 2 |
| Página de inicio: | 335 |
| Página de fin: | 336 |
| DOI: | http://dx.doi.org/10.1145/1810295.1810380 |
| 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_p335_DeCaso |
Referencias:
- Alur, R., Synthesis of interface specifications for Java classes (2005) POPL, , ACM, January
- 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
- Ernst, M., The Daikon system for dynamic detection of likely invariants (2007) Science of Computer Programming
- Grieskamp, W., Action machines: A framework for encoding and composing partial behaviors (2006) IJSEKE
- 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, 335-336.http://dx.doi.org/10.1145/1810295.1810380
---------- CHICAGO ----------
De Caso, G. "Behavioural validation of software engineering artefacts" . 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 2 (2010) : 335-336.http://dx.doi.org/10.1145/1810295.1810380
---------- MLA ----------
De Caso, G. "Behavioural validation of software engineering artefacts" . 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, vol. 2, 2010, pp. 335-336.http://dx.doi.org/10.1145/1810295.1810380
---------- VANCOUVER ----------
De Caso, G. Behavioural validation of software engineering artefacts. Proc Int Conf Software Eng. 2010;2:335-336.http://dx.doi.org/10.1145/1810295.1810380
