The Static Analysis of the Uniqueness of Polymorphism

Abstract:

The existence of the polymorphism brings many changes on the executable paths of the object-oriented program, which makes it difficult to test the internal communication of the system and the interaction between the objects. This paper analyzes the structure feature of the Java program and builds an inheritance tree using the technique of reflection in Java, which guarantees the accuracy of the analysis data. This paper proposes an algorithm to determine the uniqueness based on the full analysis of the Java polymorphic calling states and the Liskov substitution principle. And the algorithm uses the asynchronous mode of high concurrency to increase the efficiency. The result shows the algorithm can determine the uniqueness of polymorphism efficiently and accurately. It can play an important role in the Java program comprehension and the system maintenance.

• Periodical: Applied Mechanics and Materials (Volumes 411-414)
• Pages: 425-431
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.411-414.425
• Online since: September 2013
• Authors: Yong Min Mu, Xu Li Zhu, Meng Ting Liu, Zhi Hua Zhang
• Keywords: Asynchronous Mode, Java, Polymorphism, Uniqueness

References

[1] ZHU Meixia, WANG Hanpin, and JIN Wei: Semantic analysis of UML 2. 0 sequence diagram based on model transformation, Proc IEEE 34 th Annual Computer Software and Applications Conference Workshops.

DOI: 10.1109/compsacw.2010.38

[2] In Chinese: Zhihua Zhang and Yonmin Mu: Acta Electronica Sinica Vol. 38 No. 8 (2010), p.1808.

[3] Alhroob A, Dahal K and Hossain A: Transforming UML sequence diagram to high level Petri Net, Puerto Rico USA: Proc 2nd International Conference on Software Technology and Engineering.

DOI: 10.1109/icste.2010.5608842

[4] Yang Nianhua, Yu Huiqun and Sun Hua: Modeling UML sequence diagrams using extended Petri Nets, Tamilnadu, India: Proc International Conference on Information Scince and Applications.

DOI: 10.1109/icisa.2010.5480384

[5] Yongmin Mu, Yuhui Zheng, Zhihua Zhang, and Mengting LIU: Chinese Journal of Electronics Vol. 21 No. 2 (2012), p.236.