CN107942733A - Model system - Google Patents
Model system Download PDFInfo
- Publication number
- CN107942733A CN107942733A CN201711345025.5A CN201711345025A CN107942733A CN 107942733 A CN107942733 A CN 107942733A CN 201711345025 A CN201711345025 A CN 201711345025A CN 107942733 A CN107942733 A CN 107942733A
- Authority
- CN
- China
- Prior art keywords
- model
- demand
- testing
- tools
- carried out
- 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
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B17/00—Systems involving the use of models or simulators of said systems
- G05B17/02—Systems involving the use of models or simulators of said systems electric
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Debugging And Monitoring (AREA)
Abstract
The present invention relates to model system, which includes：Regular checking tool：Using Testbed and EMRunner testing tools, coding criterion is carried out to the code of system prototype generation and rule checks；Demand tracer tools：Into BenderRBT demand testing tools, demand cause and effect G- Design can be carried out to software requirement or user demand by the instrument, clearly entry demand tracking graph of a relation is formed, with reference to the demand relation figure inspection model that Scade is generated and demand uniformity；Static analysis tools：Using Testbed, EMRunner or PolySpace testing tool, the quality metric of analysis model；Dynamic testing tool：Using Testbed and EMRunner testing tools, unit testing is carried out to model；Coverage rate analysis instrument：Tested for the mc/dc coverage rates of model code；Simulation validation tool：For different majors field integrated comprehensive semi-physical emulation platform；Formal Verification instrument：Using Rhapsody developing instruments, Stage/code level combined debugging, verification are carried out.
Description
Technical field
The present invention relates to model measurement field, and in particular to a kind of model system.
Background technology
Software test all follows SE principle as software development, it then follows Principles of Management Science.Test expert is led to
Cross practice summary and go out many good test models.Test activity is abstracted by these models, specify that test with opening
Relation between hair, is the important reference of test and management, its common test model is as follows：
In terms of software test, V models are the models being most widely known by the people, although much testers rich in practical experience
It is not familiar with V models, or other models.V models are existing for a long time, and cascade development model has that some are common
Characteristic, thus also equally receive criticism and query with waterfall model.Process in V models from left to right describes base
This development process and behavioral test.It is different present in test process that the value of V models is that it is clearly designated very much
Rank, and during clearly illustrating these test phases and development process each stage correspondence.Limitation:Test
As the wrong until the Acceptance Test in later stage could be sent out of last generation early period such as activity, demand analysis after coding
It is existing.
W models are proposed by Evolutif companies, and relative to V models, W models are more scientific.W models are the development of V models, by force
What is adjusted is tested with whole software development cycle, and the object tested is not only program, and demand, function and design are same
Sample will be tested.Test is synchronously carried out with exploitation, so as to be conducive to pinpoint the problems as soon as possible.
W models also have limitation.It is a series of that the exploitation of software is all considered as demand, design, coding etc. by W models and V models
Serial activity, can not support iteration, spontaneity and change and adjustment.
The left side of X model X models describes the coding being separated from each other and the test carried out for single program fragment,
Hereafter it will frequently be joined, eventually become executable program by integrated, then these executable programs are carried out again
Test.Oneself can be packaged by the finished product of integration testing and submit to user, can also be used as in more extensive and scope
An integrated part.More parallel curves represent that change can occur in various pieces.It can be seen that X models also position
Exploratory testing, this is the test of the specific type without planning sth. ahead, this mode tends to help experienced survey
Examination personnel have found more software errors outside test plan.But may so human and material resources and financial resources be caused to test
Waste, the qualification requirement to test man is higher.
In H models, software test procedure activity is completely independent, through the cycle of whole product, with other process concurrencies
Ground carries out, when some test point is ready, it is possible to proceeds to the test execution stage from the test preparation stage.Software test can
With progress as early as possible, and can be carried out by different level according to the difference of measured object.
This schematic diagram demonstrates the once test " microcirculation " on some level in the whole production cycle.Marked in figure
Other flows can be arbitrary development process, such as design cycle or coding flow.As long as that is, test condition
Ripe, test warming-up exercise completes, and test execution activity can be carried out.
H models disclose a principle:Software test is an independent flow, through product whole life cycle, with
Carry out other process concurrencies.H models point out that software test will prepare as early as possible, perform as early as possible.Different test activities can be
Successively carried out according to some order, it is also possible to being repeatedly, as long as some test reaches ready point, test execution is lived
It is dynamic to carry out.
The shortcomings that prior art, is：
（1）Modelling process causes model style to differ, seriously affects walking for model currently without unified design specification
Look into.
（2）Modelling and the one-to-one relationship of appellative function point.
（3）Model generation code needs to be analyzed using static analysis tools, the quality metric of analysis model.
（4）The unit testing of model.
（5）Model measurement mc/dc is covered.
（6）For the emulation of model, model interface and function can be ensured with the correctness of test model input and output
Correctness.
（7）Ensure the security of model.
（8）Model measurement report is relatively simple, it is necessary to be counted with other instruments.
The content of the invention
It is an object of the invention to overcome the deficiencies of the prior art and provide a kind of model system, thought using modularization
Think, integrate respectively or self researches and develops dependence test instrument, it is possessed comprehensive test function.
The purpose of the present invention is what is be achieved through the following technical solutions：
Model system, the system include：
Regular checking tool：Using Testbed and EMRunner testing tools, coding rule are carried out to the code of system prototype generation
Model and rule check；
Demand tracer tools：Into BenderRBT demand testing tools, by the instrument can to software requirement or user demand into
Row demand cause and effect G- Design, forms clearly entry demand tracking graph of a relation, the demand relation figure inspection generated with reference to Scade
Model and demand uniformity；
Static analysis tools：Using Testbed, EMRunner or PolySpace testing tool, the quality metric of analysis model；
Dynamic testing tool：Using Testbed and EMRunner testing tools, unit testing is carried out to model；
Coverage rate analysis instrument：Tested for the mc/dc coverage rates of model code；
Simulation validation tool：For different majors field integrated comprehensive semi-physical emulation platform；
Formal Verification instrument：Using Rhapsody developing instruments, Stage/code level combined debugging, verification are carried out.
Further as this programme is improved, and the semi-physical emulation platform includes flying control semi-physical emulation platform, electromechanics
Semi-physical emulation platform and avionics semi-physical emulation platform.
Further as this programme is improved, and the system configuration has service interface, by service interface to be checked
Model accesses.
Preferably, the service interface support 1553B, CAN, AD, DA, RS232, RS422, RS485, DI, DO,
RELAY, Ethernet and user's custom interface.
The beneficial effects of the invention are as follows：The present invention is collected each testing tool, is realized the unified detection to model, is divided
Analysis；Solve traditional test instrument to disperse, caused by model measurement trouble and the problem of low work efficiency.
Brief description of the drawings
The system block diagram of Fig. 1 present invention.
Embodiment
Technical scheme is described in further detail with reference to specific embodiment, but protection scope of the present invention is not
It is confined to as described below.
As shown in Figure 1：
Model system, the system include：
Regular checking tool, using Testbed and EMRunner testing tools, the code that can be generated to system prototype encodes
Specification and rule check；
Demand tracer tools, integrates BenderRBT demand testing tools, can be to software requirement or user demand by the instrument
Carry out demand cause and effect G- Design, forms clearly entry demand tracking graph of a relation, the demand relation figure inspection generated with reference to Scade
Look into model and demand uniformity；
Static analysis tools, using Testbed, EMRunner or PolySpace testing tool, the quality metric of analysis model；
Dynamic testing tool, using Testbed and EMRunner testing tools, unit testing is carried out to model；
Coverage rate analysis instrument, is tested for the mc/dc coverage rates of model code；
Simulation validation tool, for different majors, control, electromechanics and avionics like flying etc., integrate the synthesis that Han Ke companies self research and develop
Property semi-physical emulation platform, put down comprising winged control semi-physical emulation platform, electromechanical semi-physical emulation platform and avionics HWIL simulation
Platform etc.；
Formal Verification instrument, using Rhapsody developing instruments, carries out Stage/code level combined debugging, verification, Neng Gouzhi
Design mistake or defect that ground finds system as early as possible are seen, so as to determine or reduce project risk earlier.
The system configuration has service interface, is accessed by service interface to model to be checked.Preferably, it is described
Service interface supports 1553B, CAN, AD, DA, RS232, RS422, RS485, DI, DO, RELAY, Ethernet and user's customization
Interface.
The above is only the preferred embodiment of the present invention, it should be understood that the present invention is not limited to described herein
Form, is not to be taken as the exclusion to other embodiment, and can be used for various other combinations, modification and environment, and can be at this
In the text contemplated scope, it is modified by the technology or knowledge of above-mentioned teaching or association area.And those skilled in the art institute into
Capable modifications and changes do not depart from the spirit and scope of the present invention, then all should be in the protection domain of appended claims of the present invention
It is interior.
Claims (4)
1. model system, it is characterised in that the system includes：
Regular checking tool：Using Testbed and EMRunner testing tools, coding rule are carried out to the code of system prototype generation
Model and rule check；
Demand tracer tools：Into BenderRBT demand testing tools, by the instrument can to software requirement or user demand into
Row demand cause and effect G- Design, forms clearly entry demand tracking graph of a relation, the demand relation figure inspection generated with reference to Scade
Model and demand uniformity；
Static analysis tools：Using Testbed, EMRunner or PolySpace testing tool, the quality metric of analysis model；
Dynamic testing tool：Using Testbed and EMRunner testing tools, unit testing is carried out to model；
Coverage rate analysis instrument：Tested for the mc/dc coverage rates of model code；
Simulation validation tool：For different majors field integrated comprehensive semi-physical emulation platform；
Formal Verification instrument：Using Rhapsody developing instruments, Stage/code level combined debugging, verification are carried out.
2. model system according to claim 1, it is characterised in that the semi-physical emulation platform includes flying control half
Physical emulation platform, electromechanical semi-physical emulation platform and avionics semi-physical emulation platform.
3. model system according to claim 1, it is characterised in that the system configuration has service interface, passes through
Service interface accesses model to be checked.
4. model system according to claim 1, it is characterised in that the service interface support 1553B, CAN,
AD, DA, RS232, RS422, RS485, DI, DO, RELAY, Ethernet and user's custom interface.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201711345025.5A CN107942733A (en) | 2017-12-15 | 2017-12-15 | Model system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201711345025.5A CN107942733A (en) | 2017-12-15 | 2017-12-15 | Model system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN107942733A true CN107942733A (en) | 2018-04-20 |
Family
ID=61943408
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201711345025.5A Pending CN107942733A (en) | 2017-12-15 | 2017-12-15 | Model system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107942733A (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112558498A (en) * | 2020-12-04 | 2021-03-26 | 中国航空工业集团公司成都飞机设计研究所 | Data pool-based inter-MBSE aircraft system joint design and verification method |
| CN113076622A (en) * | 2021-02-22 | 2021-07-06 | 南京远思智能科技有限公司 | System and method for normative analysis and verification of FMU (functional modeling Unit) simulation model |
Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6076173A (en) * | 1997-12-31 | 2000-06-13 | Intel Corporation | Architectural coverage measure |
| CN102945204A (en) * | 2012-11-14 | 2013-02-27 | 清华大学 | Operating system standard conformance test adequacy evaluation method based on interface model |
| CN103530228A (en) * | 2013-09-27 | 2014-01-22 | 西安电子科技大学 | Software testing method based on model |
| CN107122302A (en) * | 2017-04-28 | 2017-09-01 | 郑州云海信息技术有限公司 | A kind of software test measure of effectiveness and appraisal procedure |
| CN107291622A (en) * | 2017-07-18 | 2017-10-24 | 北京计算机技术及应用研究所 | C25 assembly code Static Analysis Methods |
| CN107341101A (en) * | 2017-06-01 | 2017-11-10 | 西南电子技术研究所（中国电子科技集团公司第十研究所） | The method for measuring FPGA software rest mass |
-
2017
- 2017-12-15 CN CN201711345025.5A patent/CN107942733A/en active Pending
Patent Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6076173A (en) * | 1997-12-31 | 2000-06-13 | Intel Corporation | Architectural coverage measure |
| CN102945204A (en) * | 2012-11-14 | 2013-02-27 | 清华大学 | Operating system standard conformance test adequacy evaluation method based on interface model |
| CN103530228A (en) * | 2013-09-27 | 2014-01-22 | 西安电子科技大学 | Software testing method based on model |
| CN107122302A (en) * | 2017-04-28 | 2017-09-01 | 郑州云海信息技术有限公司 | A kind of software test measure of effectiveness and appraisal procedure |
| CN107341101A (en) * | 2017-06-01 | 2017-11-10 | 西南电子技术研究所（中国电子科技集团公司第十研究所） | The method for measuring FPGA software rest mass |
| CN107291622A (en) * | 2017-07-18 | 2017-10-24 | 北京计算机技术及应用研究所 | C25 assembly code Static Analysis Methods |
Non-Patent Citations (2)
| Title |
|---|
| 常江等: "双频双模导航基带芯片的静态时序分析", 《微电子学》 * |
| 李贺等: "基于FPGA的通用仿真设计及其覆盖率分析", 《信息***工程》 * |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112558498A (en) * | 2020-12-04 | 2021-03-26 | 中国航空工业集团公司成都飞机设计研究所 | Data pool-based inter-MBSE aircraft system joint design and verification method |
| CN113076622A (en) * | 2021-02-22 | 2021-07-06 | 南京远思智能科技有限公司 | System and method for normative analysis and verification of FMU (functional modeling Unit) simulation model |
| CN113076622B (en) * | 2021-02-22 | 2023-12-12 | 南京远思智能科技有限公司 | FMU simulation model normalization analysis and verification system and method |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN106027319B (en) | A kind of simulacrumy networked resources service system and method | |
| CN104536883B (en) | A kind of static defect detection method and its system | |
| Kärnä et al. | Evaluating the use of domain-specific modeling in practice | |
| Abrahart et al. | Investigating the role of saliency analysis with a neural network rainfall-runoff model | |
| Furlong et al. | Realistic simulation for tiny batteryless sensors | |
| CN109472004A (en) | Comprehensive estimation method, the apparatus and system that climate change and mankind's activity influence Hydrologic Drought | |
| Li et al. | Measuring code behavioral similarity for programming and software engineering education | |
| JP2672711B2 (en) | How to test and debug computer programs | |
| Lauterbach | Accelerating architectural simulation by parallel execution of trace samples | |
| CN107533473A (en) | Efficient wave for emulation generates | |
| CN107942733A (en) | Model system | |
| El Mandouh et al. | Application of machine learning techniques in post-silicon debugging and bug localization | |
| CN106021109A (en) | Automatic framework model for program structure analysis | |
| Bauersfeld et al. | Unit testing tool competition | |
| CN103970654B (en) | Software reliability virtual test method | |
| CN105893707A (en) | SOC chip module verification and power consumption analysis method | |
| CN108710568A (en) | Detection method, computer equipment and the storage medium of static code defect | |
| Carrington et al. | Applying an automated framework to produce accurate blind performance predictions of full-scale hpc applications | |
| Nambiar et al. | Model driven software performance engineering: Current challenges and way ahead | |
| Han et al. | Public release and validation of spec cpu2017 pinpoints | |
| Hillston | Performance Modelling—Lecture 16: Model Validation and Verification | |
| Wan et al. | A new and inexpensive non-bit-for-bit solution reproducibility test based on time step convergence (TSC1. 0) | |
| Dewi et al. | Maintainability measurement and evaluation of myits mobile application using iso 25010 quality standard | |
| Nikov et al. | Accurate energy modelling on the cortex-m0 processor for profiling and static analysis | |
| Glatz et al. | Tospie2: Tiny operating system plug-in for energy estimation |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20180420 |
|
| RJ01 | Rejection of invention patent application after publication |