Generation of Static Function Calling Paths in C++ Based on Finite-State Machine

Dan Feng Liu; Yong Min Mu; Yu Jie He; Meng Ting Liu

doi:10.4028/www.scientific.net/AMM.568-570.1497

Paper Titles

Study on the Key Technology of the Coastal Waterway Long-Distance Tide Extract and its Software Realization
p.1463

The Dynamic Function Calling Path Generation Based on Instrumentation
p.1469

The Analysis of Function Calling Path in Java Based on Soot
p.1479

Research on Automatic Test Case Generation Framework for Java
p.1488

Generation of Static Function Calling Paths in C++ Based on Finite-State Machine
p.1497

A Linux-Based Technical Implementation Model for Data Capturing
p.1507

A Novel Combinatorial Ant Colony Optimization Algorithm with Detection Zone Rule
p.1511

A Visual Simulation Method for 2-D Complex Situation of Electromagnetic Environment
p.1516

Analysis of Cloud Calculation and its Realization on Computers
p.1520

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 568-570Generation of Static Function Calling Paths in C++...

Generation of Static Function Calling Paths in C++ Based on Finite-State Machine

Abstract:

Path coverage testing based on the function calling relationship is an important criterion for ensuring testing adequacy. The key to path testing is the determination of path number. This paper proposes an algorithm to generate static function calling paths with control logic based on the finite-state machine (FSM). The algorithm analyzes the C++ static source code and extracts the program information, generating static function calling paths and function calling graphs. The experiment proves that the algorithm can accurately generate static function calling paths with control logic and obtain the path number of the testing program. The accurate extraction of the static function calling paths lays a solid foundation for path coverage testing based on the function calling relationship.

You might also be interested in these eBooks

Measurement Technology and its Application III

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 568-570)

Pages:

1497-1504

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.568-570.1497

Citation:

Cite this paper

Online since:

June 2014

Authors:

Dan Feng Liu, Yong Min Mu, Yu Jie He, Meng Ting Liu

Keywords:

Finite-State Machine, Path Coverage Testing, Static Function Calling Paths

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] In Chinese: Yuhui Zheng, Yongmin Mu: Acta Electronica Sinica Vol. 138 No. 8 (2010) pp.1808-1811.

Google Scholar

[2] Yongmin Mu, YuhuiZheng, ZhihuaZhang, Mengting Liu: Chinese Journal of Electronics Vol. 21 No. 2 (2012) pp.236-240.

Google Scholar

[3] Information onhttp: /linux. softpedia. com/get/Programming/Quality-Assurance-and-Testing/calltree-971. shtml.

Google Scholar

[4] Information onhttp: /www. sourceinsight. com.

Google Scholar

[5] Yongmin Mu, Zhihua Zhang: Research of Optimization Algorithm for Path-Based Regression Testing Suit [C]. The Second International Workshop on Education Technology and Computer Science(ETCS2010).

DOI: 10.1109/etcs.2010.365

Google Scholar

[6] In Chinese: Muning Kang, Yi Lin. Compiler Theory[M]. Beijing: Posts and Telecom Press, pp.24-26(2010).

Google Scholar

[7] WeinaDong, Yongmin Mu, ZhihuaZhang, KeqinPeng: Research on Uniqueness of Polymorphism in Regression Testing. The 2nd International Conference on Information Engineering and Computer Science(ICIECS2010).

Google Scholar

[8] Sheng Qi, Yongmin Mu, ZhihuaZhang, KeqinPeng: Research on Determination of Overloaded Function Uniqueness for Regression Testing Oriented. The 2nd International Conference on Information Engineering and Computer Science(ICIECS2010).

DOI: 10.1109/iciecs.2010.5678400

Google Scholar

[9] RuiWang, Yongmin Mu, ZhihuaZhang, KeqinPeng: Determination on Uniqueness of Function Template Call Relation in Regression Testing. The 2nd International Conference on Information Engineering and Computer Science(ICIECS2010).

DOI: 10.1109/iciecs.2010.5678402

Google Scholar

[10] Information onhttp: /www. codefans. net.

Google Scholar