CN106407122A - Testing method used for software automatic generation system - Google Patents
Testing method used for software automatic generation system Download PDFInfo
- Publication number
- CN106407122A CN106407122A CN201610925059.0A CN201610925059A CN106407122A CN 106407122 A CN106407122 A CN 106407122A CN 201610925059 A CN201610925059 A CN 201610925059A CN 106407122 A CN106407122 A CN 106407122A
- Authority
- CN
- China
- Prior art keywords
- instrument
- test case
- testing
- software
- software automatic
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
Abstract
The invention discloses a testing method used for a software automatic generation system. The testing method comprises the steps of 1, performing system modeling through an editor to obtain a software system; 2, simulating the system after the system is completed, wherein the simulation system comprises a simulated system, an external environment simulation module and an interactive monitoring module, the simulated system is formed through a simulator, the external environment simulation module is responsible for interacting various information of the system, and the interactive monitoring module serves as a data interaction interface; 3, traversing the system through a tool to obtain all the test cases; 4, verifying the test cases through a tool. According to the testing method used for the software automatic generation system, all the test cases are obtained by modeling the system, simulating the system and traversing the system through the tool; and as the three processes of verifying the test cases through the tool are adopted for the system testing, wrong positions can be positioned efficiently, and the economy of system development and maintenance is improved.
Description
Technical field
The invention belongs to technical field of software development, more particularly to a kind of test side for software automatic generating system
Method.
Background technology
The real establishment of software test is in 20 century 70s, and the first software held North Carolina in 1972 is surveyed
In examination official meeting, Myers definition test " process of configuration processor for discovery procedure mistake ".To the eighties, some are soft
Part developer has worked out the related various standards of software test together with tester, including the ansi standard of IEEE, the U.S.
And ISO international standard.Because these standards are excessively huge, cannot all implement in actual applications, but they are one really
A little tests provide very valuable reference.Until the nineties, software test and various testing tool just compare and come into one's own.
During this period of time, the focus selecting always research of the theory of testing and test case.Now, the theory of testing is gradually
Tend to perfect, and the select permeability of test case be still in conceptual phase, how to choose test case can make tested soft
Part is sufficiently tested, the problems such as select different cycle testss whether can produce impact etc. to test result in test
Also under study for action.
Content of the invention
It is an object of the invention to provide a kind of method of testing for software automatic generating system, by using to system
Modeling, by carrying out emulating to system, by instrument, system being traveled through, obtains all of test case.
The present invention is achieved by the following technical solutions：
The present invention is a kind of method of testing for software automatic generating system, comprises the steps：
Step one, carries out system modelling by editing machine, obtains software system；
Step 2, after the completion of system, emulates to system, and analogue system includes simulated system, external environment mould
Intend module and interaction monitoring module；Simulated system is constituted by emulator；It is responsible for and system by external environment analog module
The various message of interaction；Interaction monitoring module is as data interaction interface；
Step 3, is traveled through to system by instrument, obtains all of test case；
Step 4, carries out the checking of test case by instrument.
Preferably, described step 3, is traveled through to system by instrument, obtains all MSC combined sequence, each
MSC figure represents in a test case, carries out the test to system by Validator instrument.
Preferably, described step 4, adopts TTCN-SDLCo- in the checking carrying out test case by instrument
Simulator instrument carries out Wrong localization position.
The invention has the advantages that：
The present invention passes through, using to system modelling, by carrying out emulating to system, by instrument, system being traveled through, to obtain
To all of test case；Three processes carrying out the checking of test case by instrument carry out the test to system, effectively
Carry out Wrong localization position, improve system development and the economy safeguarded.
Certainly, the arbitrary product implementing the present invention it is not absolutely required to reach all the above advantage simultaneously.
Brief description
In order to be illustrated more clearly that the technical scheme of the embodiment of the present invention, below by use required for embodiment description
Accompanying drawing be briefly described it should be apparent that, drawings in the following description are only some embodiments of the present invention, for ability
For the those of ordinary skill of domain, on the premise of not paying creative work, can also be obtained other attached according to these accompanying drawings
Figure.
Fig. 1 is a kind of method of testing flow chart for software automatic generating system of the present invention.
Specific 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 carried out clear, complete
Site preparation description is it is clear that described embodiment is only a part of embodiment of the present invention, rather than whole embodiments.It is based on
Embodiment in the present invention, it is all other that those of ordinary skill in the art are obtained under the premise of not making creative work
Embodiment, broadly falls into the scope of protection of the invention.
Refer to shown in Fig. 1, the present invention is a kind of method of testing for software automatic generating system, walk including following
Suddenly：
Step one, carries out system modelling by editing machine, obtains software system；
Step 2, after the completion of system, emulates to system, and analogue system includes simulated system, external environment mould
Intend module and interaction monitoring module；Simulated system is constituted by emulator；It is responsible for and system by external environment analog module
The various message of interaction；Interaction monitoring module is as data interaction interface；
Step 3, is traveled through to system by instrument, obtains all of test case；
Step 4, carries out the checking of test case by instrument.
Wherein, step 3, is traveled through to system by instrument, obtains all MSC combined sequence, each MSC chart
Show in a test case, the test to system is carried out by Validator instrument.
Wherein, step 4, carries out adopting TTCN-SDLCo-simulator instrument in the checking of test case by instrument
Carry out Wrong localization position.
Validator can travel through the SDL system of our designs with many algorithms (as a fork tree search, method of exhaustion etc.),
Thus automatically generating multiple MSC combined sequence being likely to occur, each MSC figure represents a test case.In addition it is permissible
It is used in combination with Autolink, the statement of the TTCN test suite that Autolink support automatically generates, about with dynamic behaviour table, its
The basis of the described above generating is SDL explanation and its corresponding MSC figure.The output of Autolink is a MP file format
Test suite file.
, as data interaction interface, it is lower and is divided into GUI interface, SDL interface and MSC interface for interaction monitoring module；Logical
Cross GUI interface can with the operation of control system, set interface data value etc. operation；SDL interface is by the implementation status of system and SDL
Figure is mapped, and so can learn the ruuning situation of each process from SDL pavilion in real time；MSC interface provides whole system
Interacting message attempt
It should be noted that in said system embodiment, included unit simply carries out drawing according to function logic
Point, but it is not limited to above-mentioned division, as long as being capable of corresponding function；In addition, each functional unit is concrete
Title also only to facilitate mutual distinguish, is not limited to protection scope of the present invention.
In addition, one of ordinary skill in the art will appreciate that realizing all or part of step in the various embodiments described above method
The program that can be by complete come the hardware to instruct correlation, and corresponding program can be stored in an embodied on computer readable storage and be situated between
In matter, described storage medium, such as ROM/RAM, disk or CD etc..
Present invention disclosed above preferred embodiment is only intended to help illustrate the present invention.Preferred embodiment is not detailed
Describe all of details, also do not limit the specific embodiment that this invention is only described.Obviously, the content according to this specification,
Can make many modifications and variations.This specification is chosen and is specifically described these embodiments, is to preferably explain the present invention
Principle and practical application so that skilled artisan can be best understood by and utilize the present invention.The present invention is only
Limited by claims and its four corner and equivalent.
Claims (3)
1. a kind of method of testing for software automatic generating system is it is characterised in that comprise the steps：
Step one, carries out system modelling by editing machine, obtains software system；
Step 2, after the completion of system, emulates to system, and analogue system includes simulated system, external environment simulation mould
Block and interaction monitoring module；Simulated system is constituted by emulator；It is responsible for and system interaction by external environment analog module
Various message；Interaction monitoring module is as data interaction interface；
Step 3, is traveled through to system by instrument, obtains all of test case；
Step 4, carries out the checking of test case by instrument.
2. a kind of method of testing for software automatic generating system according to claim 1 is it is characterised in that described step
Rapid three, by instrument, system is traveled through, obtain all MSC combined sequence, each MSC figure represents a test case
In, the test to system is carried out by Validator instrument.
3. a kind of method of testing for software automatic generating system according to claim 1 is it is characterised in that described step
Rapid four, carry out by instrument carrying out Wrong localization position using TTCN-SDL Co-simulator instrument in the checking of test case
Put.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610925059.0A CN106407122A (en) | 2016-10-30 | 2016-10-30 | Testing method used for software automatic generation system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610925059.0A CN106407122A (en) | 2016-10-30 | 2016-10-30 | Testing method used for software automatic generation system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN106407122A true CN106407122A (en) | 2017-02-15 |
Family
ID=58013312
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201610925059.0A Pending CN106407122A (en) | 2016-10-30 | 2016-10-30 | Testing method used for software automatic generation system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN106407122A (en) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106933741A (en) * | 2017-03-16 | 2017-07-07 | 东软集团股份有限公司 | The method and device of joint debugging test |
| CN109088741A (en) * | 2017-06-14 | 2018-12-25 | 北京航空航天大学 | A kind of block catenary system Formal Modeling and verification method |
| CN111044925A (en) * | 2019-12-20 | 2020-04-21 | 深圳市新威尔电子有限公司 | Simulator for battery detection system |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102004826A (en) * | 2010-11-09 | 2011-04-06 | 北京交通大学 | Standardized development method and system for communication protocol of train control system |
-
2016
- 2016-10-30 CN CN201610925059.0A patent/CN106407122A/en active Pending
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102004826A (en) * | 2010-11-09 | 2011-04-06 | 北京交通大学 | Standardized development method and system for communication protocol of train control system |
Non-Patent Citations (1)
| Title |
|---|
| 刘凌卉: "中国优秀硕士学位论文全文数据库工程科技Ⅱ辑", 《中国优秀硕士学位论文全文数据库工程科技Ⅱ辑》 * |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106933741A (en) * | 2017-03-16 | 2017-07-07 | 东软集团股份有限公司 | The method and device of joint debugging test |
| CN109088741A (en) * | 2017-06-14 | 2018-12-25 | 北京航空航天大学 | A kind of block catenary system Formal Modeling and verification method |
| CN109088741B (en) * | 2017-06-14 | 2021-01-01 | 北京航空航天大学 | Formalized modeling and verification method for block chain system |
| CN111044925A (en) * | 2019-12-20 | 2020-04-21 | 深圳市新威尔电子有限公司 | Simulator for battery detection system |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8924937B1 (en) | Method and system for generating verification information and tests for software | |
| CN110008113B (en) | Test method and device and electronic equipment | |
| JP6387182B2 (en) | Information processing method, apparatus, and computer storage medium | |
| JP2007012003A (en) | System for providing development environment of feature-oriented software product line | |
| US8578309B2 (en) | Format conversion from value change dump (VCD) to universal verification methodology (UVM) | |
| CN107659455B (en) | Method, storage medium, device and system for Mock data of iOS (internet operating system) end | |
| CN112817872A (en) | Development test system and method | |
| US8271252B2 (en) | Automatic verification of device models | |
| US20070061641A1 (en) | Apparatus and method for generating test driver | |
| CN105049281A (en) | Message parsing method and equipment | |
| CN106407122A (en) | Testing method used for software automatic generation system | |
| CN102999419B (en) | A kind of Android test incident record back method and device | |
| KR100937689B1 (en) | Method of simulation supporting software testing based on user environment profiling | |
| CN104484267A (en) | Testing system and method | |
| CN111737154A (en) | Vehicle networking automatic test method and device based on UFT | |
| US8265918B1 (en) | Simulation and emulation of a circuit design | |
| CN109557900A (en) | A kind of test method and system for verifying DCS analog machine logical operation function | |
| US20070150249A1 (en) | Verification Operation Supporting System and Method of the Same | |
| CN108287786A (en) | A kind of automated testing method and device and hybrid navigation system based on map | |
| CN104156308B (en) | Mobile application testing method on basis of playback of execution trace of users | |
| CN107703773A (en) | A kind of method for testing software and device based on hardware-in-loop simulation system | |
| CN106021109A (en) | Automatic frame model for program structure analysis | |
| CN114692383B (en) | Modeling method and device for full-range analog machine simulation object and computer equipment | |
| CN111382065A (en) | Verification process management system and method based on test template | |
| El-Ashry et al. | A functional coverage approach for direct testing: An industrial IP as a case study |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20170215 |