Object serialization facilitates the flattening of structured objects into byte streams and is therefore important for all component-based applications that strongly rely on data-exchange among components. Unfortunately, implementing and controlling the serialization mechanisms may expose the software to subtle faults. This paper paves the way towards testing and analysis techniques specifically tailored to the assessment of software that uses serialization. In particular, we introduce a taxonomy of abstractions and terms to semantically characterize and classify the main data-exchange cases, which serialization can be involved with. The resulting conceptual framework provides a means to forecast how erroneous implementations of serialization would look like in different cases, thus enabling the focusing of testing and analysis techniques to address serialization-related faults.

Mariani, L., Denaro, G. (2005). Towards Testing and Analysis of Systems that Use Serialization. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 116, 171-184 [10.1016/j.entcs.2004.02.075].

Towards Testing and Analysis of Systems that Use Serialization

MARIANI, LEONARDO;DENARO, GIOVANNI
2005

Abstract

Object serialization facilitates the flattening of structured objects into byte streams and is therefore important for all component-based applications that strongly rely on data-exchange among components. Unfortunately, implementing and controlling the serialization mechanisms may expose the software to subtle faults. This paper paves the way towards testing and analysis techniques specifically tailored to the assessment of software that uses serialization. In particular, we introduce a taxonomy of abstractions and terms to semantically characterize and classify the main data-exchange cases, which serialization can be involved with. The resulting conceptual framework provides a means to forecast how erroneous implementations of serialization would look like in different cases, thus enabling the focusing of testing and analysis techniques to address serialization-related faults.
Articolo in rivista - Articolo scientifico
testing, analysis, systems, serialization
English
171
184
14
Mariani, L., Denaro, G. (2005). Towards Testing and Analysis of Systems that Use Serialization. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 116, 171-184 [10.1016/j.entcs.2004.02.075].
Mariani, L; Denaro, G
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/14767
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact