CN112380108B - Full-automatic test method for partition space isolation - Google Patents
Full-automatic test method for partition space isolation Download PDFInfo
- Publication number
- CN112380108B CN112380108B CN202010661734.XA CN202010661734A CN112380108B CN 112380108 B CN112380108 B CN 112380108B CN 202010661734 A CN202010661734 A CN 202010661734A CN 112380108 B CN112380108 B CN 112380108B
- Authority
- CN
- China
- Prior art keywords
- address space
- task
- space
- partition
- access
- 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/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3003—Monitoring arrangements specially adapted to the computing system or computing system component being monitored
- G06F11/3006—Monitoring arrangements specially adapted to the computing system or computing system component being monitored where the computing system is distributed, e.g. networked systems, clusters, multiprocessor systems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/62—Protecting access to data via a platform, e.g. using keys or access control rules
- G06F21/6218—Protecting access to data via a platform, e.g. using keys or access control rules to a system of files or objects, e.g. local or distributed file system or database
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Quality & Reliability (AREA)
- Computer Hardware Design (AREA)
- Computing Systems (AREA)
- Computer Security & Cryptography (AREA)
- Software Systems (AREA)
- General Health & Medical Sciences (AREA)
- Bioethics (AREA)
- Health & Medical Sciences (AREA)
- Databases & Information Systems (AREA)
- Mathematical Physics (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
The invention relates to a full-automatic test method for partition space isolation, which achieves the aim of continuously and automatically measuring the partition isolation effect of all address spaces of a processor by using a task fault processing mechanism of a time-triggered operating system and in a fault task restarting mode, thereby fully proving the effectiveness of partition isolation and meeting the requirement of civil aircrafts on partition isolation verification. And the testing process does not need manual intervention, is fully automatically executed, and can be repeatedly implemented in different projects.
Description
Technical Field
The invention relates to the technical field of system partition management testing, and provides a full-automatic testing method for partition space isolation.
Background
In the safety key system, space partitioning is needed, and isolated operation space is provided for tasks, so that applications with different safety levels are guaranteed, the applications cannot be spread after faults occur, and the applications developed according to the different safety levels can be integrated without affecting the safety key level of the whole system.
For civil aircraft, the airworthiness process of the software needs to meet the DO-178C standard. For DAL-A level products, the verification of various functional requirements of the DAL-A level products is required to cover possible scenes including the test of normal functions and abnormal functions, and can provide evidence for verifying the integrity. The question of how the spatial partition verification proves integrity is also presented in the JOB-AID of civil aircraft. Under the traditional method, verification of partition isolation of the space is usually concentrated on a partition boundary and a plurality of characteristic address points inside the partition, and the 32-bit 4G address space is difficult to be verified fully and fully. And the verification process is often performed manually, which is inefficient and also creates a barrier to sufficient integrity of the verification.
Therefore, it is necessary to provide a fully automatic test method, which can fully cover the entire 32-bit logical address space and leave enough test evidence to ensure that the partition isolation characteristics can fully meet the verification target of the DO-178C standard DAL-a level product.
In patent CN102016800, the related invention completes the linking of related resources to the self-virtualized input/output device of the logical partition, but does not consider the management of the logical partition and whether it can have sufficient isolation characteristics and perform verification of its sufficient integrity.
In patent CN101763301B, the related invention uses a first logical partition and a second logical partition to verify whether the second logical partition can be booted with the first logical partition, without considering a sufficiently complete verification of the partition isolation characteristics.
In patent US09881920, the related invention considers the test of the partition isolation characteristic, but does not use a recoverable automated test method, which is based on a random data method, and it is difficult to ensure the sufficiency of the verification.
Disclosure of Invention
The purpose of the invention is as follows: in civil aircraft, for verification of the sufficiency of partition space isolation, a large number of experiments and analyses are required to prove the space isolation characteristics of partitions and ensure that the safety of a system is not affected by unexpected failure of partition isolation functions. The invention provides a full-automatic test method for partition space isolation, which can be used for proving the sufficiency and the completeness of partition isolation of an operating system by using a full-automatic test method covering a full address space aiming at the partition isolation capability of a safety key operating system, thereby meeting the verification target of DAL-A products in the DO-178C standard.
The technical scheme of the invention is as follows: the full-automatic test method facing partition space isolation is provided, and comprises the following steps:
step 1): the system creates a plurality of partitions, each partition is responsible for managing a part of space resources, each partition can create a plurality of tasks, and the task types comprise hard real-time tasks and soft real-time tasks; the space resources responsible for each partition that the tasks created by that partition are allowed to access; each partition is provided with a fault processing task, and the task type of the fault processing task is a soft real-time task; the system creates a space planning table, wherein the space planning table is used for defining an address space which each task in each partition is allowed to access, and each task can only access the space of the corresponding partition; if the task in the partition accesses an address space outside the specification, the health monitor reports a space access fault to a fault processing task, wherein the fault processing task is a task defined by a user; a fault processing task is established in each partition;
step 2): creating a first task and a second task in any partition, and setting a processing process of a space access fault as task restarting in a fault processing task of each partition; selecting an address space in the whole address space of the system;
and step 3): in a first execution cycle, scheduling a first task and a second task, wherein the first task is prior to the second task; in the first task, judging whether the selected address space is an address space which is allowed to be accessed by the first task Xu Sushu in the space planning table, if so, identifying the address space as allowed to be accessed, and if not, identifying the address space as not allowed to be accessed;
in a second task, when the first task identifier completes an address space, the second task accesses the address space, if the access is successful, the address space is identified as allowed to be accessed, if the access is failed, a fault processing task of the current partition is triggered, the address space is identified as not allowed to be accessed, and the current address space access is finished;
the end of the period continues to a second execution period;
step 4): in a second execution cycle, the first task judges whether the identification results of the first task and the second task in the previous cycle are the same, if so, the test result of the selected address space is successful; if not, the test result of the selected address space is failure; the first task records the test result of the selected address space; and selecting the next address space and executing the step 3).
Further, step 3), in the first task, firstly, judging whether the selected address space is a system termination address, if so, reading the test result of each address space, and exporting all the test results, if not, judging whether the selected address space is an address space which is allowed to be accessed by the first task Xu Sushu in the space planning table, if so, identifying the address space as allowed to be accessed, and if not, identifying the address space as not allowed to be accessed. Therefore, the final judgment of partition isolation is carried out on the result of the automatic test.
Further, the method for accessing the address space in the step 3) comprises reading the address, writing the address and executing the instruction of the address. To cover all three types of address space access by the processor.
Further, the part of space resources are a partition code segment address space, a data segment address space, a stack segment address space and a device segment address space; to cover various uses of the partitioned address space.
The partitioned code segment address space allows read access and execute access, and does not allow write access;
the address space of the partition data segment and the address space of the stack segment allow read access and write access, but do not allow execution access;
if the device segment address space of the partition is the readable and writable device segment address space, allowing read access and write access, and not allowing execution access;
and if the partitioned device segment address space is a read-only device segment address space, if the read access is allowed, the execution access and the write access are not allowed. Thereby ensuring that various access attributes of various address spaces are verified.
Further, each partition is not responsible for managing space resources and is not allowed access. Thereby ensuring that the partition does not allow access to the isolated nature of the space.
Further, the partitions manage the space resources by using an address mapping page table, wherein the address mapping page table is composed of a plurality of pages, and each page describes space access characteristics of a certain length of address space;
in step 4), the next address space is calculated, and the size of the page in the address mapping page table is changed for the current address space. Therefore, the address space access characteristics of each page are guaranteed to be tested, and the testing efficiency is highest.
Further, for address space read access, read operation is carried out on the tested address space;
for address space write access, if the address space does not allow reading, directly performing write test;
for address space write access, if the address space is readable, reading an original value of the address space, and then performing write test, and if the write access is successful, restoring the address space to the original value;
and for the address space execution access, if the address space is an unexecutable address space, directly executing the execution access, if the address space is an executable address space, modifying the instruction of the address space into a return jump instruction, and then executing the execution access. Thereby ensuring that the whole testing process can be continuously executed.
Furthermore, when the selected address space is the address space of the code segment used by the first task and the second task, the address space can be accessed normally. Thereby ensuring that the continued execution of the test procedure is not disrupted.
Further, when the selected address space is a stack space used by the first task and the second task, the address space is normally accessed. Thereby ensuring that the continued execution of the test procedure is not disrupted.
Further, when the selected address space is a global variable space used by the first task and the second task, the address space is normally accessed. Thereby ensuring that the continued execution of the test procedure is not disrupted.
The invention has the advantages and beneficial effects that: for safety critical systems, it is necessary to ensure that the system performs as expected in each case. The partition provides space isolation for applications with different security levels in the system, the security of the system is guaranteed, and the isolation expectation is met under various use conditions depending on the partition isolation. In civil aircraft, a large number of experiments and analyses are required for verifying the adequacy of partition space isolation. The method provides a full-automatic test method facing partition space isolation, can prove whether the space access effect of a partition under various conditions is in accordance with expectations or not, is fully automatically executed in the whole execution process, can sufficiently and effectively give evidence of partition space isolation integrity, and achieves the airworthiness goal of DO-178C with lower cost.
Description of the drawings:
FIG. 1 is a schematic diagram of the principles of the present invention;
FIG. 2 is a schematic view of embodiment 1;
FIG. 3 is a schematic view of embodiment 2;
FIG. 4 is a schematic view of embodiment 3;
FIG. 5 is a schematic view of embodiment 4;
the specific implementation mode is as follows:
the present invention is described in further detail below with reference to the attached drawings.
Example 1
Referring to fig. 1-2, in the above method, in this embodiment, a fully automatic test method for partition space isolation includes the following steps:
step 1): the system creates a plurality of partitions, each partition is responsible for managing a part of space resources, each partition can create a plurality of tasks, and the task types comprise hard real-time tasks and soft real-time tasks; the space resource responsible for each partition that the task created by that partition is allowed to access; each partition is provided with a fault processing task, and the task type of the fault processing task is a soft real-time task; the system creates a space planning table, wherein the space planning table is used for defining the address space which each task in each partition is allowed to access, and each task can only access the space of the corresponding partition; if the task in the partition accesses an address space outside the specification, the health monitor reports a space access fault to a fault processing task, wherein the fault processing task is a task defined by a user; a fault processing task is established in each partition;
step 2): creating a first task and a second task in any partition, and setting a processing process of a space access fault as task restart in a fault processing task of each partition; selecting an address space in the whole address space of the system;
step 3): in a first execution cycle, scheduling a first task and a second task, wherein the first task is prior to the second task; in the first task, firstly, judging whether the selected address space is a system termination address, if so, reading the test result of each address space, and exporting all the test results, if not, judging whether the selected address space is an address space which is allowed to be accessed by the first task Xu Sushu in the space planning table, if so, identifying the address space as allowed to be accessed, and if not, identifying the address space as not allowed to be accessed;
in the second task, when the first task identifier completes an address space, the second task accesses the address space, if the access is successful, the address space is identified as allowed to be accessed, if the access is failed, the fault processing task of the current partition is triggered, the address space is identified as not allowed to be accessed, and the current address space access is finished;
the end of the period continues to a second execution period;
step 4): in a second execution cycle, the first task judges whether the identification results of the first task and the second task in the previous cycle are the same, if so, the test result of the selected address space is successful; if not, the test result of the selected address space is failure; the first task records the test result of the selected address space; and selecting the next address space and executing the step 3).
Example 2
Referring to FIGS. 1 and 3, in the above method, in the present embodiment, a partition space isolation oriented fully autonomous system
The dynamic testing method is characterized by comprising the following steps:
step 1): the system creates a plurality of partitions, each partition is responsible for managing a part of space resources, each partition can create a plurality of tasks, and the task types comprise hard real-time tasks and soft real-time tasks; the space resource responsible for each partition that the task created by that partition is allowed to access; each partition is provided with a fault processing task, and the task type of the fault processing task is a soft real-time task; the system creates a space planning table, wherein the space planning table is used for defining the address space which each task in each partition is allowed to access, and each task can only access the space of the corresponding partition; if the task in the partition accesses an address space outside the specification, the health monitor reports a space access fault to a fault processing task, wherein the fault processing task is a task defined by a user; a fault processing task is established in each partition;
step 2): creating a first task and a second task in any partition, and setting a processing process of a space access fault as task restart in a fault processing task of each partition; selecting an address space in the whole address space of the system;
step 3): in a first execution cycle, scheduling a first task and a second task, wherein the first task is prior to the second task; in the first task, judging whether the selected address space is an address space which is allowed to be accessed by the first task Xu Sushu in the space planning table, if so, identifying the address space as allowed to be accessed, and if not, identifying the address space as not allowed to be accessed;
in the second task, when the first task identifier completes an address space, the second task accesses the address space, and the method for accessing the address space comprises the steps of reading an address, writing the address and executing an instruction of the address; if the access is successful, the access is marked as allowed, if the access is failed, the fault processing task of the current partition is triggered, the access is marked as not allowed, and the access of the current address space is finished;
the end of the period continues to a second execution period;
step 4): in a second execution cycle, the first task judges whether the identification results of the first task and the second task in the previous cycle are the same, if so, the test result of the selected address space is successful; if not, the test result of the selected address space is failure; the first task records the test result of the selected address space; and selecting the next address space and executing the step 3).
Example 3
Referring to FIGS. 1 and 4, in the above method, in the present embodiment, a partition space isolation oriented fully autonomous system
The dynamic testing method is characterized by comprising the following steps:
step 1): the system creates a plurality of partitions, each partition is responsible for managing a part of space resources, each partition can create a plurality of tasks, and the task types comprise hard real-time tasks and soft real-time tasks; the space resource responsible for each partition that the task created by that partition is allowed to access; each partition is provided with a fault processing task, and the task type of the fault processing task is a soft real-time task; the system creates a space planning table, wherein the space planning table is used for defining the address space which each task in each partition is allowed to access, and each task can only access the space of the corresponding partition; if the task in the partition accesses an address space outside the specification, the health monitor reports a space access fault to a fault processing task, wherein the fault processing task is a task defined by a user; a fault processing task is established in each partition;
step 2): creating a first task and a second task in any partition, and setting a processing process of a space access fault as task restart in a fault processing task of each partition; selecting an address space in the whole address space of the system;
and step 3): in a first execution cycle, scheduling a first task and a second task, wherein the first task is prior to the second task; in the first task, judging whether the selected address space is an address space which is allowed to be accessed by the first task Xu Sushu in the space planning table, if so, identifying the address space as allowed to be accessed, and if not, identifying the address space as not allowed to be accessed;
in the second task, when the first task identifier completes an address space, the second task accesses the address space, if the access is successful, the address space is identified as allowed to be accessed, if the access is failed, the fault processing task of the current partition is triggered, the address space is identified as not allowed to be accessed, and the current address space access is finished;
the end of the period continues to a second execution period;
step 4): in a second execution cycle, the first task judges whether the identification results of the first task and the second task in the previous cycle are the same, if so, the test result of the selected address space is successful; if not, the test result of the selected address space is failure; the first task records the test result of the selected address space; and selecting the next address space and executing the step 3).
The part of space resources are a partition code segment address space, a data segment address space, a stack segment address space and a device segment address space;
the partitioned code segment address space allows read access and execute access, and does not allow write access;
the address space of the partition data segment and the address space of the stack segment allow read access and write access, but do not allow execution access;
if the device segment address space of the partition is the readable and writable device segment address space, allowing read access and write access, and not allowing execution access;
and if the device segment address space of the partition is a read-only device segment address space, if the read access is allowed, the execution access and the write access are not allowed.
Example 4
Referring to FIGS. 1 and 5, in the above method, in the present embodiment, a partition space isolation oriented fully autonomous system
The dynamic test method is characterized by comprising the following steps:
step 1): the system establishes a plurality of partitions, each partition is responsible for managing a part of space resources, each partition can establish a plurality of tasks, and the task types comprise hard real-time tasks and soft real-time tasks; the space resource responsible for each partition that the task created by that partition is allowed to access; each partition is provided with a fault processing task, and the task type of the fault processing task is a soft real-time task; the system creates a space planning table, wherein the space planning table is used for defining the address space which each task in each partition is allowed to access, and each task can only access the space of the corresponding partition; if the task in the partition accesses the address space outside the specification, the health monitor reports a space access fault to a fault processing task, wherein the fault processing task is a task defined by a user; a fault processing task is established in each partition;
step 2): creating a first task and a second task in any partition, and setting a processing process of a space access fault as task restart in a fault processing task of each partition; selecting an address space in the whole address space of the system;
and step 3): in a first execution cycle, scheduling a first task and a second task, wherein the first task is prior to the second task; in the first task, judging whether the selected address space is an address space which is allowed to be accessed by the first task Xu Sushu in the space planning table, if so, identifying the address space as allowed to be accessed, and if not, identifying the address space as not allowed to be accessed;
in a second task, when the first task identifier completes an address space, the second task accesses the address space, if the access is successful, the address space is identified as allowed to be accessed, if the access is failed, a fault processing task of the current partition is triggered, the address space is identified as not allowed to be accessed, and the current address space access is finished;
the end of the period continues to a second execution period;
step 4): in a second execution cycle, the first task judges whether the identification results of the first task and the second task in the previous cycle are the same, if so, the test result of the selected address space is successful; if not, the test result of the selected address space is failure; the first task records the test result of the selected address space; and selecting the next address space and executing the step 3).
Each partition is not responsible for managing space resources and is not allowed access.
Claims (10)
1. A full-automatic test method facing partition space isolation is characterized in that:
step 1): the system establishes a plurality of partitions, each partition is responsible for managing a part of space resources, each partition can establish a plurality of tasks, and the task types comprise hard real-time tasks and soft real-time tasks; the space resources responsible for each partition that the tasks created by that partition are allowed to access; each partition is provided with a fault processing task, and the task type of the fault processing task is a soft real-time task; the system creates a space planning table, wherein the space planning table is used for defining the address space which each task in each partition is allowed to access, and each task can only access the space of the corresponding partition; if the task in the partition accesses an address space outside the specification, the health monitor reports a space access fault to a fault processing task, wherein the fault processing task is a task defined by a user; a fault processing task is established in each partition;
step 2): creating a first task and a second task in any partition, and setting a processing process of a space access fault as task restart in a fault processing task of each partition; selecting an address space in the whole address space of the system;
step 3): in a first execution cycle, scheduling a first task and a second task, wherein the first task is prior to the second task; in the first task, judging whether the selected address space is an address space which is allowed to be accessed by the first task Xu Sushu in the space planning table, if so, identifying the address space as allowed to be accessed, and if not, identifying the address space as not allowed to be accessed;
in the second task, when the first task identifier completes an address space, the second task accesses the address space, if the access is successful, the address space is identified as allowed to be accessed, if the access is failed, the fault processing task of the current partition is triggered, the address space is identified as not allowed to be accessed, and the current address space access is finished;
the end of the period continues to a second execution period;
step 4): in a second execution cycle, the first task judges whether the identification results of the first task and the second task in the previous cycle are the same, if so, the test result of the selected address space is successful; if not, the test result of the selected address space is failure; the first task records the test result of the selected address space; and selecting the next address space and executing the step 3).
2. The full-automatic test method for partition space isolation according to claim 1, wherein: in the first task in step 3), firstly, judging whether the selected address space is a system termination address, if so, reading the test result of each address space, and exporting all the test results, if not, judging whether the selected address space is an address space which is allowed to be accessed by the first task Xu Sushu in the space planning table, if so, identifying the address space as allowed to be accessed, and if not, identifying the address space as not allowed to be accessed.
3. The full-automatic test method for partition space isolation according to claim 1, wherein: the method for accessing the address space in the step 3) comprises the steps of reading the address, writing the address and executing the instruction of the address.
4. The full-automatic test method for partition space isolation according to claim 3, wherein: the part of space resources are a partition code segment address space, a data segment address space, a stack segment address space and a device segment address space;
the partitioned code segment address space allows read access and execute access, and does not allow write access;
the address space of the partition data segment and the address space of the stack segment allow read access and write access, but do not allow execution access;
if the device segment address space of the partition is the readable and writable device segment address space, allowing read access and write access, and not allowing execution access;
and if the partitioned device segment address space is a read-only device segment address space, if the read access is allowed, the execution access and the write access are not allowed.
5. The full-automatic test method for partition space isolation according to claim 3, wherein: each partition is not responsible for managing space resources and is not allowed access.
6. The full-automatic test method for partition space isolation according to claim 4, wherein: the partitions manage the space resources by using an address mapping page table, wherein the address mapping page table is composed of a plurality of pages, and each page describes the space access characteristics of a certain length of address space;
in step 4), the next address space is calculated, and the size of the page in the address mapping page table is changed for the current address space.
7. The fully automatic test method for partitioned space isolation according to claim 3 or 4, wherein:
for address space read access, performing read operation on the tested address space;
for address space write access, if the address space does not allow reading, directly performing write test;
for address space write access, if the address space is readable, reading an original value of the address space, and then performing write test, and if the write access is successful, restoring the address space to the original value;
and for the address space execution access, if the address space is an unexecutable address space, directly executing the execution access, if the address space is an executable address space, modifying the instruction of the address space into a return jump instruction, and then executing the execution access.
8. The full-automatic test method for partition space isolation according to claim 4, wherein:
when the selected address space is the address space of the code segment used by the first task and the second task, the address space can be accessed normally.
9. A fully automatic test method for partition space isolation according to any one of claims 1 to 8, characterized in that:
when the selected address space is the stack space used by the first task and the second task, the address space is normally accessed.
10. The full-automatic test method for partition space isolation according to claim 1, wherein:
and when the selected address space is the global variable space used by the first task and the second task, the address space is normally accessed.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010661734.XA CN112380108B (en) | 2020-07-10 | 2020-07-10 | Full-automatic test method for partition space isolation |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010661734.XA CN112380108B (en) | 2020-07-10 | 2020-07-10 | Full-automatic test method for partition space isolation |
Publications (2)
Publication Number | Publication Date |
---|---|
CN112380108A CN112380108A (en) | 2021-02-19 |
CN112380108B true CN112380108B (en) | 2023-03-14 |
Family
ID=74586394
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202010661734.XA Active CN112380108B (en) | 2020-07-10 | 2020-07-10 | Full-automatic test method for partition space isolation |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN112380108B (en) |
Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1268704A (en) * | 1999-03-29 | 2000-10-04 | 国际商业机器公司 | Device and method for section district memory protection in the high speed storage related symmetric multiple processor system |
US6571360B1 (en) * | 1999-10-19 | 2003-05-27 | Sun Microsystems, Inc. | Cage for dynamic attach testing of I/O boards |
CN103235756A (en) * | 2013-04-22 | 2013-08-07 | 北京航空航天大学 | Simulation testing method for partition application software of embedded system |
CN106293986A (en) * | 2016-08-12 | 2017-01-04 | 中国航空工业集团公司西安飞行自动控制研究所 | A kind of failure monitoring processing means based on virtual interrupt and method |
CN107220126A (en) * | 2017-05-27 | 2017-09-29 | 中国南方电网有限责任公司调峰调频发电公司 | X86 servers dynamic hard partitioning method, device, storage medium and computer equipment |
WO2018157768A1 (en) * | 2017-02-28 | 2018-09-07 | 华为技术有限公司 | Method and device for scheduling running device, and running device |
WO2018157819A1 (en) * | 2017-03-02 | 2018-09-07 | 华为技术有限公司 | Method and apparatus for multiple sub-current network transmission |
CN109144851A (en) * | 2018-07-24 | 2019-01-04 | 中国航空工业集团公司西安飞行自动控制研究所 | Oriented mission extremely limits the redundance software debugging device and adjustment method of monitoring |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7146499B2 (en) * | 2002-09-30 | 2006-12-05 | International Business Machines Corporation | Security system for replicated storage devices on computer networks |
US8370478B2 (en) * | 2004-09-07 | 2013-02-05 | Hewlett-Packard Development Company, L.P. | Testing a data communication architecture |
-
2020
- 2020-07-10 CN CN202010661734.XA patent/CN112380108B/en active Active
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1268704A (en) * | 1999-03-29 | 2000-10-04 | 国际商业机器公司 | Device and method for section district memory protection in the high speed storage related symmetric multiple processor system |
US6571360B1 (en) * | 1999-10-19 | 2003-05-27 | Sun Microsystems, Inc. | Cage for dynamic attach testing of I/O boards |
CN103235756A (en) * | 2013-04-22 | 2013-08-07 | 北京航空航天大学 | Simulation testing method for partition application software of embedded system |
CN106293986A (en) * | 2016-08-12 | 2017-01-04 | 中国航空工业集团公司西安飞行自动控制研究所 | A kind of failure monitoring processing means based on virtual interrupt and method |
WO2018157768A1 (en) * | 2017-02-28 | 2018-09-07 | 华为技术有限公司 | Method and device for scheduling running device, and running device |
WO2018157819A1 (en) * | 2017-03-02 | 2018-09-07 | 华为技术有限公司 | Method and apparatus for multiple sub-current network transmission |
CN107220126A (en) * | 2017-05-27 | 2017-09-29 | 中国南方电网有限责任公司调峰调频发电公司 | X86 servers dynamic hard partitioning method, device, storage medium and computer equipment |
CN109144851A (en) * | 2018-07-24 | 2019-01-04 | 中国航空工业集团公司西安飞行自动控制研究所 | Oriented mission extremely limits the redundance software debugging device and adjustment method of monitoring |
Non-Patent Citations (3)
Title |
---|
partition test address;Deepa Jose;《2013 International Conference on Advances in Computing, Communications and Informatics (ICACCI)》;20131021;全文 * |
TrustZone架构下基于RPMB的隐私数据保护方法;喻潇;《计算机应用》;20181225;全文 * |
一种面向多级安全的文件系统实现机制;杨琼等;《航空计算技术》;20170525(第03期);全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN112380108A (en) | 2021-02-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10241852B2 (en) | Automated qualification of a safety critical system | |
US8930912B2 (en) | Method and system for performing software verification | |
US8918783B2 (en) | Managing virtual computers simultaneously with static and dynamic dependencies | |
US8533682B2 (en) | Amplification of dynamic checks through concurrency fuzzing | |
JP6788178B2 (en) | Setting support program, setting support method and setting support device | |
US20120260132A1 (en) | Test selection based on an n-wise combinations coverage | |
US20090064137A1 (en) | Method and Apparatus for Determining a Service Cluster Topology Based on Static Analysis | |
CN106325970A (en) | Compiling method and compiling system | |
US7685471B2 (en) | System and method for detecting software defects | |
US6928378B2 (en) | Stress testing at low cost through parallel execution of unit tests | |
Chen et al. | Conformance testing for OSEK/VDX operating system using model checking | |
US9513889B2 (en) | System and method of automating installation of applications | |
CN113238924B (en) | Chaotic engineering realization method and system in distributed graph database system | |
US9003231B1 (en) | System for instantiating service instances for testing in a known state | |
CN110990289B (en) | Method and device for automatically submitting bug, electronic equipment and storage medium | |
CN110750457A (en) | Automatic unit testing method and device based on memory database | |
US8850407B2 (en) | Test script generation | |
CN112380108B (en) | Full-automatic test method for partition space isolation | |
CN111625330A (en) | Cross-thread task processing method and device, server and storage medium | |
US11366743B2 (en) | Computing resource coverage | |
CN115617668A (en) | Compatibility testing method, device and equipment | |
CN114996955A (en) | Target range environment construction method and device for cloud-originated chaotic engineering experiment | |
US20220350596A1 (en) | Computing node allocation based on build process specifications in continuous integration environments | |
Cao et al. | Research on reliability evaluation of big data system | |
Byun et al. | Automated system-level safety testing using constraint patterns for automotive operating systems |
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 |