An algebraic notation for representing threads in object oriented software comprehension
- 1 January 2001
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 176-185
- https://doi.org/10.1109/wpc.2001.921729
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 systeKeywords
This publication has 10 references indexed in Scilit:
- On the relationships between static and dynamic models in reverse engineering Java softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The effect of call graph construction algorithms for object-oriented programs on automatic clusteringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Understanding the behavior of Java programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using visualization for architectural localization and extractionScience of Computer Programming, 2000
- Recovering use case models from object-oriented code: a thread-based approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- An alternative source code analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- An extensible system for source code analysisIEEE Transactions on Software Engineering, 1998
- Testing object‐oriented software: a surveySoftware Testing, Verification and Reliability, 1996
- Object-oriented integration testingCommunications of the ACM, 1994
- Post-maintenance testing based on path change analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988