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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.