Behavioural validation of software engineering artefacts

Mostrar todas las versiones(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 the validation of global behaviour difficult. Ty...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	de Caso, Guido
Publicado:	2010
Materias:	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
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v2_n_p505_DeCaso http://hdl.handle.net/20.500.12110/paper_02705257_v2_n_p505_DeCaso
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_02705257_v2_n_p505_DeCaso
record_format	dspace
spelling	paper:paper_02705257_v2_n_p505_DeCaso2023-06-08T15:24:38Z Behavioural validation of software engineering artefacts de Caso, Guido 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 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. Fil:De Caso, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2010 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v2_n_p505_DeCaso http://hdl.handle.net/20.500.12110/paper_02705257_v2_n_p505_DeCaso
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	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
spellingShingle	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 de Caso, Guido Behavioural validation of software engineering artefacts
topic_facet	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
description	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.
author	de Caso, Guido
author_facet	de Caso, Guido
author_sort	de Caso, Guido
title	Behavioural validation of software engineering artefacts
title_short	Behavioural validation of software engineering artefacts
title_full	Behavioural validation of software engineering artefacts
title_fullStr	Behavioural validation of software engineering artefacts
title_full_unstemmed	Behavioural validation of software engineering artefacts
title_sort	behavioural validation of software engineering artefacts
publishDate	2010
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v2_n_p505_DeCaso http://hdl.handle.net/20.500.12110/paper_02705257_v2_n_p505_DeCaso
work_keys_str_mv	AT decasoguido behaviouralvalidationofsoftwareengineeringartefacts
_version_	1768545924013883392

Behavioural validation of software engineering artefacts

Ejemplares similares