Method for verifying airborne embedded operating system software
An operating system and software technology, applied in the field of verification of airborne embedded operating system software, which can solve problems such as isolation
Inactive Publication Date: 2015-04-01
AVIC NO 631 RES INST
View PDF8 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0005] The invention is used for the verification of the airborne embedded operating system software, and can solve the isolation problem during the test of the airborne embedded operating system kernel unit, and the problems that occur when the source code is analyzed for the structure coverage rate after the target machine executes the test activity
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0014] (1) The solution to the isolation problem during kernel unit and component testing
[0015] figure 1 is a test mode for kernel units and components. The operating system (OS and API) running on the lower layer provides support for the upper layer application (APP); the upper layer APP is composed of a copy of the operating system kernel module and a test procedure (Test Procedure); the test object called by the test program is this layer Software units and components in a kernel module that are called only by the test program and not by the underlying operating system, thereby meeting the isolation requirement.
[0016] In order to ensure that the called tested kernel units and components have nothing to do with hardware, it is necessary to pile the functions related to the hardware of the kernel module in the upper APP. Before the test program is executed, the kernel module initialization operation is also required.
[0017] (2) Solutions to problems that arise duri...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention provides a method for verifying airborne embedded operating system software. By the aid of the method, kernel units of airborne embedded operating systems can be isolated from one another during tests, and problems which occur when test activities are executed by target machines and then structural coverage of source codes is analyzed can be solved. The method includes that codes of the operating systems are used as operating environments, duplicates of the codes of the operating systems are used as tested objects, the codes of the operating systems are operated in core layers of the operating systems, and the duplicates of the codes of the operating systems are operated in application layers of the operating systems. The method has the advantages that the problem of incapability of uploading existing dynamic execution result files can be solved by the aid of a process for remapping files; the problem that the existing dynamic execution result files cannot be completely uploaded can be solved by the aid of a process for manually opening and closing dynamic execution result files in instrumentation files and then uploading the files onto hosts to analyze the files; the problem of incapability of acquiring inline library file execution results can be solved by the aid of a process for modifying inline file types into *.c file types.
Description
Technical field: [0001] The invention relates to a method for verifying airborne embedded operating system software. Background technique: [0002] With the gradual improvement of my country's military aircraft safety requirements and the overall advancement of civil aircraft airworthiness work, when verifying the basic airborne software represented by embedded operating systems, on the basis of taking into account the characteristics of such complex software, That is, it needs to meet the requirements of GJB and DO-178B. [0003] According to GJB and DO-178B, software units and components need to be tested, and these units and components should be isolated from other modules. The software units of the kernel module of the embedded operating system are not allowed to be directly accessed by the user, and unit testing cannot be performed; if the properties of the kernel unit are modified so that they can be directly accessed by the user, although they can be tested, they may ...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More IPC IPC(8): G06F11/36
Inventor 汤幼宁周敏刚封演利付浩
Owner AVIC NO 631 RES INST