CN112699029A - Automatic test method for compartment door partition software - Google Patents
Automatic test method for compartment door partition software Download PDFInfo
- Publication number
- CN112699029A CN112699029A CN202011597893.4A CN202011597893A CN112699029A CN 112699029 A CN112699029 A CN 112699029A CN 202011597893 A CN202011597893 A CN 202011597893A CN 112699029 A CN112699029 A CN 112699029A
- Authority
- CN
- China
- Prior art keywords
- software
- door partition
- cabin door
- function
- test
- 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.)
- Granted
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/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
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
Abstract
The invention discloses an automatic test method of compartment door partition software, which comprises the following steps: according to the characteristics of compartment door partition software, dividing an internal interface and an external interface and dividing function layers; establishing a unique identification rule table of the cabin door partition software input data based on the divided internal interface and external interface, establishing a corresponding relation between the input data and the unique identification, establishing an equipment channel voting function relation table and a cabin door partition software function logic table, compiling a logic expression, and respectively generating test case sets corresponding to input/output one by one; establishing a mapping relation of a functional logic table and a voting functional relation table, combining the test case sets, compiling a synthesis program, and generating an exhaustive test case set of the cabin door partition; and (4) building a virtual simulation test environment, and building an automatic test program and testing. The method can effectively reduce human resources and improve the software testing efficiency; the reliability of the compartment door partition software and the system safety are improved.
Description
Technical Field
The invention relates to the field of airborne software testing, in particular to an automatic testing method for compartment door partition software.
Background
With the development of modern aircrafts, the requirements on the functions, performance, safety and the like of the aircrafts are higher and higher, and the safety design is increased by considering the functions of an electromechanical control management system and data redundancy design, so that the quantity of data is multiplied, and the complexity of the functional logic is multiplied. The main function of the software compartment door partition software is to vote interface data redundancy and then use the voting interface data redundancy for aircraft compartment door function complex logic operation, once a software function error occurs, the work of software fault location, interface troubleshooting and the like is time-consuming and labor-consuming for testing personnel, and the hidden defect of the complex logic software is not easy to find.
Meanwhile, the manpower and financial resources are considered, and when the airborne system environment is built, system personnel mostly stand at the angle of a large system and the angle of the actual input/output relation of equipment to design and build the verification environment. Even under the partition software architecture with independent professions or systems, clear function partition interfaces and definite interfaces among professions or systems, software testers have no way to test large-data equipment-level interfaces or partition software interfaces when the functions of the compartment door partition software are verified. For software testers, even if a large amount of time is spent on the design of test cases of the compartment door partition software interface and the logical operation function in the early stage of software testing, due to environmental reasons, the voting function between the equipment-level channel data acquisition function and the software logical function processing interface cannot be verified, the artificially designed test cases cannot fully cover the normal or abnormal functional requirements of the complex logic of the software, the hidden software or design defects influence the opening and closing function of the compartment door slightly, and the aircraft safety is seriously influenced.
Disclosure of Invention
The invention aims to provide an automatic test method of cabin door zone software, which is used for solving the problems of incomplete coverage of a cabin door zone software voting function test and a cabin door zone software complex logic function test caused by the reasons of test environment.
In order to realize the task, the invention adopts the following technical scheme:
an automated testing method of hatch door zoning software, comprising:
according to the characteristics of compartment door partition software, dividing an internal interface and an external interface and dividing function layers;
establishing a unique identification rule table of cabin door partition software input data based on the divided internal interface and external interface, establishing a corresponding relation between the input data and the unique identification, and establishing an equipment channel voting function relation table and a cabin door partition software function logic table according to the unique identification of the input data;
compiling logical expressions according to the equipment channel voting function relation table and the cabin door partition software function logical table, and respectively generating test case sets corresponding to input/output one by one;
establishing a mapping relation between a cabin door partition software function logic table and an equipment channel voting function relation table, combining the test case sets, compiling a synthetic program, and generating an exhaustive test case set of the cabin door partitions;
and (4) building a virtual simulation test environment, and building an automatic test program and testing.
Furthermore, the cabin door partition software has the characteristics of multiple signal interfaces, and complex logic calculation of two paths of redundancy signals and multiple signals acquired by an electromechanical control management computer;
the data collected by the compartment door partition software comprises data collected by an electromechanical control management computer and data collected by a backup computer;
data collected by the electromechanical control management computer are divided into two paths of signals which are sent to cabin door partition software for functional logic operation and information synthesis, and the two paths of signals are used as signals after redundancy.
Further, the division of the internal interface and the external interface includes:
the data collected by the electromechanical control management computer and the data collected by the backup computer are uniformly used as the internal interface of the electromechanical control management computer, and the signal after the redundancy of the electromechanical control management computer is used as the external interface of the compartment door partition software.
Further, the dividing of the function hierarchy includes:
and dividing the units forming the cabin door partition software according to the functions of the software to obtain the corresponding relation between the units and the functions realized by the software.
Further, the voting function relationship between the signals after redundancy of the electromechanical control management computer is stored in the equipment channel voting function relationship table.
Further, the cabin door partition software function logic table stores the corresponding relation between the voted data of the signals after redundancy and the cabin door partition software functions.
Further, the compiling logic expressions according to the equipment channel voting function relation table and the cabin door partition software function logic table to respectively generate test case sets corresponding to input/output one by one, and the method comprises the following steps:
and compiling a logic expression according to the equipment channel voting function relation table and the cabin door partition software function logic table by using a T-Vec case generation tool, entering a T-Vec VGS module through a conversion model, compiling and generating a condition exhaustion file of software function requirements, and respectively converting the condition exhaustion file into test case sets which are in one-to-one correspondence with input/output, wherein the test case sets comprise case sequence numbers, case identifications, input names, input values, output names and output values.
Further, the automatic test program is established and tested, wherein the test process comprises:
and importing the test case set, and automatically executing the test case set, comparing results and automatically extracting error result information of software test.
Compared with the prior art, the invention has the following technical characteristics:
the method can effectively reduce human resources and improve the software testing efficiency; the reliability and the system safety of the compartment door partition software are improved; the method has strong universality, and can be applied to software tests with interface voting function, more interface data and high logic complexity in other fields.
Drawings
FIG. 1 is a schematic diagram of automated testing of hatch zoning software;
FIG. 2 is a schematic diagram of automatic generation of a bay door bay test case;
FIG. 3 is a schematic diagram of a cabin door zoning software virtual simulation testing environment;
fig. 4 is an automatic test execution flow diagram.
Detailed Description
The invention provides an automatic test method of compartment door partition software, which tests the quality of the control software layer by establishing a layered relation of interfaces and functions, thereby achieving the full coverage of low-level requirements and high-level requirements of a compartment door partition software test case set, realizing the automatic test in the established compartment door partition software test environment, comprising the steps of inputting, executing, comparing and extracting error information of the test case set, facilitating software testers to analyze software defects and locate faults, reducing human resources, and improving the software test efficiency, the reliability of the compartment door partition software and the system software quality.
The schematic flow chart of the automatic testing method of the compartment door partition software is shown in figure 1, and comprises the following steps:
step 1, performing functional logic calculation and signal synthesis on data acquired by compartment door partition software, including data acquired by an electromechanical control management computer and data acquired by a backup computer, and realizing the functions of compartment door state sending, compartment door retraction control, compartment door fault warning and the like.
Data collected by the electromechanical control management computer are divided into two paths of signals which are sent to cabin door partition software for functional logic operation and information synthesis, and the two paths of signals are used as signals after redundancy.
Therefore, according to the characteristics of complex logic calculation that the compartment door partition software has more signal interfaces and the electromechanical control management computer collects two paths of redundancy signals and more signals, the data collected by the electromechanical control management computer and the data collected by the backup computer are uniformly used as the internal interface of the electromechanical control management computer, and the signals after redundancy of the electromechanical control management computer are used as the external interface of the compartment door partition software.
Dividing function layers according to the functions of the compartment door partition software: the units (function functions) forming the compartment door partition software are divided according to the functions of the software, and the corresponding relation between the units and the functions realized by the software is obtained.
And 2, according to the internal interface of the electromechanical control management computer and the external interface of the cabin door partition software divided in the step 1, establishing a unique identification rule table of cabin door partition software input data, for example, identifying a left boarding door position sensor signal as input1, identifying a left boarding door position sensor signal as input2, establishing a corresponding relation between the input data and the unique identification to ensure data uniqueness of cabin door partition software input-voting output-software output, and establishing an equipment channel voting function relation table and a cabin door partition software function logic table according to the unique identification of the input data.
The voting function relation table of the equipment channel stores the voting function relation among the signals after redundancy of the electromechanical control management computer; and storing the corresponding relation between the voted data of the signals after redundancy and the functions of the compartment door partition software in the compartment door partition software function logic table, namely establishing the corresponding relation between the voted data and the divided units according to the function hierarchy.
And 3, compiling a logic expression according to an equipment channel voting function relation table and a cabin door partition software function logic table in the modern mature automatic test case generation tool, such as the T-Vec case generation tool, entering a T-Vec VGS module through a conversion model, compiling a condition exhaustion file of an automatic generation software function requirement, and converting maps into test case sets which are in one-to-one correspondence to input/output respectively, wherein the test case sets comprise case serial numbers, case identifications, input names, input values, output names and output values, and a schematic diagram of the test case sets is shown in FIG. 2.
Step 4, establishing a mapping relation between the cabin door partition software function logic table and the equipment channel voting function relation table, combining the test case sets generated in the step 3, writing a synthesis program, and generating an exhaustive test case set of the cabin door partitions, wherein pseudo codes of the synthesis program are as follows:
step 5, building a virtual simulation test environment from the view of compartment door partition software
As shown in fig. 3. And constructing a cabin door partition software virtual simulation environment according to the external interface of the cabin door partition software, the voted data of the signals after redundancy and the interfaces of other partitions (such as a landing gear partition, a power supply partition and the like) of the electromechanical control management computer.
Step 6, establishing an automatic test program, the flow chart of which is shown in fig. 4, wherein the functions comprise automatic execution, result comparison and automatic extraction of error result information of the software test case set generated in the step 4, so as to form a closed loop of the dynamic test of the software, and pseudo codes of the automatic test program are as follows:
aiming at airborne system partition software with multiple external interfaces, high logic complexity and channel voting characteristics of cabin door partition software of an airplane electromechanical control management system, the method establishes a complex logic relationship from voting relationship of computer channel acquisition data and software function input data to software function input and output, automatically generates dynamic test cases of cabin door partition software input and output, introduces large data test cases into the constructed cabin door partition software test environment, realizes automatic test, performs information extraction, analysis and fault location on the test cases with inconsistent software test results, and improves the reliability of cabin door partition software and the quality of system software.
By using the method, software testers perform automatic test execution and result comparison analysis on the automatically generated test case set by using the cabin door partition software virtual simulation test environment, so that not only are human resources reduced, but also data is exhausted, low-level requirements and high-level requirements of the software are covered in a large range, the human resources are reduced, and the software test efficiency, the reliability of the cabin door partition software and the system safety are improved.
The above embodiments are only used for illustrating the technical solutions of the present application, and not for limiting the same; although the present application has been described in detail with reference to the foregoing embodiments, it should be understood by those of ordinary skill in the art that: the technical solutions described in the foregoing embodiments may still be modified, or some technical features may be equivalently replaced; such modifications and substitutions do not substantially depart from the spirit and scope of the embodiments of the present application, and are intended to be included within the scope of the present application.
Claims (8)
1. An automated testing method for compartment door zoning software is characterized by comprising the following steps:
according to the characteristics of compartment door partition software, dividing an internal interface and an external interface and dividing function layers;
establishing a unique identification rule table of cabin door partition software input data based on the divided internal interface and external interface, establishing a corresponding relation between the input data and the unique identification, and establishing an equipment channel voting function relation table and a cabin door partition software function logic table according to the unique identification of the input data;
compiling logical expressions according to the equipment channel voting function relation table and the cabin door partition software function logical table, and respectively generating test case sets corresponding to input/output one by one;
establishing a mapping relation between a cabin door partition software function logic table and an equipment channel voting function relation table, combining the test case sets, compiling a synthetic program, and generating an exhaustive test case set of the cabin door partitions;
and (4) building a virtual simulation test environment, and building an automatic test program and testing.
2. The automated testing method of door zone partitioning software according to claim 1, wherein the door zone partitioning software has the characteristics of multiple signal interfaces, and complex logic calculation of two-way redundancy signals and multiple signals collected by an electromechanical control management computer;
the data collected by the compartment door partition software comprises data collected by an electromechanical control management computer and data collected by a backup computer;
data collected by the electromechanical control management computer are divided into two paths of signals which are sent to cabin door partition software for functional logic operation and information synthesis, and the two paths of signals are used as signals after redundancy.
3. The method for automated testing of hatch zoning software according to claim 1, wherein the division of the internal interface and the external interface comprises:
the data collected by the electromechanical control management computer and the data collected by the backup computer are uniformly used as the internal interface of the electromechanical control management computer, and the signal after the redundancy of the electromechanical control management computer is used as the external interface of the compartment door partition software.
4. The method for automated testing of hatch zoning software according to claim 1, wherein said performing a division of the functional hierarchy comprises:
and dividing the units forming the cabin door partition software according to the functions of the software to obtain the corresponding relation between the units and the functions realized by the software.
5. The automated testing method for bay door zoning software according to claim 1, wherein the voting functional relationship between the signals after redundancy of the electromechanical control management computer is stored in the equipment channel voting functional relationship table.
6. The automated testing method for bay door zone software according to claim 1, wherein the logical table of bay door zone software functions stores the correspondence between the voted data of the post-redundancy signals and the bay door zone software functions.
7. The automated testing method for cabin door zone software according to claim 1, wherein the compiling of the logical expression according to the equipment channel voting function relation table and the cabin door zone software function logical table respectively generates test case sets with one-to-one correspondence of input/output, and comprises:
and compiling a logic expression according to the equipment channel voting function relation table and the cabin door partition software function logic table by using a T-Vec case generation tool, entering a T-Vec VGS module through a conversion model, compiling and generating a condition exhaustion file of software function requirements, and respectively converting the condition exhaustion file into test case sets which are in one-to-one correspondence with input/output, wherein the test case sets comprise case sequence numbers, case identifications, input names, input values, output names and output values.
8. The automated testing method of hatch zoning software according to claim 1, wherein said automatic test program is created and tested, wherein the test procedure comprises:
and importing the test case set, and automatically executing the test case set, comparing results and automatically extracting error result information of software test.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011597893.4A CN112699029B (en) | 2020-12-29 | 2020-12-29 | Automatic test method for compartment door partition software |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011597893.4A CN112699029B (en) | 2020-12-29 | 2020-12-29 | Automatic test method for compartment door partition software |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN112699029A true CN112699029A (en) | 2021-04-23 |
| CN112699029B CN112699029B (en) | 2023-04-14 |
Family
ID=75511932
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202011597893.4A Active CN112699029B (en) | 2020-12-29 | 2020-12-29 | Automatic test method for compartment door partition software |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112699029B (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114516427A (en) * | 2022-02-08 | 2022-05-20 | 上海斯化露航空科技发展有限公司 | Simulation system and method for design detection of airplane cabin door |
| CN114516427B (en) * | 2022-02-08 | 2024-05-14 | 上海斯化露航空科技发展有限公司 | Simulation system and method for aircraft cabin door design detection |
Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102170378A (en) * | 2011-04-22 | 2011-08-31 | 北京科技大学 | Web service test method with no need of anticipation |
| WO2013036718A1 (en) * | 2011-09-08 | 2013-03-14 | Isis Innovation Ltd. | Determining acceptability of physiological signals |
| CN103473400A (en) * | 2013-08-27 | 2013-12-25 | 北京航空航天大学 | Software FMEA (failure mode and effects analysis) method based on level dependency modeling |
| US20140204092A1 (en) * | 2012-04-09 | 2014-07-24 | The Regents Of The University Of California | Classification of high dimensional data |
| CN106773784A (en) * | 2016-12-26 | 2017-05-31 | 中国航空工业集团公司西安飞机设计研究所 | The control law verification platform and method of a kind of configurable remaining grade |
| CN109558312A (en) * | 2018-11-07 | 2019-04-02 | 中国航空工业集团公司西安飞机设计研究所 | The test method of Airborne Software |
| US20200310860A1 (en) * | 2019-03-29 | 2020-10-01 | International Business Machines Corporation | Quality Assurance For A Context Driven Hybrid Transaction Processing System |
-
2020
- 2020-12-29 CN CN202011597893.4A patent/CN112699029B/en active Active
Patent Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102170378A (en) * | 2011-04-22 | 2011-08-31 | 北京科技大学 | Web service test method with no need of anticipation |
| WO2013036718A1 (en) * | 2011-09-08 | 2013-03-14 | Isis Innovation Ltd. | Determining acceptability of physiological signals |
| US20140204092A1 (en) * | 2012-04-09 | 2014-07-24 | The Regents Of The University Of California | Classification of high dimensional data |
| CN103473400A (en) * | 2013-08-27 | 2013-12-25 | 北京航空航天大学 | Software FMEA (failure mode and effects analysis) method based on level dependency modeling |
| CN106773784A (en) * | 2016-12-26 | 2017-05-31 | 中国航空工业集团公司西安飞机设计研究所 | The control law verification platform and method of a kind of configurable remaining grade |
| CN109558312A (en) * | 2018-11-07 | 2019-04-02 | 中国航空工业集团公司西安飞机设计研究所 | The test method of Airborne Software |
| US20200310860A1 (en) * | 2019-03-29 | 2020-10-01 | International Business Machines Corporation | Quality Assurance For A Context Driven Hybrid Transaction Processing System |
Non-Patent Citations (2)
| Title |
|---|
| 任杰: "飞机机电综合管理系统研究与应用", 《中国优秀硕士学位论文全文数据库工程科技Ⅱ辑》 * |
| 王永国等: "基于模型驱动的四余度信号表决系统设计", 《航空计算技术》 * |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114516427A (en) * | 2022-02-08 | 2022-05-20 | 上海斯化露航空科技发展有限公司 | Simulation system and method for design detection of airplane cabin door |
| CN114516427B (en) * | 2022-02-08 | 2024-05-14 | 上海斯化露航空科技发展有限公司 | Simulation system and method for aircraft cabin door design detection |
Also Published As
| Publication number | Publication date |
|---|---|
| CN112699029B (en) | 2023-04-14 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN111176999B (en) | Test platform construction method and test method of unmanned aerial vehicle flight control management software | |
| CN104504248A (en) | Failure diagnosis modeling method based on designing data analysis | |
| CN110884687A (en) | Semi-physical real-time simulation verification platform for PHM technology of electromechanical system | |
| Deb et al. | Decentralized real-time monitoring and diagnosis | |
| CN112699036B (en) | Multi-partition multi-version airborne application software test case multiplexing method | |
| CN112699029B (en) | Automatic test method for compartment door partition software | |
| CN106598766B (en) | A kind of state relation dynamic analysing method for IMA Resources Sharing Mechanism | |
| CN116467211B (en) | System-level test verification method based on digital simulation environment | |
| CN112699035B (en) | Multi-partition airborne application software association index testing method and device | |
| CN112711532B (en) | Automatic testing method for undercarriage partition software | |
| Jesus et al. | Architectural verification of control systems using CSP | |
| CN111190821B (en) | Test platform construction method and test method of cabin door integrated management software | |
| CN112699030B (en) | Automatic testing method for power supply partition software | |
| Liu et al. | Model-based simulation and verification of aircraft prognostics and health management system | |
| CN211180024U (en) | Device for testing skin valve of large passenger plane in wing | |
| Peng et al. | Unified FFL model based reliability, safety and testability integrated analysis method | |
| CN112699031B (en) | Method for testing partition software architecture | |
| CN112699033B (en) | Multi-partition airborne software test case multistage synchronous loading method | |
| Ma et al. | Model Based Failure Assessment of Civil Aircraft Operation Phase | |
| Rui et al. | PHM Verification and Validation of Aviation Equipment Based on System Engineering | |
| CN115358045A (en) | Airplane demand verification method and system based on operation scene | |
| Li | Unified FFL model based reliability, safety and testability integrated analysis method | |
| Zhang et al. | System mission reliability test environment construction method based on function operational scenarios | |
| Yao | Investigation of Civil Aircraft Airborne System Integration Test Procedure | |
| Zhao et al. | A comprehensive evaluation method for aerospace equipment fault diagnosis capability |
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 |