A Model-Based Testing Method for Avionics System

Abstract

The invention discloses a model-based test method for avionics systems and relates to the technical field of avionics system test. By loading a data model of an early design modeling stage, aiming at different interface definitions and behavior logics, a corresponding test use-case model is automatically generated. Test case creation by hand is changed and the working efficiency of generating use cases during test links is greatly increased; at the same time, the manmade errors are reduced. For the stipulation of test case data, the unified management of test cases is realized, which improves the efficiency of management and avoids the possibility of multiple meanings of the same data. It also provides data models for test case execution, test result analysis and report generation. In addition, through the test environment adaptation, various data transmission error is reduced and the degree of automation of the test is increased; through the use case analysis, the coverage rate of use case results on demands and design data is clear.

Description

technical field [0001] The invention relates to the technical field of avionics system testing, in particular to a model-based testing method for an avionics system. Background technique [0002] At this stage, the integrated avionics system has a complex structure, a variety of usage scenarios, and a huge amount of data. The simulation test of integrated avionics system is a complex system engineering, which requires comprehensive and rigorous system test analysis and design. In the previous avionics system development process, the analysis and design of the comprehensive test were often ignored due to the cycle and schedule. The traditional method used manual methods to construct test cases, and simply converted the system detailed design documents and ICD into comprehensive programs. As the basis of the test, the testers will manually check the cockpit screen, interface data, analyze and judge in the cockpit, and the test items may be incomplete and incomplete. Traditio...

AI Technical Summary

Problems solved by technology

In the previous avionics system development process, the analysis and design of the comprehensive test were often ignored due to the cycle and schedule. The traditional method used manual methods to construct test cases, and simply converted the system detailed design documents and ICD into comprehensive programs. As the basis of the test, the testers will manually check the cockpit screen, interface data and analyze and judge in the cockpit. The test items may be incomplete and incomplete.

Traditional testing methods cannot provide a unified source of design and test data, usually only consider the inheritance and verification of ICD (Interface Control Document) design, and cannot trace and verify the upstream architecture design and behavioral logic design results of the design, and cannot meet the requirements of current integrated avionics Need for Traceable Test Verification

In addition, documents are used as a data exchange mode between design and testing departments. It is difficult to unify the source of test data and the comprehensive program generated based on text description is ambiguous. It is difficult to reproduce and trace the test results repeatedly. A large number of boring repetitive operations in manual testing make The work efficiency is low, the randomness is large, and the possibility of making mistakes will also increase

Testers will face a large amount of repetitive workload. Under such conditions, in addition to low efficiency and error-prone design, it is more difficult to ensure the consistency and accuracy of requirements, documents, test cases and test results.

For the entire avionics system, traditional methods have been difficult to achieve coverage testing of system functions and performance requirements

Images