Component-oriented model-based software construction and verification method

Abstract

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.

Description

technical field [0001] The invention relates to the field of software engineering technology compatibility, in particular to a method for building and verifying software based on a component-oriented model. Background technique [0002] COM is a model that can be used to construct software components. It was proposed and released by Microsoft, and it has been growing continuously for decades. So far, COM technology has been called the three major standards of component development together with JavaBeans and CORBA. COM has the characteristics of component development language independence, cross-platform, component running location and process transparency, component configuration flexibility and running security, etc., and it is supported by popular development environments (such as VC, VB, Delphi, etc.), Compared with other component technologies, the development process of COM is simple and easy to manpower. These factors make COM one of the popular component development...

AI Technical Summary

Problems solved by technology

The following questions must be answered in the verification activities: 1) How many defects can be found through the review; 2) How many defects are found during...

Images