In object oriented systems a thread represents a chain of method activations started by an input event and terminating when an output event is generated. Functional requirements can be implemented by a single thread or by a combination of more threads. Thread analysis can be used as a tool for understanding object oriented software behavior and to support maintenance tasks. The paper presents an algebraic notation, called MM-exp, for representing the threads, that expressively describes relevant details about thread composition. An approach to carry out comprehension processes based on the MM-exp notation is discussed, and a technique to support testing activities guided by the threads is also presented. The proposed approaches are experimented with a case study involving a small sized system implemented in C++ language. The experiment results show that the MM-exp analysis effectively supports program behavior understanding and that the proposed testing technique can be exploited to better test an object oriented system

An algebraic notation for representing threads in object oriented software comprehension / G. A., Di Lucca; Fasolino, ANNA RITA; U., De Carlini. - STAMPA. - 1:(2001), pp. 176-185. (Intervento presentato al convegno 9th IEEE Workshop on Program Comprehension, IWPC 2001 tenutosi a Toronto (Canada) nel May 2001) [10.1109/WPC.2001.921729].

An algebraic notation for representing threads in object oriented software comprehension

FASOLINO, ANNA RITA;
2001

Abstract

In object oriented systems a thread represents a chain of method activations started by an input event and terminating when an output event is generated. Functional requirements can be implemented by a single thread or by a combination of more threads. Thread analysis can be used as a tool for understanding object oriented software behavior and to support maintenance tasks. The paper presents an algebraic notation, called MM-exp, for representing the threads, that expressively describes relevant details about thread composition. An approach to carry out comprehension processes based on the MM-exp notation is discussed, and a technique to support testing activities guided by the threads is also presented. The proposed approaches are experimented with a case study involving a small sized system implemented in C++ language. The experiment results show that the MM-exp analysis effectively supports program behavior understanding and that the proposed testing technique can be exploited to better test an object oriented system
2001
0769511317
An algebraic notation for representing threads in object oriented software comprehension / G. A., Di Lucca; Fasolino, ANNA RITA; U., De Carlini. - STAMPA. - 1:(2001), pp. 176-185. (Intervento presentato al convegno 9th IEEE Workshop on Program Comprehension, IWPC 2001 tenutosi a Toronto (Canada) nel May 2001) [10.1109/WPC.2001.921729].
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/11588/487257
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact