The invention discloses a component-oriented model-based software construction and verification method, which comprises the following steps of establishing a compiling environment in an open source operating system Linux, coding an application based on an object-oriented model in a Windows environment, and compiling an obtained application source code to obtain a dynamic link library under a Windows platform; generating a dynamic library which can be reutilized in a Linux environment or an embedded environment by utilizing a Makefile; running a program to be verified independently under the Linux environment or the embedded development environment, generating output by linking the so dynamic link library, printing the output or directly storing the output in a text format, and recording the output as a text A; running the program to be verified independently under a C++ development environment by utilizing the obtained dynamic library, generating output by linking the so dynamic link library, printing the output or directly storing the output in the text format, and recording the output as a text B; directly comparing the texts A and B for verification by using a binary comparison method.