CN105512372B - The data processing onboard emulation test method of modelling - Google Patents
The data processing onboard emulation test method of modelling Download PDFInfo
- Publication number
- CN105512372B CN105512372B CN201510856898.7A CN201510856898A CN105512372B CN 105512372 B CN105512372 B CN 105512372B CN 201510856898 A CN201510856898 A CN 201510856898A CN 105512372 B CN105512372 B CN 105512372B
- Authority
- CN
- China
- Prior art keywords
- data
- model
- data processing
- simulation model
- module
- 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.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/36—Circuit design at the analogue level
- G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/10—Numerical modelling
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Microelectronics & Electronic Packaging (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Debugging And Monitoring (AREA)
Abstract
The present invention provides a kind of data processing onboard emulation test methods of modelling, the problem of it is able to solve satellite attitude orbit control, the data processing section processing of Guidance And Navigation System is difficult to validity test, make Satellite attitude and orbit control, the data processing module of Guidance And Navigation System obtains expected expected result, the purpose tested for dynamic.
Description
Technical field
The present invention relates to satellite data processing emulation testing technology more particularly to a kind of data processing onboard of modelling are imitative
True test method.
Background technique
Data processing module is the important component of satellite model software systems, realizes the posture and track of satellite comprehensively
The various algorithms of control and satellite guidance and navigation feature, it is ensured that it is true that satellite meets pointing accuracy, stability, satellite orbit
Fixed and remote handover class, becomes the performance indicators such as rail opportunity at short range accompanying flying.The correctness that data processing module calculates, directly
It is related to the safety and reliability of entire satellite.
Satellite attitude orbit controls, the data processing section of Guidance And Navigation System has data collection capacity big and treating capacity
Big feature, blending algorithm is relative complex between data.In existing third party software assessment, for obtaining the expection of the part
Data processing expected result is all made of and manually calculates and write simple program to be calculated as a result, in this way it cannot be guaranteed that meter
The correctness for calculating result, affects software testing quality while also reducing Efficiency of Software Testing.
Satellite attitude orbit controls, the data processing section of Guidance And Navigation System is frequently subjected to the various shadows for controlling signals
It rings, different calculating process and different data processing compensation works is completed by the triggering of unlike signal.Data processing is also
It is related to data processing and the alarm function etc. of abnormal conditions.
Therefore the emulation test method that reliable and easy-to-use satellite data processing must be developed, for solving satellite data
The problem of processing is difficult to validity test.
Summary of the invention
The problem of being difficult to validity test the technical problem to be solved by the present invention is to satellite data processing.
In order to solve this technical problem, the present invention provides a kind of data processing onboard emulation testing sides of modelling
Method includes the following steps:
S0: the satellite attitude orbit control tested, the Guidance & Navigation software of different satellite models are provided；
S1: extracting the data processing module of software, and it is total to be divided into each ICBM SHF satellite terminal to data therein progress versatility
Some general modules and the exclusive particular module of each ICBM SHF satellite terminal, then:
For the general module, S2 is entered step；
For the particular module, S4 is entered step；
S2: analyzing the general module, and then carries out the foundation of corresponding data simulation model；
S3: correctness is carried out to the data simulation model that step S2 is obtained according to the data value or theoretical value actually used
Verifying, if passing through, is included into model library for the data simulation model；
S4: analyzing each particular module, and then carries out the modeling of corresponding data simulation model；
S5: verification of correctness is carried out to the data simulation model that step S4 is obtained according to theoretical value, if passing through, by the data
Simulation model is included into model library；
S6: software to be measured is provided；And data processing module is extracted from software to be measured；
S7: the extracted data of step S6 are directed to；
If there are corresponding data simulation models in the model library, it is imitative that corresponding data are chosen in the model library
True mode carries out emulation testing；
If corresponding data simulation model is not present in the model library, extremely according to extracted Data duplication step S2
S5 establishes corresponding data simulation model, then carries out emulation testing accordingly.
Optionally, in the step S2, further comprise:
The general module is analyzed, control amount therein and data volume are subjected to generalization processing, and then carry out
The design of bottom algorithm, then design obtains complete data simulation model based on bottom algorithm.
Optionally, in the step S2 and S4, further include information content is provided in data simulation model, control amount has
The feedback prompts of effect prompt and exception information.
Optionally, in the step S3 and S5, data simulation model is included into model library and is specifically included: by the source of model
Program, executable file, design documentation are included into the model library.
Optionally, in the step S7, the process for carrying out emulation testing further comprises:
The input value fetched according to simulation model is provided, obtains output valve after operation, using the output valve as test case
Desired output as a result, to design test case, then carry out dynamic test according to the test case.
The present invention is able to solve satellite attitude orbit control, the data processing section processing of Guidance And Navigation System has been difficult to
The problem of effect test, make Satellite attitude and orbit control, the data processing module of Guidance And Navigation System obtains expected expected result, for moving
The purpose of state test.
Furthermore, it is understood that the present invention provides complete satellite attitude orbit control, a guidance by step S2 to S6
The complete procedure established with the model library of navigation system software, while by being provided in step S7 to the repetition of step S2 and S6
The update condition and method of model library make the model library have ever-increasing ability, to adapt to Future Satellite model posture rail
Road control, the test job of Guidance And Navigation System software data processing part.
Detailed description of the invention
Fig. 1 is the process signal of the data processing onboard emulation test method modeled in an alternate embodiment of the present invention
Figure.
Specific embodiment
It is carried out below with reference to data processing onboard emulation test method of the Fig. 1 to modelling provided by the invention detailed
Description is optional embodiment of the present invention, it is believed that those skilled in the art are not changing spirit of that invention and content
In range, can it be modified and be polished.
The present invention provides a kind of data processing onboard emulation test methods of modelling, include the following steps:
S0: the satellite attitude orbit control tested, the Guidance & Navigation software of different satellite models are provided；
S1: extracting the data processing module of software, and it is total to be divided into each ICBM SHF satellite terminal to data therein progress versatility
Some general modules and the exclusive particular module of each ICBM SHF satellite terminal, then:
For the general module, S2 is entered step；
For the particular module, S4 is entered step；
Above procedure can regard as satellite model posture orbits controlling, Guidance & Navigation software data processing section mould
Block category division:
Firstly the need of to the previous satellite attitude orbit control by test, Guidance & Navigation software according to satellite model into
Row divides, next extracts respective data processing module, is divided finally by the comparison between module according to versatility,
Module common to multiple model satellites is divided into general module, is belonged to because particular satellite model completion particular task institute is exclusive
Module be divided into particular module.
Its successive step is further segmented, can be distinguished are as follows:
1) the satellite attitude orbit control tested in the past at assessment center, Guidance & Navigation software are obtained；
2) these softwares are divided according to the model of satellite；
3) data processing module of these model number softwares is extracted；
4) these modules are compared, are divided according to the versatility of module.Mark off used in model it is logical
With module and because satellite task and the particular module that has alone.
S2: analyzing the general module, and then carries out the foundation of corresponding data simulation model；
In the step S2, further comprise:
The general module is analyzed, control amount therein and data volume are subjected to generalization processing, and then carry out
The design of bottom algorithm, then design obtains complete data simulation model based on bottom algorithm.
In the step S2, further include provided in data simulation model information content, control amount it is effective prompt and
The feedback prompts of exception information.
S3: correctness is carried out to the data simulation model that step S2 is obtained according to the data value or theoretical value actually used
Verifying, if passing through, is included into model library for the data simulation model；
In the step S3, data simulation model is included into model library to specifically include: by the source program of model, is can be performed
File, design documentation are included into the model library.
Above step S2 and S3 can regard the verification of correctness of the foundation and model of model as:
Analyze general data module first, control amount and data volume be subjected to generalization processing, according to teaching material it is theoretical and
Relevant Spacecraft Control is theoretical, in combination with the design document data of software, carries out the design of bottom algorithm；Secondly, will
The underlying algorithm designed is packaged, and designs complete data simulation model upwards in turn, provide in a model information content,
Effective prompt of control amount and the feedback prompts of exception information.Finally, using previous data value used in practice or
Theoretical value verifies the correctness of model, and verifying is unacceptable to require to look up reason, and redesigns, until being correctly
Only.
S4: analyzing each particular module, and then carries out the modeling of corresponding data simulation model；
It further include providing information in data simulation model in the step S4 in optional embodiment of the present invention
Amount, effective prompt of control amount and the feedback prompts of exception information；
S5: verification of correctness is carried out to the data simulation model that step S4 is obtained according to theoretical value, if passing through, by the data
Simulation model is included into model library；
In optional embodiment of the present invention, in the step S5, data simulation model is included into model library and is specifically wrapped
It includes: the source program, executable file, design documentation of model is included into the model library.
Above step S4 and S5 can regard the verification of correctness of the foundation and model of model as:
Particular module is analyzed first, according to the design document data of software, carries out modelling；Secondly, giving in a model
Information content, effective prompt of control amount and the feedback prompts of exception information out.Finally, using theoretical value, to the correct of model
Property verified, verify it is unacceptable requires to look up reason, and redesign, until correct.
S6: software to be measured is provided；And data processing module is extracted from software to be measured；
S7: the extracted data of step S6 are directed to；
If there are corresponding data simulation models in the model library, it is imitative that corresponding data are chosen in the model library
True mode carries out emulation testing；
If corresponding data simulation model is not present in the model library, extremely according to extracted Data duplication step S2
S5 establishes corresponding data simulation model, then carries out emulation testing accordingly.
In the step S7, the process for carrying out emulation testing further comprises:
The input value fetched according to simulation model is provided, obtains output valve after operation, using the output valve as test case
Desired output as a result, to design test case, then carry out dynamic test according to the test case.
In other words, it in optinal plan of the present invention, will be included into model library by the model of verification of correctness first, model
It include the source program of model in library, the document of design process and theory that executable file and model are related to；Secondly,
When carrying out new software test, after the data processing module in new software is extracted, according to the module Selection Model extracted,
If do not had in model library, the method for step S2 to S6 carries out the foundation of model, so as to current versions and subsequent models
It uses；Finally, providing the input value of selected model, operation obtains output valve, using the output valve as the expection of test case
Expected result instructs case designing and dynamic to test.
In addition to this, in optional embodiment of the present invention, the data simulation model in model library is each equipped with for mutual
The interface mutually called.According to mutually situation being called to devise interface between different models, so as to the intercombination of model, to complete
Different functional tests.
As it can be seen that the present invention and its alternative embodiment provide complete satellite attitude orbit control, a Guidance & Navigation
The complete procedure that the model library of system software is established, while the update condition and method of model library are provided, have the model library
There is ever-increasing ability, to adapt to Future Satellite model posture orbits controlling, Guidance And Navigation System software data processing unit
The test job divided.
Required control amount and data volume have been subjected to generalization processing in model, and designed according to elder generation from the bottom,
The method successively encapsulated upwards carries out modelling, and basis mutually calls situation to devise interface between different models, so as to mould
The intercombination of type, to complete different functional tests.Provided in model library source program, executable file and with the mould
The associated documents of type, so as to the use of following model library developer and software test personnel.Information content, control are given in model
Effective prompt of amount processed and the feedback prompts of exception information, so as to the use of tester.
A kind of data processing onboard emulation test method of modelling provided by through the invention, can shorten Satellite Attitude
The testing time of state orbits controlling, Guidance & Navigation software data processing module improves testing efficiency and quality.
In conclusion the present invention is able to solve the data processing section of satellite attitude orbit control, Guidance And Navigation System
The problem of processing is difficult to validity test makes Satellite attitude and orbit control, the data processing module of Guidance And Navigation System obtains expected expectation
As a result, the purpose tested for dynamic.
Claims (6)
1. a kind of data processing onboard emulation test method of modelling, characterized by the following steps:
S0: the satellite attitude orbit control tested, the Guidance & Navigation software of different satellite models are provided；
S1: the data processing module of software is extracted, and versatility is carried out to data therein and is divided into what each ICBM SHF satellite terminal shared
General module and the exclusive particular module of each ICBM SHF satellite terminal, then:
For the general module, S2 is entered step；
For the particular module, S5 is entered step；
S2: analyzing the general module, and then carries out the foundation of corresponding data simulation model；
S3: correctness is carried out to the data simulation model that step S2 is obtained according to the data value or theoretical value actually used and is tested
Card, if passing through, is included into model library for the data simulation model；
S4: analyzing each particular module, and then carries out the modeling of corresponding data simulation model；
S5: verification of correctness is carried out to the data simulation model that step S4 is obtained according to theoretical value, if passing through, by the data simulation
Model is included into model library；
S6: software to be measured is provided；And data processing module is extracted from software to be measured；
S7: the extracted data of step S6 are directed to；
If there are corresponding data simulation models in the model library, corresponding data simulation mould is chosen in the model library
Type carries out emulation testing；
If corresponding data simulation model is not present in the model library, built according to extracted Data duplication step S2 to S5
Corresponding data simulation model is found, then carries out emulation testing accordingly.
2. the data processing onboard emulation test method modeled as described in claim 1, it is characterised in that: in the step
In S2, further comprise:
The general module is analyzed, control amount therein and data volume are subjected to generalization processing, and then carry out most bottom
The design of layer algorithm, then design obtains complete data simulation model based on bottom algorithm.
3. the data processing onboard emulation test method modeled as described in claim 1, it is characterised in that: in the step
It further include that information content, effective prompt of control amount and the feedback of exception information are provided in data simulation model in S2 and S4
Prompt.
4. the data processing onboard emulation test method modeled as described in claim 1, it is characterised in that: in the step
In S3 and S5, data simulation model is included into model library and is specifically included: by the source program, executable file and design documentation of model
It is included into the model library.
5. the data processing onboard emulation test method modeled as described in claim 1, it is characterised in that: in the step
In S7, the process for carrying out emulation testing further comprises:
The input value fetched according to simulation model is provided, obtains output valve after operation, using the output valve as the phase of test case
Output is hoped as a result, then carrying out dynamic test according to the test case to design test case.
6. the data processing onboard emulation test method modeled as described in claim 1, it is characterised in that: in model library
The interface that data simulation model is each equipped with for calling mutually.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510856898.7A CN105512372B (en) | 2015-11-30 | 2015-11-30 | The data processing onboard emulation test method of modelling |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510856898.7A CN105512372B (en) | 2015-11-30 | 2015-11-30 | The data processing onboard emulation test method of modelling |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN105512372A CN105512372A (en) | 2016-04-20 |
| CN105512372B true CN105512372B (en) | 2019-01-11 |
Family
ID=55720352
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201510856898.7A Active CN105512372B (en) | 2015-11-30 | 2015-11-30 | The data processing onboard emulation test method of modelling |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN105512372B (en) |
Families Citing this family (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106202681A (en) * | 2016-07-04 | 2016-12-07 | 北京空间飞行器总体设计部 | Reusable satellite power supply energy balance analogue system and modeling method thereof |
| CN108512590B (en) * | 2018-03-23 | 2020-08-14 | 中国空间技术研究院 | Joint test system of satellite attitude and orbit control subsystem and GNSS subsystem |
| CN109945892B (en) * | 2019-03-15 | 2021-02-19 | 北京航空航天大学 | Online testing method for complex algorithm requirements of inertial navigation system |
| CN114326437B (en) * | 2021-12-29 | 2024-01-16 | 北京微纳星空科技有限公司 | Satellite flight control simulation method and device, electronic equipment and storage medium |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20100042380A1 (en) * | 2008-08-13 | 2010-02-18 | Postech Academy-Industry Foundation | Cad/cae system and method for designing and analyzing ubiquitous systems |
| CN103279122A (en) * | 2013-05-14 | 2013-09-04 | 北京控制工程研究所 | Method for constructing testing environment of satellite control system |
| CN104267714A (en) * | 2014-09-10 | 2015-01-07 | 航天东方红卫星有限公司 | Satellite attitude track control test system and method |
-
2015
- 2015-11-30 CN CN201510856898.7A patent/CN105512372B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20100042380A1 (en) * | 2008-08-13 | 2010-02-18 | Postech Academy-Industry Foundation | Cad/cae system and method for designing and analyzing ubiquitous systems |
| CN103279122A (en) * | 2013-05-14 | 2013-09-04 | 北京控制工程研究所 | Method for constructing testing environment of satellite control system |
| CN104267714A (en) * | 2014-09-10 | 2015-01-07 | 航天东方红卫星有限公司 | Satellite attitude track control test system and method |
Non-Patent Citations (2)
| Title |
|---|
| 基于想定的航天器控制系统仿真技术;闫磊;《中国优秀硕士学位论文全文数据库 工程科技Ⅱ辑》;20120515(第05期);第C031-187页 |
| 星载控制软件通用测试平台的研究与设计;王振华;《中国优秀硕士学位论文全文数据库 信息科技辑》;20140715(第07期);第I138-363页 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN105512372A (en) | 2016-04-20 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN105512372B (en) | The data processing onboard emulation test method of modelling | |
| CN105159281B (en) | FPGA single particle overturns fault simulation test system and method | |
| CN108984403A (en) | The verification method and device of FPGA logical code | |
| CN111190820A (en) | Construction method and test method of configuration item test platform of display control software | |
| US20180276321A1 (en) | Method and apparatus for testing design of satellite wiring harness and signal processing units | |
| CN109710247A (en) | A kind of flying-controlled box based on model fast implements platform | |
| US11789077B2 (en) | Single-pass diagnosis for multiple chain defects | |
| Jung et al. | Development of field programmable gate array-based reactor trip functions using systems engineering approach | |
| Gielen et al. | Review of methodologies for pre-and post-silicon analog verification in mixed-signal SOCs | |
| CN116069635A (en) | SOC system testing method and device, computer equipment and storage medium | |
| US9404972B2 (en) | Diagnosis and debug with truncated simulation | |
| US20220012397A1 (en) | Automated assisted circuit validation | |
| CN111459049A (en) | Semi-physical simulation method and system | |
| Cuckov et al. | Framework for model-based design and verification of human-in-the-loop cyber-physical systems | |
| Kim | Test driven mobile applications development | |
| CN116802640A (en) | Structural analysis for determining fault type in safety-related logic | |
| CN115033471A (en) | Method and system for automatically generating integrated test program by using system test program | |
| US10586014B1 (en) | Method and system for verification using combined verification data | |
| EP3734491A1 (en) | Method, apparatus, device, and medium for implementing simulator | |
| CN106407056B (en) | The detection repair system and method for the programmable computing unit of Technology for Spatial Information System processing | |
| Kum et al. | Automated testing for automotive embedded systems | |
| RU2817185C1 (en) | Method of confirming tests of embedded software of electronic devices | |
| CN111752823A (en) | Method, device and equipment for testing vehicle-mounted power supply application software | |
| RU2780458C1 (en) | Method for functional testing of software of electronic apparatus | |
| RU2764837C1 (en) | Method for testing computing devices of spacecraft control systems |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C41 | Transfer of patent application or patent right or utility model | ||
| TA01 | Transfer of patent application right |
Effective date of registration: 20170104 Address after: 200050 Anhua Road, Shanghai, No. 492, No. Applicant after: SHANGHAI AEROSPACE COMPUTER TECHNOLOGY INSTITUTE Address before: 200080 Shanghai city Hongkou District street Xingang Tianbao Road No. 881 Applicant before: Shanghai Aerospace Measurement Control Communication Institute |
|
| GR01 | Patent grant | ||
| GR01 | Patent grant |