[go: up one dir, main page]

CN119883411B - Avionics core processing platform data packaging method - Google Patents

Avionics core processing platform data packaging method

Info

Publication number
CN119883411B
CN119883411B CN202411956973.2A CN202411956973A CN119883411B CN 119883411 B CN119883411 B CN 119883411B CN 202411956973 A CN202411956973 A CN 202411956973A CN 119883411 B CN119883411 B CN 119883411B
Authority
CN
China
Prior art keywords
file
data
tool
loadable
avionics
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
Application number
CN202411956973.2A
Other languages
Chinese (zh)
Other versions
CN119883411A (en
Inventor
叶上华
陈朋瑞
石杰
李雪源
湛文韬
荆浩
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Xian Aeronautics Computing Technique Research Institute of AVIC
Original Assignee
Xian Aeronautics Computing Technique Research Institute of AVIC
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Xian Aeronautics Computing Technique Research Institute of AVIC filed Critical Xian Aeronautics Computing Technique Research Institute of AVIC
Priority to CN202411956973.2A priority Critical patent/CN119883411B/en
Publication of CN119883411A publication Critical patent/CN119883411A/en
Application granted granted Critical
Publication of CN119883411B publication Critical patent/CN119883411B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/445Program loading or initiating
    • G06F9/44521Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F18/00Pattern recognition
    • G06F18/20Analysing
    • G06F18/21Design or setup of recognition systems or techniques; Extraction of features in feature space; Blind source separation
    • G06F18/214Generating training patterns; Bootstrap methods, e.g. bagging or boosting
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F18/00Pattern recognition
    • G06F18/20Analysing
    • G06F18/24Classification techniques
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/445Program loading or initiating
    • G06F9/44505Configuring for program initiating, e.g. using registry, configuration files

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Artificial Intelligence (AREA)
  • Evolutionary Computation (AREA)
  • Evolutionary Biology (AREA)
  • Computer Vision & Pattern Recognition (AREA)
  • Bioinformatics & Computational Biology (AREA)
  • Bioinformatics & Cheminformatics (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

本发明的基于航电核心处理平台数据打包的方法,按照一定的数据格式要求将待加载的数据分类并打包,提高软件维护、加载和管理的效率,提升航电设备的安全性。首先根据各个软件项是否与设备位置相关形成不同的可加载软件飞机零部件,其次将存在依赖关系的多个原始数据打包或组合成单独的二进制配置文件或数据库,对于航电核心处理平台生成特定可加载软件飞机零部件中的特定操作配置表;然后为所有待加载的可执行文件或配置文件通过数据文件生成工具为它们添加可加载项头以此生成可加载项;然后为所有可加载项通过支持文件生成工具生成一个支持文件,方便可加载软件飞机零部件中包含的信息在加载过程中被统一处理,使用性能较高。

The data packaging method based on the avionics core processing platform of the present invention classifies and packages the data to be loaded according to certain data format requirements, thereby improving the efficiency of software maintenance, loading and management and enhancing the safety of avionics equipment. First, different loadable software aircraft parts are formed according to whether each software item is related to the device location. Secondly, multiple raw data with dependencies are packaged or combined into a separate binary configuration file or database, and a specific operation configuration table in a specific loadable software aircraft part is generated for the avionics core processing platform; then, a loadable item header is added to all executable files or configuration files to be loaded through a data file generation tool to generate a loadable item; then, a support file is generated for all loadable items through a support file generation tool, so that the information contained in the loadable software aircraft part is conveniently processed uniformly during the loading process, and the performance is high.

Description

Avionics core processing platform data packaging method
Technical Field
The invention belongs to the technical field of loadable data of avionics equipment, and particularly relates to a data packaging method based on an avionics core processing platform.
Background
Avionics core processing platforms are used by a variety of airliners as highly centralized processing systems with increasing emphasis on high reliability, high security, and ease of maintenance. Numerous data items, such as platform-level software operating systems, resident applications, configuration data, databases, etc., reside on avionics devices of the avionics core processing platform. With the wide application of avionics core processing platforms, more and more data items reside on the avionics core processing platforms, inconvenience is brought to loading operation and maintenance operation due to the lack of an effective packing method and tools for the data items, so that the transmission efficiency of airborne data is reduced.
Disclosure of Invention
In view of the above, the data packaging method based on the avionics core processing platform provided by the invention packages the data to be loaded according to a certain data format requirement, is used for solving the problem of disordered data item configuration of avionics equipment, improves the efficiency of software maintenance, management and loading, and improves the safety of avionics equipment.
A method for packaging data based on an avionics core processing platform, which is suitable for loading data of an airborne avionics system running various software and provided with a plurality of avionics devices, the method comprising,
Step 1, classifying loadable software aircraft parts to form a plurality of software sets, presetting to generate a plurality of data sets suitable for avionics according to whether each software set is related to the position of the avionics, wherein each data set is used as the loadable software aircraft parts, and the data sets comprise a first data set, a plurality of second data sets and a third data set, and are used as the input of a tool set, and the tool set is used for packaging the data loaded by the avionics and writing rules of the data into each data set:
Step 2, executing a data integration tool process, wherein all the second data sets generate a specific operation configuration table through the data integration tool, and the data integration tool is used for connecting an operation system configuration, an end system configuration, a storage configuration and a file system configuration which are provided by a user and are applicable to specified avionics equipment into a binary file;
step 3, executing a data file generation tool process, wherein a plurality of software in one data packet are packaged;
Step 4, executing a supporting file generation tool process, describing the packed data packet, and forming a description file in a preset format;
Step 5, executing a header file generation tool, wherein the support file description file execution header file generation tool generates a header file, and the header file is used for quickly or briefly describing data included in a data set in the data loading process of avionics equipment and determining quick judgment of loaded contents of the avionics equipment
Firstly, according to whether each software item is related to the equipment position, different loadable software airplane parts are formed, namely a general loadable software airplane part, a specific loadable software airplane part and a configuration list loadable software airplane part.
Universal loadable software aircraft parts, comprising software common to all locations and minimum configuration data, to support avionics at each location. Even if the position of the equipment changes, the software on the equipment can still normally run;
a specific loadable software aircraft component comprising only software items of specific avionics equipment, wherein the software items comprise a partition loading mapping table and a specific operation configuration table of the equipment;
The configuration list can be loaded with software aircraft parts, namely configuration items of all avionics equipment comprising the avionics core processing platform. Configuration items are defined for configuration checking by listing all generic loadable software aircraft parts and each specific loadable software aircraft part and its own part number.
Second, a loadable software aircraft component is generated by executing the following tools, including:
(1) Data integration tool
The purpose of the data integration tool is to combine multiple individual binary files into a single loadable configuration or database file for access by the avionics core processing platform as a single entity. The tool is illustrated by way of example with specific operational configuration tables in specific loadable software aircraft parts, namely an operating system configuration, an end system configuration, a storage configuration and a file system configuration. These configuration binaries are tightly coupled because arinc653 ports defined in the operating system configuration must match COM ports in the end system configuration, and partitions defined in the operating system configuration must match partitions in the designated storage configuration and file system configuration. The tool links these binary files with dependencies into one file.
(2) A data file generation tool that generates and validates loadable items applicable to avionics core processing platform avionics by adding LIH to the original binary file. LIH includes loadable item attributes and software and hardware information, binary file size and CRC. When the loadable item is loaded, the LIH is stored in the avionics device for use in generating configuration reports.
(3) Support file generation tool
The support file has a part of the information in the header file and a part of the information in the data file, and the data file generation tool integrates the data in one file so that avionics equipment can uniformly process the information when loading the data, such as compatibility checking and the like.
(4) Header file generation tool
The header file is used for confirming the data file to be loaded and the supporting file in the data loading process by the avionics core processing platform.
The invention has the technical advantages that:
The data integration tool can effectively improve efficiency of configuration management by means of whether data items in the avionics equipment are related to equipment positions to form universal loadable software aircraft parts, specific loadable software aircraft parts and configuration list loadable software aircraft parts, a group of binary configuration files or databases with mutual dependency relations are combined into a single file, the number of loading items can be reduced, accordingly, the number of compatibility checking is reduced, secondly, in order to align memories with sector boundaries, the sizes of all loadable items must be rounded into sectors with the closest sizes, each loadable item stored has a large amount of memory waste, the storage efficiency of the avionics equipment can be improved by combining files, the loadable item heads generated by the data file generation tool are used for identifying information of the current loadable item and generating configuration reports by using LIH of the new loadable software aircraft parts when the new loadable software aircraft parts need to be created, the supporting file generation tool and the head file generation tool can directly create new supporting files, and the supporting safety of the electrical equipment for improving the compatibility when the avionics processing platform loads data.
Drawings
In order to more clearly illustrate the technical solutions of the embodiments of the present disclosure, the drawings that are needed in the embodiments will be briefly described below, and it is obvious that the drawings in the following description are only some embodiments of the present disclosure, and other drawings may be obtained according to these drawings without inventive effort to a person of ordinary skill in the art.
FIG. 1 is an overall architecture diagram of a tool set;
FIG. 2 is a classification diagram of loadable software aircraft parts;
FIG. 3 is a diagram of a supported file format;
Fig. 4 is a header file format diagram.
Detailed Description
Embodiments of the present disclosure are described in detail below with reference to the accompanying drawings.
Other advantages and effects of the present disclosure will become readily apparent to those skilled in the art from the following disclosure, which describes embodiments of the present disclosure by way of specific examples. It will be apparent that the described embodiments are merely some, but not all embodiments of the present disclosure. The disclosure may be embodied or practiced in other different specific embodiments, and details within the subject specification may be modified or changed from various points of view and applications without departing from the spirit of the disclosure. It should be noted that the following embodiments and features in the embodiments may be combined with each other without conflict. All other embodiments, which can be made by one of ordinary skill in the art without inventive effort, based on the embodiments in this disclosure are intended to be within the scope of this disclosure.
It is noted that various aspects of the embodiments are described below within the scope of the following claims. It should be apparent that the aspects described herein may be embodied in a wide variety of forms and that any specific structure and/or function described herein is merely illustrative. Based on the present disclosure, one skilled in the art will appreciate that one aspect described herein may be implemented independently of any other aspect, and that two or more of these aspects may be combined in various ways. For example, an apparatus may be implemented and/or a method practiced using any number of the aspects set forth herein. In addition, such apparatus may be implemented and/or such methods practiced using other structure and/or functionality in addition to one or more of the aspects set forth herein.
The method for packaging data based on the avionics core processing platform, as shown in fig. 1-4, is suitable for loading data of an airborne avionics system, which runs a plurality of kinds of software and is provided with a plurality of avionics devices, and comprises,
Step 1, classifying the loadable software aircraft parts to form a plurality of software sets, presetting to generate a plurality of data sets suitable for avionics according to whether each software set is related to the position of the avionics, wherein each data set is used as the loadable software aircraft parts, the data sets comprise a first data set, a plurality of second data sets and a third data set, the data sets are used as the input of a tool set, the tool set is used for packaging the data loaded by the avionics, and the rule of the data is put into each data set, in particular,
Step 1.1, storing software applicable to universal positions of all avionics in a first data set, namely, any one piece of software in the first data set is loaded by the avionics with universal positions;
Step 1.2, each avionics equipment corresponds to an equipment loading mapping table and a specific operation configuration table, and according to the names of the equipment loading mapping table and the specific operation configuration table (the names comprise the positions and the names corresponding to the avionics equipment), the equipment loading mapping table and the specific operation configuration table are stored in a second data set matched with the names, (one name is pre-allocated in the second data set, and when the names of the two tables are the same, the names are stored);
And 1.3, counting the names and the storage of the first data set and all the second data sets by the third data set to form a configuration list, namely, storing all the names by the configuration list in the third data set, wherein the configuration list is applicable to loading all avionics equipment.
By classifying the loadable software of all avionics, the loading times of the software can be reduced by combining the software, and the service efficiency of the avionics is improved.
Step 2, executing a data integration tool process, wherein all the second data sets generate a specific operation configuration table through the data integration tool, the data integration tool is used for connecting the operation system configuration, the end system configuration, the storage configuration and the file system configuration, which are provided by a user and are applicable to the specified avionics equipment, into a binary file, for example, generating a binary file by traversing the operation system configuration, the end system configuration, the storage configuration and the file system configuration, preferably,
The binary file is analyzed to determine whether each part connected with the binary file is correct, wherein the binary file generated by analyzing is used for calculating the correctness of CRC values of the operating system configuration, the end system configuration, the storage configuration and the file system configuration, if so, a data integration tool result report is generated, and if not, the tool error information feedback is carried out, and the user inputs again.
And 3, executing a data file generation tool process to package a plurality of software in one data packet, specifically,
Step 3.1, the data set acquires a data file description file in an XML format in a man-machine interaction mode, wherein the data file description file comprises a main node corresponding to the XML format, the main node comprises LoadItem loadable items, the attribute of the main node is the name, ID, part number and type of the loadable items, and the attribute of the sub node comprises software version information, sub node HW hardware information, the attribute of the sub node comprises cabinet number, version and cabinet position and module position of target avionics equipment of the data file to be loaded, the attribute of the sub node comprises href and is linked to the storage position of the binary file as a variable;
Step 3.2, binary files and description files are used as input of a data file generation tool, the data file generation tool is used for generating data files, the data files are used for data loading of all avionics equipment, the data file generation tool sequentially obtains loadable item attributes and software and hardware information of software and the size and CRC value of the binary files by analyzing the data file description files, the loadable item attributes and the software and hardware information and the size and CRC value of the binary files are added into 1024 bytes of the binary file header, the 1024 bytes of the binary file header are used as loadable item header data LIH, and the loadable item header data LIH is used for quickly identifying loading items by the avionics equipment;
Further, verification is required, for example, all the attributes in the XML description file in step 3 are analyzed, and compared with all the attributes in the generated LIH, if the verification report is correct, a verification report is generated, including whether each attribute is successfully verified, if the verification report is incorrect, the tool reports error information feedback, and the user inputs the error information feedback again.
And 4, executing a supporting file generating tool process, describing the packed data packet to form a description file with a preset format, wherein all data file description files are used as the input of the supporting file generating tool, and the supporting file generating tool is used for generating supporting files with XML format. The XML format includes a main node SupportFile supporting file, the attribute of the main node is the name, ID and the part number of the part of the loadable software aircraft and the name, ID and the part number of the supporting file, the attribute of the sub node includes href, the description file of the data file is used as a variable to be linked to the storage position of the description file of the data file, if a plurality of data files exist in the loading, a plurality of corresponding sub nodes are introduced, for example, the binary supporting file format generated by analyzing the description file of the supporting file and the description file of the data file and the data file contained in the traversing file is shown in figure 3.
And 4.2, analyzing all the attributes in the data file description file and the support file description file, comparing with all the attributes in the binary support file, if the attributes are correct, generating a verification report including whether each attribute is successfully verified, and if the attributes are incorrect, feeding back error information by the tool, and re-inputting by a user.
Step 5, executing a header file generating tool process, wherein the header file is a binary file, supporting file description file to execute the header file generating tool to generate a header file, wherein the header file is used for quickly or briefly describing data included in a data set in the avionics data loading process, determining quick judgment of loaded contents of the avionics, specifically,
Step 5.1, the supporting file description file in the step 4 is used as the input of a header file generating tool, and binary files of the header file are generated by analyzing nodes and attributes of the supporting file description file;
Step 5.2, the binary format of the header file is shown in FIG. 4;
And 5.3, analyzing all nodes and attributes in the supporting file description file in the step 5.1, comparing with all attributes in the generated header file, and generating a verification report including whether each attribute is successfully verified, wherein if any attribute is wrong, the header file generation tool fails to execute.
The above is merely a specific embodiment of the disclosure, but the protection scope of the disclosure is not limited thereto, and any changes or substitutions easily conceivable by those skilled in the art within the technical scope of the disclosure are intended to be covered in the protection scope of the disclosure. Therefore, the protection scope of the present disclosure shall be subject to the protection scope of the claims.

Claims (6)

1. A method for packaging data based on an avionics core processing platform, which is suitable for loading data of an airborne avionics system running various software and provided with a plurality of avionics devices, and is characterized in that the method comprises the following steps of,
Step 1, classifying loadable software aircraft parts to form a plurality of software sets, classifying according to whether each software set is related to the position of avionics equipment or not, presetting to generate a plurality of data sets suitable for the avionics equipment, wherein each data set is used as the loadable software aircraft parts, the data sets comprise a first data set, a plurality of second data sets and a third data set, the data sets are used as the input of a tool set, the tool set can package the data loaded by the avionics equipment, and the rule of writing the data into each data set comprises the rule of writing the data into each data set,
Step 1.1, storing software applicable to the universal positions of all avionics equipment in the first data set;
Step 1.2, each avionics device corresponds to a device loading mapping table and a specific operation configuration table, and the device loading mapping table and the specific operation configuration table are stored in a second data set matched with the names according to the names of the device loading mapping table and the specific operation configuration table;
step 1.3, the third data set is used for counting the names and the storage of the first data set and all the second data sets to form a configuration list;
Step 2, executing a data integration tool process, wherein all the second data sets generate a specific operation configuration table through the data integration tool, and the data integration tool is used for connecting an operation system configuration, an end system configuration, a storage configuration and a file system configuration which are provided by a user and are applicable to specified avionics equipment into a binary file;
step 3, executing a data file generation tool process, wherein a plurality of software in one data packet are packaged;
Step 4, executing a supporting file generation tool process, describing the packed data packet, and forming a description file in a preset format;
And 5, executing a header file generation tool, wherein the support file description file execution header file generation tool generates a header file, and the header file is used for quickly or briefly describing data included in a data set in the data loading process of the avionics equipment and determining quick judgment of the loaded content of the avionics equipment.
2. The method of claim 1, wherein the binary file in step 2 is parsed to determine whether each portion of the binary file connection is correct, wherein the binary file generated is parsed, the correctness of the CRC values of the operating system configuration, the end system configuration, the storage configuration, and the file system configuration is calculated, if correct, a data integration tool result report is generated, if incorrect, a tool error information feedback is provided, and the user reenters.
3. The method of claim 2, wherein step 3 comprises,
Step 3.1, the data set acquires a data file description file in a man-machine interaction mode, wherein the format of the data file description file is an XML format and comprises a main node corresponding to the XML format, the main node comprises LoadItem loadable items, and the attributes of the main node are the names, the IDs, the piece numbers and the types of the loadable items respectively;
3.2, the binary file and the description file are used as input of a data file generating tool, and the data file is generated by the data file generating tool and is used for data loading of all avionics equipment;
The data file generation tool sequentially obtains the loadable item attribute and the software and hardware information of the software and the size and the CRC value of the binary file by analyzing the data file description file, the loadable item attribute and the software and hardware information are added into 1024 bytes of the header of the binary file, the 1024 bytes of the header of the binary file are used as loadable item header data LIH, and the loadable item header data LIH is used for quickly identifying the loaded item by avionics equipment.
4. A method according to claim 3, wherein all the attributes in the XML description file in step 3 are parsed, and compared with all the attributes in the LIH generation, and if they are correct, a verification report is generated, including whether each attribute is successfully verified, and if they are incorrect, the tool reports the error information feedback, and the user inputs again.
5. The method according to claim 4, wherein step 4 includes, all of the data file description files being input to a support file generation tool for generating support files in XML format;
Analyzing all the attributes in the data file description file and the support file description file, comparing with all the attributes in the binary support file, if the attributes are correct, generating a verification report including whether each attribute is successfully verified, if the attributes are incorrect, reporting error information feedback by a tool, and inputting again by a user.
6. The method of claim 5, wherein step 5 comprises,
Step 5.1, the supporting file description file in the step 4 is used as the input of a header file generating tool, and binary files of the header file are generated by analyzing nodes and attributes of the supporting file description file;
step 5.2, setting a binary format of the header file;
And 5.3, analyzing all nodes and attributes in the supporting file description file in the step 5.1, comparing with all attributes in the generated header file, and generating a verification report including whether each attribute is successfully verified, wherein if any attribute is wrong, the header file generation tool fails to execute.
CN202411956973.2A 2024-12-29 2024-12-29 Avionics core processing platform data packaging method Active CN119883411B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202411956973.2A CN119883411B (en) 2024-12-29 2024-12-29 Avionics core processing platform data packaging method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202411956973.2A CN119883411B (en) 2024-12-29 2024-12-29 Avionics core processing platform data packaging method

Publications (2)

Publication Number Publication Date
CN119883411A CN119883411A (en) 2025-04-25
CN119883411B true CN119883411B (en) 2025-09-30

Family

ID=95421529

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202411956973.2A Active CN119883411B (en) 2024-12-29 2024-12-29 Avionics core processing platform data packaging method

Country Status (1)

Country Link
CN (1) CN119883411B (en)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110442374A (en) * 2019-06-25 2019-11-12 中国电力科学研究院有限公司 Power information acquisition terminal software product packaging method and device
CN115686564A (en) * 2022-10-19 2023-02-03 中国航空工业集团公司雷华电子技术研究所 On-line upgrading method based on airborne radar

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11789753B2 (en) * 2021-06-01 2023-10-17 Google Llc Machine-learned models for user interface prediction, generation, and interaction understanding
CN117421062A (en) * 2023-10-16 2024-01-19 中电科航空电子有限公司 Avionics system data loading device, method, equipment and storage medium

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110442374A (en) * 2019-06-25 2019-11-12 中国电力科学研究院有限公司 Power information acquisition terminal software product packaging method and device
CN115686564A (en) * 2022-10-19 2023-02-03 中国航空工业集团公司雷华电子技术研究所 On-line upgrading method based on airborne radar

Also Published As

Publication number Publication date
CN119883411A (en) 2025-04-25

Similar Documents

Publication Publication Date Title
US7020574B2 (en) Method and system for information handling system automated and distributed test
Deavours et al. The Mobius framework and its implementation
Kapser et al. Toward a taxonomy of clones in source code: A case study
US9576037B2 (en) Self-analyzing data processing job to determine data quality issues
US8296734B2 (en) System and method for testing a software product
CN104965748B (en) Compile platform, Compilation Method and device
US6990600B2 (en) Method for checking a computer system configuration
US8832125B2 (en) Extensible event-driven log analysis framework
US20130263089A1 (en) Generating test cases for functional testing of a software application
CN103473076B (en) The dissemination method of a kind of code release and system
CN106559438A (en) A kind of program method for uploading and device based on objective network platform
US20020059561A1 (en) Software package verification
CN108595187A (en) Method, device and the storage medium of Android installation kit integrated software development kit
Ruijters et al. FFORT: a benchmark suite for fault tree analysis
US20200371902A1 (en) Systems and methods for software regression detection
CN111104158A (en) Software packaging method and device, computer equipment and storage medium
CN109542781A (en) Block chain common recognition test of heuristics method, apparatus, computing device and storage medium
CN119883411B (en) Avionics core processing platform data packaging method
US20140122158A1 (en) License Meta-Model for Automatic License Reasoning
CN119441005A (en) Verification program management method, device, equipment, medium and program product
US9870257B1 (en) Automation optimization in a command line interface
US20220207438A1 (en) Automatic creation and execution of a test harness for workflows
CN115391442A (en) ETL (extract transform load) task synchronization method for common data of medium and small enterprises
KR101916960B1 (en) Apparatus and method in which a plurality of source codes are automatically combined
van Opzeeland et al. Quantitative techniques for the assessment of correspondence between UML designs and implementations

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