CN114595143B - Embedded test credibility detection and verification method and system for aviation communication electronic system - Google Patents
Embedded test credibility detection and verification method and system for aviation communication electronic system Download PDFInfo
- Publication number
- CN114595143B CN114595143B CN202210154505.8A CN202210154505A CN114595143B CN 114595143 B CN114595143 B CN 114595143B CN 202210154505 A CN202210154505 A CN 202210154505A CN 114595143 B CN114595143 B CN 114595143B
- Authority
- CN
- China
- Prior art keywords
- detection
- test
- verification
- binary tree
- embedded
- 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
Images
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/3676—Test management for coverage analysis
-
- 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/3684—Test management for test design, e.g. generating new test cases
-
- 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/02—Knowledge representation; Symbolic representation
- G06N5/022—Knowledge engineering; Knowledge acquisition
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Computational Linguistics (AREA)
- Artificial Intelligence (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
- Maintenance And Management Of Digital Transmission (AREA)
Abstract
The invention relates to the technical field of reliable detection and verification of an avionic electronic system, and discloses a reliable detection and verification method and a reliable detection and verification system for an embedded test of the avionic electronic system, wherein the reliable detection and verification method comprises the following steps: s1, constructing an expert knowledge base: constructing an automatic detection expert knowledge base; s2, constructing a binary tree flow node: constructing and forming a binary tree flow node by using expert test experience of functional self-checking of different objects to be tested through an automatic detection expert knowledge base; s3, test sequence construction: constructing a test sequence of test operation; s4, testing and credible detection and verification: and the relation association between the binary tree construction flow node and the test sequence of the test operation is realized through the inference engine, a test credible detection flow is automatically generated, and the embedded test required by completing the embedded test credible detection is automatically executed. The invention solves the problems of lack of embedded test credibility verification, low credibility detection verification automation degree and the like in the prior art.
Description
Technical Field
The invention relates to the technical field of reliable detection and verification of an avionic electronic system, in particular to an embedded test reliable detection and verification method and system of the avionic electronic system.
Background
The aviation communication electronic system is an important component subsystem of the aviation aircraft, and often has various functions of flight control, navigation, communication and the like according to the service requirements of the aviation aircraft through a layered distributed architecture system of a standard bus. The embedded test of the avionic electronic system aims at potential fault modes of all functional modules in the avionic electronic system, test points are added into functional module circuits through the testability analysis of the functional modules, an embedded test circuit is designed, a function of collecting signals required by the test points through the embedded test circuit to perform data analysis or threshold judgment under required test time is formed, and the self-monitoring capability of taking the functional modules as fault isolation objects in the avionic electronic system is realized.
As the functions of the avionic mission system are increased, the avionic mission electronic system adopts a generalized platform design, so that the types of system faults are more and more, and the design and analysis judgment of the embedded test circuit are more and more complex. Thus, there are often cases where embedded testing of current avionics systems is not trusted. The embedded test of the avionic system is unreliable, which means that false alarm, missing detection and false detection exist accidentally in the operation process of the avionic system: false alarms are false alarms of embedded test circuits in a normal system function state; the missing detection means that the embedded test circuit does not report the fault under the state that the system function is abnormal; the false detection is that the embedded test circuit incorrectly gives out detection and isolation conclusion under the state of abnormal system function. The occurrence of the three conditions causes great trouble for the execution of flight tasks and the troubleshooting of external fields, and therefore whether the embedded test of the aviation communication electronic system under the generalized platform design is credible or not needs to be detected and verified to judge whether the aviation communication electronic system has false alarm, omission and false detection. However, the integrated design mode of the embedded test circuit and the functional circuit of the system makes it difficult for a tester to quickly test the embedded test circuit of the system from the outside to judge whether the test result is credible; meanwhile, considering that the functions of the aviation communication electronic system are complex, once the functions of the aviation communication electronic system are failed, each module of the functional link is affected, and large-area unreliable alarm occurs, so that the conditions of false alarm, missing detection and false detection are more difficult to analyze, and whether the embedded test is unreliable or not can be accurately judged by carrying out test verification and gradual analysis on the functional link. Therefore, there is an urgent need to overcome the above-mentioned problems to solve the requirements of the embedded test reliability detection verification of the avionic electronic system.
The embedded test credibility detection and verification of the existing avionic electronic system mainly has the following two defects.
One is the lack of embedded test confidence verification methods. The embedded test detection verification of the current aviation communication electronic system is mainly towards the verification of embedded monitoring or diagnosis capability, and is the focus of the invention for the fact that the phenomena of false alarm, missing detection and false detection cannot be reproduced to cause the method to be missing and the embedded test credibility detection verification requirement of the current aviation communication electronic system cannot be met.
And secondly, the reliability detection verification has low automation degree. The current embedded test reliability detection and verification of the aviation communication electronic system mainly adopts a manual test analysis method aiming at the functional module, namely, the difference between the functional failure phenomenon and the normal phenomenon of the functional module is analyzed through the test of a tester, the failure information of the embedded test is compared, and whether the embedded test is reliable or not is judged by combining with human experience. The method improves the automation degree of the embedded test credible detection verification, thereby improving the detection verification efficiency.
Disclosure of Invention
In order to overcome the defects of the prior art, the invention provides an embedded test credibility detection and verification method and system for an aviation communication electronic system, which solve the problems of lack of embedded test credibility verification, low credibility detection and verification automation degree and the like in the prior art.
The invention solves the problems by adopting the following technical scheme:
the embedded test credibility detection and verification method of the aviation communication electronic system comprises the following steps:
s1, constructing an expert knowledge base: constructing an automatic detection expert knowledge base;
s2, constructing a binary tree flow node: constructing and forming a binary tree flow node by using expert test experience of functional self-checking of different objects to be tested through an automatic detection expert knowledge base;
s3, test sequence construction: constructing a test sequence of test operation;
s4, testing and credible detection and verification: and the relation association between the binary tree construction flow node and the test sequence of the test operation is realized through the inference engine, a test credible detection flow is automatically generated, and the embedded test required by completing the embedded test credible detection is automatically executed.
As a preferred technical solution, in step S1, an automatic detection expert knowledge base including the following knowledge is constructed: detecting target knowledge for describing composition knowledge of the detected avionics communication system product; the detection logic knowledge is used for describing various detection flows required by the embedded test credibility detection of the aviation communication electronic system; detection operation knowledge for describing various non-BIT test means in the process of performing embedded test trusted detection verification; and/or; and the diagnosis conclusion knowledge is used for describing conclusion output of one-time automatic detection.
In step S1, the detection logic knowledge uses a binary tree as a knowledge interpretation means, the binary tree uses a functional failure as a top event, and the binary tree is used as a detection start to correlate the detected object; the test operation is used as an intermediate event, and the detection flow is associated; and taking the detection result as a basic event, and correlating the detection result with an output conclusion.
As a preferred technical solution, in step S4, automatically executing the embedded test required for completing the trusted detection of the embedded test includes: and (5) basic detection verification and updating knowledge base detection verification.
As a preferred technical solution, the performing of the basic detection verification comprises the following steps:
s411, determining an object: searching corresponding target knowledge in the detected target knowledge according to the product to be verified and the fault performance;
s412, determination logic: searching a matched binary tree in the detection logic knowledge according to the determined object information, and determining the binary tree as corresponding detection logic;
s413, inference engine driving: analyzing the binary tree through the inference engine, calling a corresponding test TP to execute operation according to the test operation in the binary tree, continuously calling the next test operation in the binary tree according to the operation result and the trend of the binary tree, and repeating the steps until the binary tree operates to a basic event, and ending the detection flow;
s414, outputting a conclusion: and matching the corresponding fault diagnosis conclusion in the diagnosis conclusion knowledge according to the basic event acquired in the step S413.
As a preferred technical solution, the execution of the detection verification of the updated knowledge base includes the following steps:
s421, iterating the new binary tree: when the existing detection logic cannot acquire a reasonable reliable detection verification result or unknown faults cannot accurately complete self-detection, a new binary tree is constructed, the monitoring flow of the problems manually solved by means of the binary tree is expressed, detection logic knowledge is input, and the update of the detection logic knowledge is completed;
s422, iterating the new conclusion: when the existing detection logic cannot acquire a reasonable reliable detection verification result or unknown faults cannot accurately complete self-detection, inputting new conclusions obtained by manually solving the problems into diagnosis conclusion knowledge, and completing updating of the diagnosis conclusion knowledge.
As a preferred technical solution, in step S4, the step of automatically executing the embedded test required for completing the trusted detection of the embedded test further includes the steps of:
s431, false alarm verification: executing a detection flow, judging whether the detection is a fault: if the false alarm is not reported, the false alarm exists in the embedded test, and the false alarm verification is completed; if yes, the possible unknown faults are checked manually, and the automatic detection expert knowledge base is updated according to the check result.
As a preferred technical solution, in step S4, the step of automatically executing the embedded test required for completing the trusted detection of the embedded test further includes the steps of:
s441, false detection verification: executing a detection flow, and checking whether the detection result is consistent with the embedded test result after the completion of the test: if the detection results are inconsistent, false detection may exist in the BIT, at the moment, the fault is eliminated according to the detection results, if the function is normal after the fault elimination is finished, the existence of missed detection is determined, and the missed detection verification is finished; if the detection results are consistent, the unknown faults can be manually checked, and the automatic detection expert knowledge base is selectively updated according to the check results, so that the follow-up detection verification capability is improved. If the troubleshooting result is consistent with the BIT, but the function is still abnormal after troubleshooting, the existence of missed detection is determined, the possible unknown faults are manually checked, and the automatic detection expert knowledge base is selectively updated according to the checking result.
As a preferred technical solution, in step S4, the step of automatically executing the embedded test required for completing the trusted detection of the embedded test further includes the steps of:
s451, missing detection verification: executing a detection flow, judging whether the detection is a fault: if the fault is reported, judging that the embedded test has missed detection, carrying out fault elimination according to the detection result, judging whether the fault is normal or not after the fault elimination, if the fault is normal, completing verification, if the fault is abnormal, determining that the embedded test has missed detection, carrying out manual inspection on unknown faults possibly existing, and selectively updating an automatic detection expert knowledge base according to the inspection result; if the detection result is not reported, the unknown faults possibly existing are manually checked, and the automatic detection expert knowledge base is selectively updated according to the checking result.
The embedded test credibility detection and verification system of the avionic electronic system is characterized by comprising the following modules which are electrically connected in sequence:
expert knowledge base construction module: the method is used for constructing an automatic detection expert knowledge base;
the binary tree flow node construction module: the method comprises the steps of constructing and forming a binary tree flow node by using expert test experiences of functional self-inspection of different objects to be tested through an automatic detection expert knowledge base;
the test sequence construction module: a test sequence for constructing a test operation;
and the test credibility detection and verification module: the method is used for realizing relation association between binary tree construction flow nodes and test sequences of test operation through an inference engine, automatically generating a test credible detection flow, and automatically executing embedded tests required by completing the embedded test credible detection.
Compared with the prior art, the invention has the following beneficial effects:
(1) According to the invention, the dependence of professional knowledge of personnel is reduced through accessing binary tree in the expert knowledge base, automatic detection is realized through the inference engine, the detection analysis efficiency is remarkably improved, and the case accumulation capacity for solving the unknown faults and unknown embedded test credibility problem is improved through the iterative capacity of the knowledge base;
(2) According to the invention, the original BIT test means is replaced by a plurality of functional detection means, all communication function association modules are covered by functional link detection, and various embedded test unreliable analysis problems are solved by analysis of false alarm, omission and false detection, so that the method for covering the communication function links and meeting various test reliable detection and verification requirements is realized;
(3) Compared with the traditional method for checking and analyzing whether the embedded test is credible by manually performing avionic system detection, the embedded test credible detection verification method relies on experience to check and analyze whether the embedded test is credible step by step; analyzing the binary tree through an inference engine, and realizing automatic generation of a detection flow; by monitoring the association relation between the flow and the detection operation, the automatic execution of the flow is realized;
(4) The invention covers various testing means for replacing the original embedded test in operation, covers all communication function association modules in function by functional link test, and covers various conditions of false alarm, false omission and false detection from un-trusted reasons, thereby realizing the embedded test trusted detection of the aviation communication electronic system from each dimension of the testing means, the function and the un-trusted reasons.
Drawings
FIG. 1 is a schematic diagram of steps of an embedded test trust detection verification method for an avionic system according to the present invention;
FIG. 2 is a schematic diagram of an embedded test trust detection verification system for an avionic system in accordance with the present invention;
FIG. 3 is a flow chart of an expert knowledge embedded test confidence automatic detection method in accordance with a preferred embodiment of the present invention;
FIG. 4 is a flow chart of false alarm, missed detection and false detection analysis based on communication function link detection in accordance with a preferred embodiment of the present invention;
FIG. 5 is a schematic diagram of a test report process according to a preferred embodiment of the present invention;
FIG. 6 is one of the partial enlarged views of FIG. 3;
FIG. 7 is a second enlarged view of a portion of FIG. 3;
FIG. 8 is one of the partial enlarged views of FIG. 4;
FIG. 9 is a second enlarged view of a portion of FIG. 4;
FIG. 10 is one of the partial enlarged views of FIG. 5;
FIG. 11 is a second enlarged view of a portion of FIG. 5;
FIG. 12 is a third enlarged view of a portion of FIG. 5;
fig. 13 is a fourth partial enlarged view of fig. 5.
Detailed Description
The present invention will be described in further detail with reference to examples and drawings, but embodiments of the present invention are not limited thereto.
Example 1
As shown in fig. 1 to 13, in order to solve the above problem of the embedded test credibility test verification in the avionic system, the invention aims to improve the automation degree and increase the test verification efficiency by taking whether the embedded test of the avionic system is credible as a detection verification object, and designs an efficient embedded test credibility test verification method for the avionic system.
The invention aims to solve the problem of reliable detection and verification of the embedded test of the existing avionic system, and provides a high-efficiency reliable detection and verification method of the embedded test of the avionic system, which can realize automatic detection flow and analysis and verification of false alarm, missing detection and false detection.
The above object of the present invention can be achieved by the following measures, which are included in an embedded test trust detection and verification method for an avionic electronic system: an expert knowledge embedded test credibility automatic detection method; a false alarm, omission and false detection analysis method based on communication function link detection.
The automatic detection method for the embedded test reliability of the expert knowledge avionics system comprises the steps of firstly, constructing an automatic detection expert knowledge base, constructing expert test experiences of functional self-detection of different objects to be tested into a binary tree through the expert knowledge base, then, establishing test sequences of various test operations of the functions, and finally, realizing relation association between nodes of the binary tree construction process and the test operations through an inference engine, thereby realizing automatic generation and execution of the reliable detection process.
The false alarm, omission and false detection analysis method based on communication function link detection is mainly characterized in that on the basis of realizing automatic detection by using an expert knowledge avionics system embedded test credibility automatic detection method, the original BIT test means are replaced by using various system function detection means, then the analysis of false alarm, omission and false detection is gradually realized by comparing functional phenomena with functional detection results, and finally the embedded test credibility detection verification analysis of the avionics system is realized.
Compared with the existing embedded test credibility detection and verification method of the aviation communication electronic system, the invention has the following beneficial effects:
the core of the automatic detection method for the embedded test reliability of the expert knowledge aviation communication electronic system is to construct an automatic detection expert knowledge base, design and construct a binary tree description detection flow by the expert knowledge base and the embedded test reliability detection flow which is more complicated depending on human experience, correlate various test sequences for replacing the embedded test by an inference engine, automatically and efficiently generate the test reliability detection flow, and automatically execute the embedded test replacing manual detection means required by completing the embedded test reliability detection. According to the method, the dependence of professional knowledge of personnel is relieved through access of binary trees in the expert knowledge base, automatic detection is achieved through the inference engine, the detection analysis efficiency is remarkably improved, and the case accumulation capacity for solving the unknown faults and the unknown embedded test credible problems is improved through the iterative capacity of the knowledge base.
The false alarm, omission and false detection analysis method based on the communication function link detection provided by the invention replaces the original BIT test means by a plurality of function detection means, covers all communication function association modules by the function link detection, solves various embedded test unreliable analysis problems by the analysis of the false alarm, omission and false detection, thereby realizing the method for covering the communication function link and meeting various test reliable detection verification requirements.
The invention can be used for:
1. compared with the traditional method for manually detecting the avionics system and checking and analyzing whether the embedded test is credible step by relying on experience, the embedded test credible detection verification method realizes the formation of the embedded credible automatic detection capability of the avionics system by constructing an expert knowledge base and introducing a binary tree and an inference engine; analyzing the binary tree through an inference engine, and realizing automatic generation of a detection flow; by monitoring the association relation between the flow and the detection operation, the automatic execution of the flow is realized.
2. The invention is characterized in that the invention is used for functionally covering all communication function association modules through functional link test, and covering various conditions of false alarm, false omission and false detection from un-trusted reasons, thereby realizing the embedded test trusted detection of the aviation communication electronic system from each dimension of the test means, the functions and the un-trusted reasons.
Example 2
As further optimization of embodiment 1, this embodiment includes all the technical features of embodiment 1, as shown in fig. 1 to 13, and in addition, this embodiment further includes the following technical features:
the expert knowledge embedded test credibility automatic detection method realizes the expert knowledge aviation communication electronic system embedded test credibility automatic detection method, and the first core of the method is to construct an automatic detection expert knowledge base.
The automated inspection expert knowledge base consists of the following:
1. and detecting target knowledge, wherein the target knowledge mainly describes the composition knowledge of the detected avionics communication system product, and comprises product names, product functions, module names and composition relations of the product, the functions and the modules.
2. And detecting logic knowledge, wherein the detecting logic knowledge covers various detection processes required by the embedded test credibility detection of the avionic electronic system, and a binary tree is used as a knowledge interpretation means. The detection logic knowledge comprises a plurality of binary trees corresponding to various detection flows. The binary tree takes the function fault as a top event, and is used as a detection start and is associated with the detected object; the test operation is used as an intermediate event, and the detection flow is associated; and taking a detection result such as normal or occurrence of a certain module fault as a basic event, and correlating the detection result with an output conclusion.
3. The detection operation knowledge refers to various non-BIT Test means in the process of executing the embedded Test credibility detection verification, wherein functional tests are taken as objects, including link tests, loop tests, functional tests, opposite-passing tests, serial Test and the like, wherein various Test operations of different functional objects are stored corresponding to different Test sequences (TP), and Test operation commands in a Test flow in the logic knowledge are associated.
4. The diagnosis conclusion knowledge is conclusion output of one-time automatic detection, and comprises the tested product, corresponding functional faults and module faults under the product, and association relations among the product, the functional faults and the module faults.
The automatic detection method for the embedded test credibility of the expert knowledge aviation communication electronic system realizes automatic execution of a detection flow through inputting, modifying and applying knowledge and supports detection analysis of the detected object in the process of the embedded test credibility detection verification.
The embedded test credibility automatic detection method of the expert knowledge aviation communication electronic system comprises two execution modes, wherein the first mode is basic detection verification, and basic automatic detection is realized by the mode; the second way is to update the knowledge base, and the detection verification capability is improved by updating the knowledge base through detecting the verification unresolved cases in the embedded test process.
The basic detection verification execution step comprises the following four steps:
and step 1, determining an object. The step is to search the corresponding target knowledge in the detected target knowledge according to the product to be verified and the fault expression, namely, searching the product name, the functional fault of the fault expression and the corresponding module.
And 2, determining logic. The step is to search the matched binary tree in the detection logic knowledge according to the determined object information, and determine the binary tree as the corresponding detection logic.
And 3, driving by an inference engine. According to the method, a binary tree is analyzed through an inference engine, corresponding test TP is called to execute operation according to test operation in the binary tree, next test operation in the binary tree is continuously called according to trend of the binary tree according to the operation result, the operation is repeated in this way until the binary tree runs to a basic event, and the detection flow is ended.
And step 4, outputting a conclusion. The step is to match corresponding fault diagnosis conclusions in the diagnosis conclusion knowledge according to the basic event obtained in the step 3, wherein the fault diagnosis conclusions comprise whether a tested product has faults or not, and the conclusions of a certain functional fault and a certain module fault which are correspondingly detected and isolated under the product.
The step of updating the knowledge base includes the steps of:
And 2, iterating the new conclusion, and inputting the new conclusion to the diagnosis conclusion knowledge to finish updating the diagnosis conclusion knowledge when the existing detection logic cannot acquire a reasonable reliable detection verification result or unknown faults cannot accurately finish self-detection.
The false alarm, omission and false detection analysis method based on the communication function link detection realizes the false alarm, omission and false detection method aiming at the embedded test of the aviation communication electronic system, and the method comprises the following four steps:
and step 1, initially judging the false alarm, omission detection and false detection states.
First, it is determined whether the function is normal or not and whether the embedded test is failure. When the function is normal and the embedded test does not report the event, the function and the embedded test are normal. When the function is normal and the embedded test reports a fault, a false alarm condition may exist, and the step 2 of false alarm verification is entered. When the function is abnormal, the embedded test reports the fault, the fault is eliminated according to the embedded test result, whether the function is normal is judged after the fault elimination, if the function is normal, the verification function and the embedded test are both normal, if the function is abnormal, false detection can exist, and the step 3 false detection verification stage is entered. When the function is abnormal and the embedded test does not report the fault, there may be missed detection, and enter step 4 to go into the missed detection verification stage.
And 2, verifying the false alarm.
And entering a false alarm verification stage, selecting a non-embedded test, executing a detection flow by adopting an automatic detection method, and judging whether the detection is in fault or not. If the false alarm is not reported, the false alarm exists in the embedded test, and the false alarm verification is completed; if the fault is reported, the unknown fault can be manually checked, and the detection verification expert knowledge is selectively updated according to the checking result, so that the subsequent detection verification capability is improved.
And 3, false detection verification.
Entering a false detection verification stage, selecting a non-embedded test, executing a detection flow by adopting an automatic detection method, checking whether a detection result is consistent with an embedded test result after the completion of the test, if not, carrying out false detection on BIT, at the moment, carrying out troubleshooting according to the detection result, and if the function is normal after the troubleshooting is completed, determining that missed detection exists, and finishing the missed detection verification; if the detection result is consistent with the embedded test result, the unknown faults can be manually checked, and the detection verification expert knowledge is selectively updated according to the check result, so that the subsequent detection verification capability is improved. If the fault elimination result of the detector is consistent with the BIT, but the function after fault elimination is still abnormal, the existence of missed detection is determined, the existence of unknown faults is manually checked, the detection verification expert knowledge is selectively updated according to the checking result, and the follow-up detection verification capability is improved.
And step 4, missing detection and verification.
And (3) entering a missing detection verification stage, selecting a non-embedded test, executing a detection flow by adopting an automatic detection method, judging whether the detection is fault-reporting, if the detection is fault-reporting, judging whether the embedded test is fault-reporting, eliminating the fault according to the detection result, judging whether the function is normal after the fault-reporting, if the function is normal, completing verification, if the function is abnormal, determining that the embedded test is fault-reporting, and also manually checking the unknown fault, and selectively updating diagnosis logic knowledge according to the checking result so as to improve the diagnosis capability of the detector. If the detection result is not reported, the unknown fault is also manually checked, and the diagnosis logic knowledge is selectively updated according to the checking result so as to improve the diagnosis capability of the detector.
The test and report process supports the test and judgment in each step through the embedded test and report process and the test and report process.
In the embedded test fault reporting process, firstly, BIT results of a tested object are obtained, wherein the state value mainly comprises functional response, control response communication state, other states and the like of BIT acquisition; the values acquired by BIT comprise voltage values, amplitude values, temperature values, power values, quantity values, other values and the like, wherein the values are compared with a threshold value to obtain corresponding states of the values. And then, the current state monitoring codes are obtained by combining the states, and the most peripheral is compared with the normal state monitoring codes, so that whether the fault is reported and the fault diagnosis isolation result is determined according to whether the fault is consistent or not.
In the process of detecting and predicting the faults, a detector is adopted to perform various test waveform settings such as amplitude setting, frequency setting, input waveform setting, loading information setting, modulation mode setting, other settings and the like, and the test waveform is generated and then radiated or injected into a tested object. And then the test waveform is processed by the functional link of the tested object, the detector receives the signal or information of the tested object from the test waveform and analyzes the signal or information to obtain amplitude gain, power detection, signal to noise ratio, bit error rate, other values and the like, and the test state is obtained through comparison and analysis. And then completing all the required tests, and judging whether to report the fault and to isolate the fault diagnosis according to the diagnosis result by the diagnosis logic.
Whether the fault rejection result of the detector is consistent with the BIT result is judged according to whether the fault type given by comparison diagnosis is consistent with the fault isolation object result.
The invention provides an embedded test credibility detection and verification method of an avionic electronic system, which consists of an expert knowledge embedded test credibility automatic detection method of the avionic electronic system and a false alarm, omission and false detection analysis method based on communication function link detection. The automatic detection method for the embedded test credibility of the expert knowledge aviation communication electronic system comprises the steps of constructing an automatic detection expert knowledge base containing detection target knowledge, detection logic knowledge, detection operation knowledge and diagnosis conclusion knowledge, and realizing automatic execution of various tests required by the embedded test credibility detection verification by calling the knowledge base. Under the support of automatic detection capability, a false alarm, missing detection and false detection analysis method based on communication function link detection is introduced, and the false alarm, missing detection and false detection are checked by comparing functional performance, embedded test results and automatic detection conclusions, so that the embedded test credibility detection verification of the avionics communication system is finally realized. The invention solves the problem of credibility verification of the embedded test of the aviation communication electronic system, improves the degree of automation, and enhances the integrity of credibility detection verification of the embedded test from three dimensions of functions and detection verification means for the reason of the embedded test.
As described above, the present invention can be preferably implemented.
All of the features disclosed in all of the embodiments of this specification, or all of the steps in any method or process disclosed implicitly, except for the mutually exclusive features and/or steps, may be combined and/or expanded and substituted in any way.
The foregoing description of the preferred embodiment of the invention is not intended to limit the invention in any way, but rather to cover all modifications, equivalents, improvements and alternatives falling within the spirit and principles of the invention.
Claims (6)
1. The method for detecting and verifying the credibility of the embedded test of the aviation communication electronic system is characterized by comprising the following steps of:
s1, constructing an expert knowledge base: constructing an automatic detection expert knowledge base;
s2, constructing a binary tree flow node: constructing and forming a binary tree flow node by using expert test experience of functional self-checking of different objects to be tested through an automatic detection expert knowledge base;
s3, test sequence construction: constructing a test sequence of test operation;
s4, testing and credible detection and verification: the relation association between the binary tree construction flow nodes and the test sequences of the test operation is realized through an inference engine, a test credible detection flow is automatically generated, and an embedded test required by completing the embedded test credible detection is automatically executed;
in step S1, an automatic detection expert knowledge base is constructed that includes the following knowledge: detecting target knowledge for describing composition knowledge of the detected avionics communication system product; the detection logic knowledge is used for describing various detection flows required by the embedded test credibility detection of the aviation communication electronic system; detection operation knowledge for describing various non-BIT test means in the process of performing embedded test trusted detection verification; and/or; the diagnosis conclusion knowledge is used for describing conclusion output of one-time automatic detection;
in step S4, the automatic execution of the embedded test required for completing the trusted detection of the embedded test includes: basic detection verification and updating knowledge base detection verification;
the performing of the basic detection verification comprises the following steps:
s411, determining an object: searching corresponding target knowledge in the detected target knowledge according to the product to be verified and the fault performance;
s412, determination logic: searching a matched binary tree in the detection logic knowledge according to the determined object information, and determining the binary tree as corresponding detection logic;
s413, inference engine driving: analyzing the binary tree through the inference engine, calling a corresponding test TP to execute operation according to the test operation in the binary tree, continuously calling the next test operation in the binary tree according to the operation result and the trend of the binary tree, and repeating the steps until the binary tree operates to a basic event, and ending the detection flow;
s414, outputting a conclusion: according to the basic event obtained in the step S413, matching the corresponding fault diagnosis conclusion in the diagnosis conclusion knowledge;
the performing of the update repository detection verification includes the steps of:
s421, iterating the new binary tree: when the existing detection logic cannot acquire a reasonable reliable detection verification result or unknown faults cannot accurately complete self-detection, a new binary tree is constructed, the monitoring flow of the problems manually solved by means of the binary tree is expressed, detection logic knowledge is input, and the update of the detection logic knowledge is completed;
s422, iterating the new conclusion: when the existing detection logic cannot acquire a reasonable reliable detection verification result or unknown faults cannot accurately complete self-detection, inputting new conclusions obtained by manually solving the problems into diagnosis conclusion knowledge, and completing updating of the diagnosis conclusion knowledge.
2. The method for verifying the embedded test trust detection of the avionic system according to claim 1, wherein in step S1, the detection logic knowledge uses a binary tree as a knowledge interpretation means, the binary tree uses a functional failure as a top event, and the binary tree is used as a detection start to correlate the detected object; the test operation is used as an intermediate event, and the detection flow is associated; and taking the detection result as a basic event, and correlating the detection result with an output conclusion.
3. The method for verifying the embedded test trust of an avionic system according to claim 2, wherein in step S4, the step of automatically executing the embedded test required for completing the embedded test trust comprises the steps of:
s431, false alarm verification: executing a detection flow, judging whether the detection is a fault: if the false alarm is not reported, the false alarm exists in the embedded test, and the false alarm verification is completed; if yes, the possible unknown faults are checked manually, and the automatic detection expert knowledge base is updated according to the check result.
4. The method for verifying the embedded test trust of an avionic system according to claim 3, wherein in step S4, the step of automatically executing the embedded test required for completing the embedded test trust comprises the steps of:
s441, false detection verification: executing a detection flow, and checking whether the detection result is consistent with the embedded test result after the completion of the test: if the detection results are inconsistent, false detection may exist in the BIT, at the moment, the fault is eliminated according to the detection results, if the function is normal after the fault elimination is finished, the existence of missed detection is determined, and the missed detection verification is finished; if the detection results are consistent, the unknown faults can be manually checked, and the automatic detection expert knowledge base is selectively updated according to the check results, so that the subsequent detection verification capability is improved; if the troubleshooting result is consistent with the BIT, but the function is still abnormal after troubleshooting, the existence of missed detection is determined, the possible unknown faults are manually checked, and the automatic detection expert knowledge base is selectively updated according to the checking result.
5. The method for verifying the embedded test trust detection of an avionic system according to claim 4, wherein in step S4, the step of automatically executing the embedded test required for completing the embedded test trust detection further comprises the steps of:
s451, missing detection verification: executing a detection flow, judging whether the detection is a fault: if the fault is reported, judging that the embedded test has missed detection, carrying out fault elimination according to the detection result, judging whether the fault is normal or not after the fault elimination, if the fault is normal, completing verification, if the fault is abnormal, determining that the embedded test has missed detection, carrying out manual inspection on unknown faults possibly existing, and selectively updating an automatic detection expert knowledge base according to the inspection result; if the detection result is not reported, the unknown faults possibly existing are manually checked, and the automatic detection expert knowledge base is selectively updated according to the checking result.
6. An embedded test credibility detection and verification system of an avionic electronic system, characterized in that the embedded test credibility detection and verification method of the avionic electronic system based on any one of claims 1 to 5 comprises the following modules which are electrically connected in sequence:
expert knowledge base construction module: the method is used for constructing an automatic detection expert knowledge base;
the binary tree flow node construction module: the method comprises the steps of constructing and forming a binary tree flow node by using expert test experiences of functional self-inspection of different objects to be tested through an automatic detection expert knowledge base;
the test sequence construction module: a test sequence for constructing a test operation;
and the test credibility detection and verification module: the method is used for realizing relation association between binary tree construction flow nodes and test sequences of test operation through an inference engine, automatically generating a test credible detection flow, and automatically executing embedded tests required by completing the embedded test credible detection.
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202210132084 | 2022-02-14 | ||
| CN2022101320849 | 2022-02-14 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN114595143A CN114595143A (en) | 2022-06-07 |
| CN114595143B true CN114595143B (en) | 2023-06-06 |
Family
ID=81805426
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202210154505.8A Active CN114595143B (en) | 2022-02-14 | 2022-02-21 | Embedded test credibility detection and verification method and system for aviation communication electronic system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN114595143B (en) |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106650942A (en) * | 2015-11-02 | 2017-05-10 | 中国船舶工业系统工程研究院 | Fault diagnosis method based on electronic equipment testability model |
| CN106875015A (en) * | 2015-12-11 | 2017-06-20 | 中国航空工业集团公司成都飞机设计研究所 | A kind of airplane fault diagnostic method and system |
Family Cites Families (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6510531B1 (en) * | 1999-09-23 | 2003-01-21 | Lucent Technologies Inc. | Methods and systems for testing parallel queues |
| CN105718372B (en) * | 2016-01-22 | 2018-05-18 | 珠海市精实测控技术有限公司 | A kind of electric-controlled plate Black-box testing Cases generation and automatic test approach |
| CN111782539B (en) * | 2020-07-09 | 2023-09-29 | 中国人民解放军32181部队 | Test diagnosis integrated development platform based on domestic operating system |
| CN113064824B (en) * | 2021-03-31 | 2022-12-02 | 重庆紫光华山智安科技有限公司 | Result analysis method and device, electronic device and storage medium |
-
2022
- 2022-02-21 CN CN202210154505.8A patent/CN114595143B/en active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106650942A (en) * | 2015-11-02 | 2017-05-10 | 中国船舶工业系统工程研究院 | Fault diagnosis method based on electronic equipment testability model |
| CN106875015A (en) * | 2015-12-11 | 2017-06-20 | 中国航空工业集团公司成都飞机设计研究所 | A kind of airplane fault diagnostic method and system |
Also Published As
| Publication number | Publication date |
|---|---|
| CN114595143A (en) | 2022-06-07 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US9122671B2 (en) | System and method for grammar based test planning | |
| CN110716126A (en) | Chip aging test system, method and device | |
| JP2004118839A (en) | Method for supporting specification of function unit failed in technical equipment | |
| CN108804326B (en) | Automatic software code detection method | |
| CN111061293B (en) | Multi-parameter coupled aircraft fault positioning method, aircraft and storage medium | |
| CN102707712B (en) | Electronic equipment fault diagnosis method and system | |
| US5719881A (en) | Test pattern generating apparatus and method | |
| CN116069635A (en) | SOC system testing method and device, computer equipment and storage medium | |
| CN114595143B (en) | Embedded test credibility detection and verification method and system for aviation communication electronic system | |
| CN105653455A (en) | Program vulnerability detection method and detection system | |
| CN112860587B (en) | UI automatic test method and device | |
| US9529042B2 (en) | Device for and method of estimating error point in logic diagram | |
| CN116107794B (en) | Ship software fault automatic diagnosis method, system and storage medium | |
| CN111309584B (en) | Data processing method, device, electronic equipment and storage medium | |
| CN115756394A (en) | Embedded software requirement safety verification method by means of failure data | |
| CN113608089B (en) | SOA test method, system and device for switching power supply MOS tube and readable storage medium | |
| CN114564379A (en) | Method for self-adaptively identifying BIT false alarm by testing evidence correlation | |
| CN112905488A (en) | Link testing method and device, computer equipment and storage medium | |
| CN108762227B (en) | Automatic driving test system and method | |
| CN111983998B (en) | Automatic diagnosis test case generation system and method | |
| CN107957269B (en) | Inertial navigation system fault characteristic judgment and testability prediction method | |
| Tekinerdogan et al. | Test suite assessment of safety-critical systems using safety tactics and fault-based mutation testing | |
| CN113535547B (en) | Test method based on functional safety | |
| Kirkland et al. | Intermediary Affirmation is Prescribed for an Efficient Future | |
| CN117033228A (en) | Automatic regression testing method and system for vehicle |
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 | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |