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.
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.
Montgomery County has been home to a strong agricultural industry, and the Farmland Preservation Program has contributed a lot. The two parts of the Program-the Transfer of Development Rights Program and the Purchase of Development Rights Program have preserved a great amount of farmland for the county and keep the development and prosperity of the agriculture. Nowadays, the recession of agriculture and the decrease of farmland are serious in China, so it is urgent to find solutions to those problems. The experiences from the Montgomery County has a certain sense of enlightenment for China to deal with the situation, such as 1) convert the development views and response to urban sprawl, 2) using economic means to solve the problems of farmland preservation, 3) establishing the development rights to guarantee the benefits and interests of farmers, 4) developing more scientific and reasonable land evaluation methods for the compensation.
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.