The Determination of the Uniqueness of Polymorphism in C++

Abstract:

The polymorphism is the one of the main features of the object oriented program. The compiler determines the uniqueness of polymorphism by dynamic binding. In a static source code, there will be one function calling point corresponding to several called functions. As the consequence, there will be many redundant function calling paths. It is the key to improve the efficiency of the path coverage test based function call graph with control logic determining the uniqueness of polymorphism. This paper analyzes the feature of the polymorphism in C++ and proposes an algorithm to determine the uniqueness of polymorphism statically in C++. The algorithm can find the unique called function from the several called functions without running the program. The result shows that the algorithm can obtain the unique called function correctly and eliminate the redundant paths. It improves the testing efficiency and reduces the testing cost.

• Periodical: Applied Mechanics and Materials (Volumes 336-338)
• Pages: 2157-2163
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.336-338.2157
• Online since: July 2013
• Authors: Meng Ting Liu, Yong Min Mu, Wei Na Dong, Bin Fan, Li Ni Ma
• Keywords: Function Callling Path, Polymorphism, Software Testing

References

[1] W. E. Howden: Reliability of the Path Analysis Testing Strategy, IEEE Transactions on Software Testing, September 1976, pp.208-215.

DOI: 10.1109/tse.1976.233816

[2] In Chinese: Ying Tang and Liangxian Xu: Acta Electronica Sinica Vol. 30 No. 12A (2002), p.2163.

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

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

[5] Information on http: /blog. csdn. net/blucexi/article/details/1253265.

[6] Yuhui Zheng, Yongmin Mu, and Zhihua Zhang: Research on the Static Function Call Path Generating Automatically, The 2nd IEEE International Conference on Information management and engineering (ieee icime 2010).

DOI: 10.1109/icime.2010.5478114