CN103853660A - Component-oriented model-based software construction and verification method - Google Patents
Component-oriented model-based software construction and verification method Download PDFInfo
- Publication number
- CN103853660A CN103853660A CN201310743470.2A CN201310743470A CN103853660A CN 103853660 A CN103853660 A CN 103853660A CN 201310743470 A CN201310743470 A CN 201310743470A CN 103853660 A CN103853660 A CN 103853660A
- Authority
- CN
- China
- Prior art keywords
- environment
- output
- text
- checking
- link library
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Stored Programmes (AREA)
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
The present invention relates to the compatible field of software engineering technology, be specifically related to a kind of software building based on facing assembly model and the method for checking.
Background technology
COM be one can for structure component software model.It is proposed by Microsoft and issues, within the time of many decades, constantly grow up, up to the present, COM technology together with JavaBeans, CORBA by and be called three large standards of Components Development.COM has the characteristics such as independence, professional platform independence, member run location and process transparency, arrangement of components dirigibility and the safety in operation of component development language, and it has popular development environment support (as VC, VB, Delphi etc.), contrast other component technologys, COM performance history is simple, easily staff, these factors make COM become one of current very popular Component-Based Development Techniques.
In com component model, interface is of paramount importance concept, plays certainly property effect in whole application system, and what the external world and assembly side were all all passes through Interface realization alternately, and therefore the quality of Interface design directly affects the quality of assembly.Being designed with of good interface is beneficial to the availability, the intelligibility that improve assembly, be conducive to software maintenance, expand and reuse.Irrational design can cause assembly to beyond one's depth, be difficult to select, thereby affects the reliability of whole software.
In the checking in a lot of fields of software, all have a wide range of applications, such as maintaining system safety, Information Crimes record and magnanimity information comparison with consult etc., all need to carry out a large amount of software verification work.In checking activity, must answer following problem: 1) can find on earth how many defects by evaluation; 2) have how many defects to find in evaluation course, how much have is again to find in confirmation test below; 3) there is the defect of much ratios to be left to test end, found by client.
Requirements verification most probable is that cost is saved in software development.It can detect many defects, otherwise these defects can enter the later stage of construction cycle, at that time again correcting defect cost will height how, problem has been transferred to downstream stages.In fact more than 50% defect is all introduced in demand stage.The effect of checking generally speaking will be higher than confirming test.It can find that some are in the defect of confirming may detect hardly in test process.The most important thing is, utilize checking can find as early as possible and detect defect.
Software verification based on COM is the new software verification technique growing up from constructing method of component, it is a kind of dynamic link library is used as and is detected and the means of transmission of information or carrier and the verification method that is used, operation output by comparison identical sources code in different system, the final actual information that obtains measurand from comparison result.Verification technique based on COM has high precision, good stability, ubiquity high, if again in conjunction with Script Programming control technology, can form robotization, the online software validation system of practicality that intelligent degree is higher.At present, by the multi-platform same software of repeatedly operation, extract the characteristic parameter of running software result, as working time, committed memory space size, output stability etc., the checking of carrying out software has been subjected to extensive concern.Software compatibility height is as one of key character of software, utilizes verification technique based on COM to carry out multi-platform compatibility verification to it and is of great significance at some application scenario tool.
Software compatibility checking based on COM mainly contains two classes, one class is the traditional verification mode of application, according to normal design process, design and write software to be tested, finished product is offered to client to be used, and then multi-faceted, several extraction field feedback repeatedly, be then made with necessarily software verification and modification targetedly according to feedback information.After completing and one take turns use, feedback, revising, take out finished product and again enter the use checking circulation of next round.Another method is that directly application hapalonychia finished product to be verified is verified in development technique group.Compared with the method based on circulation checking of classics, thisly not only avoid the long problem of proving period, and can do abundant checking before product is submitted client to, make like this client need not bear the responsibility of the great leak of software, whole proof procedure is more convenient.Therefore the software verification method based on COM is an important development direction in computer software authentication field.Because single software verification environment can not provide enough platform compatibility informations, so must provide and the Given information of the compatible relevant dynamic link library of platform etc.Conventionally, need in proof procedure, to use the ripe dynamic link library of extensively being proved, as java standard library template.
Summary of the invention
The technical problem to be solved in the present invention is to provide a kind of software building based on facing assembly model and the method for checking, makes it possible to easily, the compatibility of verifying software in different system exactly.
In order to realize the object of invention, the technical solution used in the present invention is as follows:
The invention provides a kind of software building based on facing assembly model and the method for checking, comprising:
In at least two kinds of development platforms, prepare the dynamic link library source code of each self application;
Write software source code to be verified, as checking originally;
In linux system, write the dynamic link library that is applicable to Linux platform, form dynamic link library, the file that suffix is .so;
In Windows system, write the dynamic link library that is applicable to windows platform, form dynamic link library, the file that suffix is .dll;
Use the program source code to be verified dynamic link library of dynamic link corresponding platform obtained above respectively, guarantee the uniqueness of source code, use the dynamic perfromance of COM, move respectively, and obtain respectively the text of operation result;
Technique scheme can find out, the present invention has the following advantages:
1) equipment is simple, only needs to be provided with basic system environments and gets final product work.
2) compare the method based on traditional, the present invention has avoided the problem of time cycle overlength.
3) selection and the making of calibrating template have been saved.
4) algorithm is simple, and good stability is suitable for online real time processing system.
Accompanying drawing explanation
In order to be illustrated more clearly in the embodiment of the present invention or technical scheme of the prior art, to the accompanying drawing of required use in embodiment or description of the Prior Art be briefly described below, apparently, accompanying drawing in the following describes is only some embodiments of the present invention, for those of ordinary skills, do not paying under the prerequisite of creative work, can also obtain according to these accompanying drawings other accompanying drawing.
Fig. 1 arranges mark post scene schematic diagram.
[0024] Fig. 2 is environment schematic diagram of the present invention.
Embodiment
Below in conjunction with the accompanying drawing in the embodiment of the present invention, the technical scheme in the embodiment of the present invention is clearly and completely described, obviously, described embodiment is only the present invention's part embodiment, rather than whole embodiment.Based on the embodiment in the present invention, those of ordinary skills, not making all other embodiment that obtain under creative work prerequisite, belong to the scope of protection of the invention.
The invention provides a kind of software building based on facing assembly model and the method for checking, make it possible to easily, the multi-platform compatibility of software exactly.
Below in conjunction with accompanying drawing, the present invention program is described in detail.
Fig. 1 is deploying software checking schematic diagram.
Fig. 2 is environment schematic diagram of the present invention.
As shown in Figure 1,
1) in open source operating system linux system environment, build translation and compiling environment;
2) in Windows environment based on object oriented programming model (COM) coding application program;
3) utilize step 2) application source code that obtains, in conjunction with demand, compile out the dynamic link library (DLL) under windows platform;
4) use same source code, utilize the Dynamic Selection advantage of Makefile file in way of compiling control, utilize 1) the middle translation and compiling environment building, be created on the dynamic base (with suffix so by name) that can reuse in Linux environment or embedded environment;
5) utilize 4) in the dynamic base that obtains, use separately Linux environment or embedded-development environment, move program to be verified, and by link so dynamic link library, produce output, and by output print or directly with text formatting storage, be designated as text A;
6) utilize 3) in the dynamic base that obtains, use separately Windows Visual C++ development environment, move program to be verified, and by link so dynamic link library, produce output, and by output print or directly with text formatting storage, be designated as text B.
7) use scale-of-two comparative approach, directly compare text A and text B, both must verify.
Utilize the result record to do stability analysis, be verified result.
Technique scheme can be found out, a kind of new method that method of the present invention is verified the software compatibility with the operation result realization of same source code same dynamic link library file of dynamic call in different system.Technical solution of the present invention has been avoided the difficulty of the demarcation of verification msg index and Data Matching, the effectively multi-platform property of verifying software.
A kind of software building based on facing assembly the model above embodiment of the present invention being provided and the method for checking are described in detail, applied specific case herein principle of the present invention and embodiment are set forth, the explanation of above embodiment is just for helping to understand method of the present invention and core concept thereof; , for one of ordinary skill in the art, according to thought of the present invention, all will change in specific embodiments and applications, in sum, this description should not be construed as limitation of the present invention meanwhile.
Claims (5)
1. a method for the software building based on facing assembly model and checking, is characterized in that:
In Linux environment, write and compile source code, in Windows environment, write and compile source code simultaneously.
2. a kind of software building based on facing assembly model according to claim 1 and the method for checking, is characterized in that:
Utilize the source code obtaining, in linux system and Windows system, produce respectively dynamic link library file, because source code belongs to same version, the difference of the dynamic link library therefore obtaining just has respectively the feature of this compiling system.
3. a method for the software building based on facing assembly model and checking, is characterized in that:
Use program code to be verified, the above-mentioned dynamic link library file of dynamic call, generates respectively text A and text B, stores this locality into.
4. a kind of software building based on facing assembly model according to claim 3 and the method for checking, is characterized in that:
Utilize scale-of-two contrast program, contrast text A and text B, and comparison result is done to detailed record.
5. a method for the software building based on facing assembly model and checking, is characterized in that:
Utilize the result record to do stability analysis, be verified result.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201310743470.2A CN103853660A (en) | 2013-12-30 | 2013-12-30 | Component-oriented model-based software construction and verification method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201310743470.2A CN103853660A (en) | 2013-12-30 | 2013-12-30 | Component-oriented model-based software construction and verification method |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN103853660A true CN103853660A (en) | 2014-06-11 |
Family
ID=50861337
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201310743470.2A Pending CN103853660A (en) | 2013-12-30 | 2013-12-30 | Component-oriented model-based software construction and verification method |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN103853660A (en) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106775704A (en) * | 2016-12-12 | 2017-05-31 | 广州视源电子科技股份有限公司 | Software attribute requirement checking method and device |
| CN110737985A (en) * | 2019-10-15 | 2020-01-31 | 上海联影医疗科技有限公司 | Running data verification method and device, computer equipment and readable storage medium |
| CN112579376A (en) * | 2020-12-16 | 2021-03-30 | 中国建设银行股份有限公司 | Double-run-stage data verification method, system, equipment and storage medium |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20020138821A1 (en) * | 2001-01-23 | 2002-09-26 | Vadim Furman | Method and apparatus for seamless porting of object code between operating system environments |
| CN101295263A (en) * | 2008-06-23 | 2008-10-29 | 北京中星微电子有限公司 | Multimedia engineering, system and method for compiling third-party library files |
| CN101826014A (en) * | 2010-04-20 | 2010-09-08 | 北京邮电大学 | Dividing method of source code in software engineering |
| WO2013034606A1 (en) * | 2011-09-08 | 2013-03-14 | Ideaworks3D Ltd | Methods and systems for producing, evaluating and simulating executable applications |
-
2013
- 2013-12-30 CN CN201310743470.2A patent/CN103853660A/en active Pending
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20020138821A1 (en) * | 2001-01-23 | 2002-09-26 | Vadim Furman | Method and apparatus for seamless porting of object code between operating system environments |
| CN101295263A (en) * | 2008-06-23 | 2008-10-29 | 北京中星微电子有限公司 | Multimedia engineering, system and method for compiling third-party library files |
| CN101826014A (en) * | 2010-04-20 | 2010-09-08 | 北京邮电大学 | Dividing method of source code in software engineering |
| WO2013034606A1 (en) * | 2011-09-08 | 2013-03-14 | Ideaworks3D Ltd | Methods and systems for producing, evaluating and simulating executable applications |
Non-Patent Citations (2)
| Title |
|---|
| 梁忠杰: "COM 技术和动态链接库技术的应用研究", 《微计算机应用》 * |
| 肖竟华: ""Windows和Linux动态链接库研究及应用"", 《电脑与信息技术》 * |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106775704A (en) * | 2016-12-12 | 2017-05-31 | 广州视源电子科技股份有限公司 | Software attribute requirement checking method and device |
| CN110737985A (en) * | 2019-10-15 | 2020-01-31 | 上海联影医疗科技有限公司 | Running data verification method and device, computer equipment and readable storage medium |
| CN110737985B (en) * | 2019-10-15 | 2024-07-16 | 上海联影医疗科技股份有限公司 | Method, apparatus, computer device and readable storage medium for verifying operation data |
| CN112579376A (en) * | 2020-12-16 | 2021-03-30 | 中国建设银行股份有限公司 | Double-run-stage data verification method, system, equipment and storage medium |
| CN112579376B (en) * | 2020-12-16 | 2024-08-20 | 中国建设银行股份有限公司 | Double-running-stage data verification method, system, equipment and storage medium |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN102567201B (en) | Method for automatically recovering cross-model GUI (graphic user interface) test scripts | |
| CN103197948B (en) | A kind of electric intelligent devices communicating stipulations script resolving method | |
| CN103019928A (en) | Automatic testing method and system | |
| CN104035754A (en) | XML (Extensible Markup Language)-based custom code generation method and generator | |
| Bézivin et al. | Bridging the ms/dsl tools and the eclipse modeling framework | |
| CN103677821A (en) | Method and device for publishing software development tool code | |
| CN104572153A (en) | Update data conversion method for vehicle updating | |
| CN110209584A (en) | A kind of automatic generation of test data and relevant apparatus | |
| CN105591779A (en) | Method and device for inspecting network element | |
| CN104657274A (en) | Method and device for testing software interface | |
| CN103853660A (en) | Component-oriented model-based software construction and verification method | |
| CN111258884A (en) | System for automatically generating interface accuracy verification script | |
| CN107423221A (en) | A kind of web applies sustainable method of testing and system | |
| CN112328231B (en) | Quick conversion method between python dictionary and structure | |
| CN107977201A (en) | A kind of comprehensively monitoring HMI automatic generation methods | |
| CN108241705B (en) | Data insertion method and device | |
| Dissanayake et al. | Essential features a general AJAX rich internet application architecture should have in order to support rapid application development | |
| CN106033338A (en) | Method and device for importing and analyzing source code based on FOG data | |
| Ullah et al. | Template-based automatic code generation for web application and APIs using class diagram | |
| CN110968342B (en) | Version comparison method, device and system | |
| CN113987764A (en) | Simulation model construction method and system based on SCA domain description file | |
| CN107861725B (en) | iOS data reverse automatic analysis strategy | |
| CN104268218A (en) | Web-based online courseware production method meeting SCORM (Sharable Content Object Reference Model) standards | |
| CN113064585B (en) | JSON mode-based real-time message interface automatic generation method | |
| CN111857092A (en) | Real-time error detection system and method for household parametric model |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20140611 |
|
| WD01 | Invention patent application deemed withdrawn after publication |