CN108062275A - A kind of avionics system MBSE model automatic test approach - Google Patents
A kind of avionics system MBSE model automatic test approach Download PDFInfo
- Publication number
- CN108062275A CN108062275A CN201711123376.1A CN201711123376A CN108062275A CN 108062275 A CN108062275 A CN 108062275A CN 201711123376 A CN201711123376 A CN 201711123376A CN 108062275 A CN108062275 A CN 108062275A
- Authority
- CN
- China
- Prior art keywords
- mbse
- test
- model
- test case
- stateflow
- 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
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
Abstract
The invention discloses a kind of avionics system MBSE model automatic test approach.The avionics system MBSE model automatic test approach includes:Step 1:The computer of connecting test use-case computer and the tested model of operation;Step 2:Test case is write, the test case includes multiple test case branches;Step 3:Any one test case branch is run, monitors MBSE models, the response of collection model;Step 4:The current state of system model is passed to Stateflow figures by UDP, current state and the state in Stateflow figures of Stateflow figure automatic decision measurands enter regular whether consistent;Step 5:Judge that can the judging result that obtained in the step 4 automatically into other test case branches;Step 6:Repeating said steps 3 are to step 5, until all test case branches were run, so as to obtain test report.The avionics system MBSE models automatic test approach of the application can realize testing avionics system MBSE models for automation, and final output report file.
Description
Technical field
The present invention relates to the automatic test application technical field of avionics system, more particularly to a kind of avionics system MBSE models
Automatic test approach.
Background technology
In the test of aircraft avionics system, it is related to much by event, periodic message message, as to avionics system
Excitation.In the automatic test for carrying out avionics system, how to encourage these event informations and the response of system judged,
The problem of different operations responded so as to carry out next step according to system are very common.With the system engineering based on model
(MBSE) design method is unfolded, and there is an urgent need for a kind of automatic test approach that can be combined with the system engineering based on model.
Thus, it is desirable to have a kind of technical solution is come at least one drawbacks described above for overcoming or at least mitigating the prior art.
The content of the invention
It is an object of the invention to provide a kind of avionics system MBSE models automatic test approach to overcome or at least mitigate
At least one drawbacks described above of the prior art.
To achieve the above object, the present invention provides a kind of avionics system MBSE model automatic test approach, for testing
MBSE models, the avionics system MBSE model automatic test approach include:
Step 1:The computer of connecting test use-case computer and the tested model of operation, it is initial to be tested in the computer of model
MBSE models, udp data can be normally received by ensureing the computer of tested model;
Step 2:Test case is write, the test case includes multiple test case branches;By each shape of tested model
What state was converted into state in StateFlow figures redirects criterion, and measurand is respectively redirected criterion as each defeated of test case
It does well, ensures that Stateflow normally receives UDP message;
Step 3:Any one test case branch is run, monitors MBSE models, the response of collection model;
Step 4:The current state of system model is passed to Stateflow figures, Stateflow figure automatic decisions by UDP
Whether the current state of measurand and the state in Stateflow figures enter rule consistent, if so, step 5 is carried out, if
No, then system mistake terminates test;
Step 5:Judge the judging result obtained in the step 4 can automatically into other test case branches, if can,
Then automatically into other test case branches that can enter, and repeating said steps 4;If it is not, it then carries out in next step;
Step 6:Repeating said steps 3 are to step 5, until all test case branches were run, so as to be surveyed
Examination report.
Preferably, the state for the MBSE models that the test case in the step 2 can be to be measured described in all standing.
The avionics system MBSE models automatic test approach of the application can realize automation to avionics system MBSE models
It is tested, and final output report file.Test system by gathering the state of avionics system, by its in test case
Condition is redirected as a comparison, the criterion redirected using comparative result as each step of test case, is finally traveled through entire test and used
Example.
Description of the drawings
Fig. 1 is the flow diagram of the avionics system MBSE model automatic test approach of one embodiment of the application.
Specific embodiment
To make the purpose, technical scheme and advantage that the present invention is implemented clearer, below in conjunction in the embodiment of the present invention
Attached drawing, the technical solution in the embodiment of the present invention is further described in more detail.In the accompanying drawings, identical from beginning to end or class
As label represent same or similar element or there is same or like element.Described embodiment is the present invention
Part of the embodiment, instead of all the embodiments.The embodiments described below with reference to the accompanying drawings are exemplary, it is intended to use
It is of the invention in explaining, and be not considered as limiting the invention.Based on the embodiments of the present invention, ordinary skill people
Member's all other embodiments obtained without creative efforts, belong to the scope of protection of the invention.Under
Face is described in detail the embodiment of the present invention with reference to attached drawing.
In the description of the present invention, it is to be understood that term " " center ", " longitudinal direction ", " transverse direction ", "front", "rear",
The orientation or position relationship of the instructions such as "left", "right", " vertical ", " level ", " top ", " bottom " " interior ", " outer " is based on attached drawing institutes
The orientation or position relationship shown is for only for ease of the description present invention and simplifies description rather than instruction or imply signified dress
It puts or element must have specific orientation, with specific azimuth configuration and operation, therefore it is not intended that the present invention is protected
The limitation of scope.
Fig. 1 is the flow diagram of the avionics system MBSE model automatic test approach of one embodiment of the application.
Avionics system MBSE model automatic test approach as shown in Figure 1, for testing MBSE models, the avionics system
MBSE model automatic test approach includes:
Step 1:The computer of connecting test use-case computer and the tested model of operation, it is initial to be tested in the computer of model
MBSE models, udp data can be normally received by ensureing the computer of tested model;
Step 2:Test case is write, the test case includes multiple test case branches;By each shape of tested model
State (state here refers to the various states of system under test (SUT), is determined according to the model of system under test (SUT)) is converted into StateFlow figures
Middle state redirects criterion, and measurand is respectively redirected each output state of the criterion as test case, ensures Stateflow
Normally receive UDP message;
Step 3:Any one test case branch is run, monitors MBSE models, the response of collection model;
Step 4:The current state of system model is passed to Stateflow figures, Stateflow figure automatic decisions by UDP
Whether the current state of measurand and the state in Stateflow figures enter rule consistent, if so, step 5 is carried out, if
No, then system mistake terminates test;
Step 5:Can the judging result that obtained in judgment step 4 automatically into other test case branches, if energy, certainly
It is dynamic to enter other test case branches that enter, and repeating said steps 4;If it is not, it then carries out in next step;
Step 6:Step 3 is repeated to step 5, until all test case branches were run, so as to obtain test report
It accuses.
In the present embodiment, the state for the MBSE models that the test case in step 2 can be to be measured described in all standing.
The avionics system MBSE models automatic test approach of the application can realize automation to avionics system MBSE models
It is tested, and final output report file.Test system by gathering the state of avionics system, by its in test case
Condition is redirected as a comparison, the criterion redirected using comparative result as each step of test case, is finally traveled through entire test and used
Example.
It is last it is to be noted that:The above embodiments are merely illustrative of the technical solutions of the present invention, rather than its limitations.To the greatest extent
Pipe is with reference to the foregoing embodiments described in detail the present invention, it will be understood by those of ordinary skill in the art that:It is still
It can modify to the technical solution recorded in foregoing embodiments or which part technical characteristic is equally replaced
It changes;And these modifications or replacement, the essence of appropriate technical solution is not made to depart from the essence of various embodiments of the present invention technical solution
God and scope.
Claims (2)
- A kind of 1. avionics system MBSE model automatic test approach, for testing MBSE models, which is characterized in that the avionics system System MBSE model automatic test approach includes:Step 1:The computer of connecting test use-case computer and the tested model of operation, it is initial to be tested in the computer of model MBSE models, udp data can be normally received by ensureing the computer of tested model;Step 2:Test case is write, the test case includes multiple test case branches;Each state of tested model is turned Turn to state in StateFlow figures redirects criterion, and measurand is respectively redirected each output shape of the criterion as test case State ensures that Stateflow normally receives UDP message;Step 3:Any one test case branch is run, monitors MBSE models, the response of collection model;Step 4:The current state of system model is passed to Stateflow figures by UDP, Stateflow figure automatic decisions are tested Whether the current state of object and the state in Stateflow figures enter rule consistent, if so, step 5 is carried out, if it is not, then System mistake terminates test;Step 5:Judge that can the judging result that obtained in the step 4 automatically into other test case branches, if energy, certainly It is dynamic to enter other test case branches that enter, and repeating said steps 4;If it is not, it then carries out in next step;Step 6:Repeating said steps 3 are to step 5, until all test case branches were run, so as to obtain test report It accuses.
- 2. avionics system MBSE model automatic test approach as described in claim 1, which is characterized in that in the step 2 Test case can be to be measured described in all standing MBSE models state.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201711123376.1A CN108062275A (en) | 2017-11-14 | 2017-11-14 | A kind of avionics system MBSE model automatic test approach |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201711123376.1A CN108062275A (en) | 2017-11-14 | 2017-11-14 | A kind of avionics system MBSE model automatic test approach |
Publications (1)
Publication Number | Publication Date |
---|---|
CN108062275A true CN108062275A (en) | 2018-05-22 |
Family
ID=62134860
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201711123376.1A Pending CN108062275A (en) | 2017-11-14 | 2017-11-14 | A kind of avionics system MBSE model automatic test approach |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN108062275A (en) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108984390A (en) * | 2018-06-04 | 2018-12-11 | 卡斯柯信号有限公司 | For the automatic test general framework of signal system off-line tools and its application |
CN116186019A (en) * | 2023-04-27 | 2023-05-30 | 西安凯锐测控科技有限公司 | Function integrated intelligent analysis method and device applied to civil aircraft avionics system |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102270253A (en) * | 2011-06-15 | 2011-12-07 | 北京航空航天大学 | Built-in test modeling simulation method based on state diagram |
US20140122028A1 (en) * | 2012-10-28 | 2014-05-01 | The Mathworks, Inc | Self-testing graphical component algorithm specification |
CN106971038A (en) * | 2017-03-22 | 2017-07-21 | 南京航空航天大学 | Aviation electronics Schema control consistency verification method based on Coq |
CN107066382A (en) * | 2017-03-09 | 2017-08-18 | 北京航空航天大学 | A kind of Space Vehicle System automated testing method based on model |
-
2017
- 2017-11-14 CN CN201711123376.1A patent/CN108062275A/en active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102270253A (en) * | 2011-06-15 | 2011-12-07 | 北京航空航天大学 | Built-in test modeling simulation method based on state diagram |
US20140122028A1 (en) * | 2012-10-28 | 2014-05-01 | The Mathworks, Inc | Self-testing graphical component algorithm specification |
CN107066382A (en) * | 2017-03-09 | 2017-08-18 | 北京航空航天大学 | A kind of Space Vehicle System automated testing method based on model |
CN106971038A (en) * | 2017-03-22 | 2017-07-21 | 南京航空航天大学 | Aviation electronics Schema control consistency verification method based on Coq |
Non-Patent Citations (1)
Title |
---|
马波,孙绍,梁庆,唐勇: "《MBSE在飞行控制系统设计中的研究与应用》", 《中国航空报》 * |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108984390A (en) * | 2018-06-04 | 2018-12-11 | 卡斯柯信号有限公司 | For the automatic test general framework of signal system off-line tools and its application |
CN108984390B (en) * | 2018-06-04 | 2022-08-30 | 卡斯柯信号有限公司 | Universal automatic test framework for signal system off-line tool and application thereof |
CN116186019A (en) * | 2023-04-27 | 2023-05-30 | 西安凯锐测控科技有限公司 | Function integrated intelligent analysis method and device applied to civil aircraft avionics system |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106296861A (en) | Night watching recording method, device and system | |
CN104301184A (en) | Link health checking method and device | |
CN104243490A (en) | Method and device for identifying pseudo wireless network access point and mobile terminal | |
CN110212617A (en) | Power supply adaptor, terminal and the method for handling charge circuit impedance exception | |
CN105847237A (en) | Safety management method and device based on NFV (Network Function Virtualization) | |
CN108062275A (en) | A kind of avionics system MBSE model automatic test approach | |
CN109800040A (en) | A kind of diagnostic program interface display method, device and vehicle diagnostic equipment | |
CN105809942A (en) | Data processing method and device for electricity information collection system | |
CN108052094A (en) | A kind of extension card identification method, device and frequency converter | |
CN105068935A (en) | Method and device for processing software test result | |
CN106454847A (en) | Method and device for detecting phishing risk of public WiFi | |
CN108023905A (en) | Internet of things application system and method | |
CN106940648A (en) | A kind of method, equipment and the test system of automatic loading test item | |
CN104007973A (en) | Method and platform for data interaction between systems | |
CN109684221A (en) | Test code coverage acquisition method, system, equipment and medium | |
CN110009473B (en) | Data processing method, device, equipment and storage medium | |
CN105553717B (en) | Call center and its monitoring system | |
CN104182324B (en) | A kind of exhibiting method and equipment of progress bar of voting | |
CN103632099A (en) | Underived Native API function acquiring method and device | |
CN106405277A (en) | Test device of main processing unit of nuclear power station protection system and test method | |
CN116302989A (en) | Pressure testing method and system, storage medium and computer equipment | |
CN110324221A (en) | Support device, computer readable storage medium, setting method | |
CN104579745A (en) | Mobile terminal and network inspection system | |
CN109120068A (en) | Substation secondary device configures the online monitoring method of operating process, device and system | |
CN105553815B (en) | A kind of application recommended method and user terminal |
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: 20180522 |
|
RJ01 | Rejection of invention patent application after publication |