CN112100053A - Automatic operation compiling method based on satellite-borne target system verification - Google Patents
Automatic operation compiling method based on satellite-borne target system verification Download PDFInfo
- Publication number
- CN112100053A CN112100053A CN202010791259.8A CN202010791259A CN112100053A CN 112100053 A CN112100053 A CN 112100053A CN 202010791259 A CN202010791259 A CN 202010791259A CN 112100053 A CN112100053 A CN 112100053A
- Authority
- CN
- China
- Prior art keywords
- intermediate code
- bilingual
- file
- job
- target system
- 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
-
- 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 utility model provides a method is compiled in automation operation based on verification of satellite-borne target system, adopt intermediate code and natural language complex description automation operation, describe the operation and accurate expression operation meaning through the intermediate code, make the operation file have good readability through the natural language description simultaneously, realize the stable execution of bilingual operation file, solved traditional automated testing frame and automated testing demand and be difficult to match, with high costs and the problem of low-usage, possess wide application prospect, can provide powerful support for aerospace system and product development work.
Description
Technical Field
The invention relates to an automatic operation compiling method based on satellite-borne target system verification, and belongs to the field of automatic operation.
Background
In recent years, with the improvement of system complexity and the rapid increase of task load, the automatic test is gradually applied to the development process of aerospace products, the development efficiency of the products is effectively improved, and the automatic test plays a greater and greater role. Software testing is the guarantee of product quality, and fast and reliable software testing is the key of quality assurance. The automatic test can accelerate the progress of product test, shorten the product research and development period and improve the product quality, and has been a consensus of software test for a long time.
Automated testing is the activity of converting a human-driven test process into a machine executing corresponding instructions. Typically, after test case design and refinement is complete and passes review, the device or software is operated by a test engineer according to the steps described in the test case and an analytical comparison of the actual output and the expected results of the case is made. In this process, in order to save manpower, time and hardware resources and improve the testing efficiency, an automated testing process is naturally introduced. The automated test framework requires the selection of a scripting language to implement all of the functionality of the framework and to write scripts. In theory, many scripting languages are available as options. However, in actual work, the selection of the script language often needs to be considered according to the characteristics of the system to be tested. Such as TCL language, which was used in Motorola since the last 80 s and was later adopted by equipment manufacturers cisco. The method is successfully applied to the automatic test activity of remotely controlling data communication equipment such as routers, firewalls and the like based on command lines. Automated testing, however, often faces a number of difficulties in the particular implementation. The implementation of automated testing requires modeling of the local product and building an automated testing framework based thereon. Under the condition that the self automatic test requirement is not clear, a commercial and open-source automatic test tool is introduced blindly, the test is developed as soon as possible after the script number is pursued, the result causes huge maintenance workload in the later period, the input and output are not in direct proportion, and finally the whole development process is not paid. Therefore, how to reasonably describe the automatic testing process of the product and select or develop an automatic testing framework suitable for the product on the basis of the automatic testing process is very important. At present, some research has been carried out in the field of automated testing at home and abroad, for example, in patent CN201110407252, "a method for semantic recognition and automatic generation of a spacecraft test script", which proposes to implement description of a binding relationship between a syntax element of the test script and a corresponding column in a test case tabulation template by using an XML language, and implement an engine module for automatic generation of the test script based on a test case tabulation module and a binding relationship configuration module.
Disclosure of Invention
The technical problem solved by the invention is as follows: aiming at the problems that a traditional automatic test framework is difficult to match with automatic test requirements, cost is too high and utilization rate is low in the prior art, an automatic operation compiling method based on satellite-borne target system verification is provided.
The technical scheme for solving the technical problems is as follows:
an automatic operation compiling method based on satellite-borne target system verification comprises the following steps:
(1) compiling a middle code format definition file according to the dynamic verification requirement of the satellite-borne target system;
(2) compiling a bilingual operation file according to the dynamic verification requirement of the satellite-borne target system;
(3) storing the bilingual job file compiled in the step (2) in a case library;
(4) starting automatic testing, extracting and loading the needed bilingual operation files from the case library, starting automatic execution of the operation files, and distributing the intermediate codes according to the time sequence of the operation files; wherein, the loading test is completed by an automatic test engine;
(5) and (4) interpreting the intermediate code distributed in the step (4) through an intermediate code interpreter of the external terminal equipment, and executing corresponding operation to finish the test.
In the step (1), the specific steps of writing the intermediate code format definition file are as follows:
(1-1) classifying and summarizing required operations according to the dynamic verification requirements of the satellite-borne target system, defining operation codes and operation parameters according to the sorting result, and defining a middle code format file;
(1-2) classifying and summarizing required operations according to the interface and the operation requirement of the ground control system, defining operation codes and operation parameters according to the arrangement result, and defining a middle code format file;
(1-3) classifying and summarizing the operation required by operation control according to the requirement of the automatic test task, defining operation codes and operation parameters according to the sorting result, and defining a middle code format file;
(1-4) checking the intermediate code format files obtained in the step (1-1), the step (1-2) and the step (1-3), judging whether the intermediate code format files meet the preset paradigm requirement, if so, finishing the intermediate code format definition, and if not, returning to the step (1-1) to correct the operation codes and the operation parameters;
the required operations are executed through the cooperation of the intermediate code and the intermediate code interpreter.
In the step (2), the specific steps of writing the bilingual job file are as follows:
(2-1) the bilingual operation file comprises N intermediate code operation instructions, N is a natural number greater than 1, complexity judgment is carried out on the intermediate code operation instructions, and a compiling method is selected according to a judgment result, wherein if the judgment result is complex, the step (2-2) is carried out, and if the judgment result is simple, the step (2-3) is carried out;
(2-2) generating a thought to carry out bilingual job file writing in an auxiliary mode through a middle code instruction provided by a supporting tool;
(2-3) editing the bilingual operation file through manual text input or copying and pasting, and converting the intermediate code into bilingual operation description through a support tool;
(2-4) storing the bilingual job file which is obtained in the step (2-2) or the step (2-3) and is compiled, and performing normalized check and processing through a supporting tool to determine that the bilingual job file meets the grammar rule of the intermediate code format definition file;
and (2-5) setting an operation code corresponding to the obtained bilingual job file, and performing nested calling on the bilingual job file which is edited and subjected to normalized checking.
In the step (3), when the bilingual job file is stored in the use case library, the stored file is adjusted to be in a state capable of being automatically loaded when being selected, when the bilingual job file needs to be edited and modified, the bilingual job file is modified through the step (2-2) or the step (2-3), and the process of loading the selected bilingual job file can be recorded and stored as a new bilingual job file.
In the step (4), the specific steps of loading and distributing the bilingual operation file intermediate code in the automated test are as follows:
(4-1) selecting a required bilingual operation file from a case library, loading the selected bilingual operation file to an automatic test engine through an operation interface, and automatically executing the bilingual operation file;
(4-2) judging triggering conditions of each operation in the bilingual job file, and sending a bilingual description intermediate code corresponding to the operation to an intermediate code interpreter when the triggering conditions of any operation are met;
(4-3) after receiving the intermediate code, the intermediate code interpreter of the device corresponding to each operation in the step (4-2) interprets the obtained intermediate code according to the format definition of the intermediate code in the step (1);
and (4-4) when any operation triggering condition is met and successfully executed, displaying the natural language description corresponding to the operation as a user by the automatic test engine.
In the step (4), when any operation in the bilingual job file is executed, the other unexecuted operations can be edited and modified, including insertion, modification and deletion, the intermediate code and the operation instruction received by the intermediate code interpreter are recorded by the automatic test engine, and the recorded content can be used as a new bilingual job file to be stored and managed in the application library.
In the step (5), the intermediate code is broadcasted through the test network, the intermediate code interpreter selects the corresponding intermediate code by identifying the intermediate code, if the intermediate code interpreter supports the current intermediate code, the intermediate code is interpreted and executed according to the corresponding semantics of the intermediate code, and if the intermediate code is not supported, the intermediate code is ignored.
Compared with the prior art, the invention has the advantages that:
(1) the invention provides an automatic operation compiling method based on satellite-borne target system verification, which solves the contradiction between high efficiency and usability of a script language through bilingual description comprising intermediate code definition and natural language description, reduces the use threshold of a user, is convenient for understanding and operating, can accurately express operation meaning and carry out high-efficiency processing, simultaneously adopts an intermediate code format to define operation, establishes the definition of the operation on the basis of modeling a common model, is decoupled from a specific model measurement and control protocol, and has better universality;
(2) the invention adopts a layered processing method, the data interface between the job definition layer and the job scheduling distribution layer is a job file, and the data interface between the job scheduling distribution layer and the intermediate code interpretation execution layer is an intermediate code, so that the complex problem can be better solved by adopting a divide-and-conquer method, and the method has wider application prospect;
(3) the operation recording method provided by the invention can accurately reproduce the phenomenon of the dynamic verification process, effectively improve the problem positioning efficiency, provide powerful support for the development work of aerospace systems and products, and meanwhile embody the efficiency advantage and inherit and derive the operation files for family series satellites, thereby being more suitable for the batch verification test work of the satellites.
Drawings
FIG. 1 is a schematic diagram of an auxiliary generation guide for a midamble instruction provided by the present invention;
FIG. 2 is a schematic diagram of a parameter selection list of a guide for assisting generation of a midamble instruction provided by the present invention;
FIG. 3 is a diagram illustrating nested calls to job files provided by the present invention;
FIG. 4 is a schematic diagram of a layered architecture provided by the present invention;
Detailed Description
An automatic operation compiling method based on satellite-borne target system verification adopts intermediate codes and natural language to compositely describe automatic operation, describes the operation and accurately expresses operation meaning through the intermediate codes, enables an operation file to have good readability through natural language description, and achieves stable execution of bilingual operation files;
the description facing the supporting layer adopts a middle code format, various operation operations and elements are abstracted aiming at an operation object model, and a middle code instruction is formed by operation codes OP and a plurality of operation related parameters, so that a user does not need to pay attention to the final instruction format with a complicated concrete model, and the final interpretation and execution of the middle code are finished by a middle code interpreter in the supporting tool. The intermediate code description format facing the support layer is shown in table 1;
TABLE 1 intermediate code Format paradigm
As shown in table 1, X is a natural number, i.e., the operation time and the operation identifier are essential elements for each job operation, and there may be no operation parameter or several operation parameters. Separator spaces are used between descriptions, used in this example "; "as a separator, but the method is not limited to use"; "separator;
the user-oriented description adopts natural language, is easier to be understood by users compared with the support layer-oriented description, and effectively improves the practicability and the usability of the method, the support layer-oriented description and the user-oriented description are configured by a middle code format definition file, and the middle code format definition file determines the conversion rule and the effective parameter range of the description, as shown in table 2;
table 2 examples of midamble formats with parameter enumeration
The support tool may examine the midamble according to the midamble format definition file. If the operation written by the user does not conform to the grammar rule defined by the intermediate code definition file, the supporting tool can remind the user that the intermediate code operation definition has problems when the operation is stored, the writing problem of the intermediate code operation can not be found until the supporting layer is executed, and the problem positioning time can be effectively saved;
when the supporting tool reads the configuration of the intermediate code format definition file, an operation configuration interface is automatically generated, and the job file is composed of an intermediate code operation sequence. The operation driving engine and the supporting layer are matched to finish the interpretation and execution of the intermediate code, the realization of the supporting layer is not limited, the complete decoupling with the supporting layer is realized, and the supporting layer can operate on one computer or a distributed system and operate on a plurality of computers and terminals.
The method comprises the following specific steps:
(1) according to the dynamic verification requirements of a satellite-borne target system, different application scenarios are considered, a bilingual compound description mode is adopted, and a support layer-oriented intermediate code description and a user-oriented natural language description are combined to compile a job file, wherein a format definition file of an intermediate code is compiled firstly, and the specific steps of compiling the format definition file of the intermediate code are as follows:
(1-1) classifying and summarizing required operations according to the dynamic verification requirements of the satellite-borne target system, defining operation codes and operation parameters according to the sorting result, and defining a middle code format file;
(1-2) classifying and summarizing required operations according to the interface and the operation requirement of the ground control system, defining operation codes and operation parameters according to the arrangement result, and defining a middle code format file;
(1-3) classifying and summarizing the operation required by operation control according to the requirement of the automatic test task, defining operation codes and operation parameters according to the sorting result, and defining a middle code format file;
(1-4) checking the intermediate code format files obtained in the step (1-1), the step (1-2) and the step (1-3), judging whether the intermediate code format files meet the preset paradigm requirement, if so, finishing the intermediate code format definition, and if not, returning to the step (1-1) to correct the operation codes and the operation parameters;
the required operations are executed through the cooperation of the intermediate code and the intermediate code interpreter;
(2) according to the dynamic verification requirement of the satellite-borne target system, a bilingual operation file is compiled, wherein:
(2-1) the bilingual operation file comprises N intermediate code operation instructions, N is a natural number greater than 1, complexity judgment is carried out on the intermediate code operation instructions, and a compiling method is selected according to a judgment result, wherein if the judgment result is complex, the step (2-2) is carried out, and if the judgment result is simple, the step (2-3) is carried out;
(2-2) generating a thought to carry out bilingual job file writing in an auxiliary mode through a middle code instruction provided by a supporting tool;
(2-3) editing the bilingual operation file through manual text input or copying and pasting, and converting the intermediate code into bilingual operation description through a support tool;
(2-4) storing the bilingual job file which is obtained in the step (2-2) or the step (2-3) and is compiled, and performing normalized check and processing through a supporting tool to determine that the bilingual job file meets the grammar rule of the intermediate code format definition file;
and (2-5) setting an operation code corresponding to the obtained bilingual job file, and performing nested calling on the bilingual job file which is edited and subjected to normalized checking.
(3) Storing the bilingual job file compiled in the step (2) in a case library, wherein the stored file is adjusted to be in an automatic loading state when being selected when the bilingual job file is stored in the case library, and when the bilingual job file needs to be edited and modified, the bilingual job file is modified through the step (2-2) or the step (2-3), and the process of loading the selected bilingual job file can be recorded and stored as a new bilingual job file;
(4) starting automatic testing, extracting and loading the needed bilingual operation files from the case library, starting automatic execution of the operation files, and distributing the intermediate codes according to the time sequence of the operation files; wherein, the loading test is completed by an automatic test engine;
the method comprises the following specific steps of loading and distributing the intermediate code of the bilingual operation file in the automatic test:
(4-1) selecting a required bilingual operation file from a case library, loading the selected bilingual operation file to an automatic test engine through an operation interface, and automatically executing the bilingual operation file;
(4-2) judging triggering conditions of each operation in the bilingual job file, and sending a bilingual description intermediate code corresponding to the operation to an intermediate code interpreter when the triggering conditions of any operation are met;
(4-3) after receiving the intermediate code, the intermediate code interpreter of the device corresponding to each operation in the step (4-2) interprets the obtained intermediate code according to the format definition of the intermediate code in the step (1);
(4-4) when any operation triggering condition is met and successfully executed, displaying the natural language description corresponding to the operation as a user by the automatic test engine;
when any operation in the bilingual job file is executed, other operations which are not executed can be edited and modified, including insertion, modification and deletion, the intermediate code and the operation instruction received by the intermediate code interpreter are recorded by the automatic test engine, and the recorded content can be used as a new bilingual job file to be stored and managed in a case library;
(5) and (3) interpreting the intermediate code distributed in the step (4) through an intermediate code interpreter of the external terminal equipment, executing corresponding operation and completing the test, wherein the intermediate code is broadcasted through a test network, the intermediate code interpreter selects the corresponding intermediate code by identifying the intermediate code, if the intermediate code interpreter supports the current intermediate code, the intermediate code is interpreted and executed according to the corresponding semantics of the intermediate code, and if the intermediate code interpreter does not support the current intermediate code, the intermediate code is ignored. .
The following further description is made in conjunction with the detailed description of the drawings in which:
an operation definition stage, writing an intermediate code format definition file according to the dynamic verification requirement of the system, defining an intermediate code format, determining the conversion rule and the parameter effective range of the intermediate code to natural language, wherein the definition file comprises a plurality of intermediate code definitions, the intermediate code format normal form requirement is shown in table 1, and the specific steps comprise:
step A1: and summarizing and abstracting various required operations according to the interface of the satellite-borne target system and the dynamic test requirement, defining operation codes and operation parameters, and defining the operation codes and the operation parameters into a middle code format file. For the convenience of understanding, as shown in table 2, an example is given, which illustrates a midamble definition paradigm, where the operation code OP is "434" in the example, the operation means "number of output ports of earth sensor", and the operation includes 6 parameters, which correspond to the "earth sensor a operation mode", "earth sensor a probe 1" to "earth sensor a probe 6" setting state, and the earth sensor a threshold, respectively. The parameter 1 is the ground sensitivity A working mode, and the enumeration code 0 corresponds to the wide scan; enumeration encoding 1 corresponds to "narrow scan". The parameter 2 is 'ground sensitive A probe 1' forbidden/forbidden setting, and the enumeration code 0 corresponds to 'forbidden'; enumeration encoding 1 corresponds to "disabled". The enumeration code for parameters 3-5 is the same as parameter 2. The parameter 6 is "ground sensitivity a threshold", and the enumeration code 0 corresponds to "80%"; the enumeration code 1 corresponds to "50%".
Step A2: according to the interface and the operation requirement of the ground system, various operations are induced and abstracted, operation codes and operation parameters are defined, and the operation codes and the operation parameters are defined in a middle code format file. As shown in table 3, an example is given of an operation code format for initially setting the initial attitude angle and angular velocity of the satellite. Note that: it is not necessary for parameter enumeration descriptions, and in contrast to the examples given in table 2, the examples in table 3 do not contain parameter enumeration descriptions, and table 4 is an example of an operation description without parameter range restrictions.
Table 3 example of midamble format without parameter range restriction
TABLE 4 example of operation description without parameter Range restrictions
Step A3: according to the automatic test requirements, various operations required by operation control, such as operation, pause, operation termination, system operation state storage, system operation state recovery and the like, are summarized and abstracted uniformly, special operation codes and operation parameters are defined, and the special operation codes and the operation parameters are defined in a middle code format file. Special opcodes include, but are not limited to, the following:
step A3.1: execution is suspended. For terminal devices that support suspended execution, such as virtual machine systems, this intermediate code instruction causes the device to enter a suspend state.
Step A3.2: and (5) finishing the test. And stopping the automatic test engine from running.
Step A3.3: the continuous recording use case enables. And starting to record the operation process, and recording all intermediate codes executed in the test process.
Step A3.4: the continuous recording use case is prohibited. And stopping the recording of the working process, and then starting a new working process record if A3.3 is received.
Step A3.5: and saving the running state of the system. And recording and storing the current operation profile of the whole system, wherein the operation code parameters are used for uniquely identifying the operation profile.
Step A3.6: and restoring the running state of the system. And recovering the system running state according to the running profile record file specified by the parameters.
Step A4: after the steps a 1-A3 are completed, the supporting tool loads and checks the intermediate code format definition file, all the operation descriptions in the file should meet the paradigm requirements in table 1, the operation code OP is unique as the main key of the operation description, and if the intermediate code format definition file has a plurality of operations using the same operation code, the supporting tool will prompt that the problem needs to be handled.
The method comprises an operation file compiling stage, wherein a bilingual operation file is compiled according to the dynamic verification requirement of a satellite-borne target system, and the method comprises the following specific steps:
step B1: the job file may include N intermediate code operation instructions, where N is a natural number greater than 1. In view of user experience and efficiency, the operation steps in generating the job file may be performed in the manner described in step B2 or step B3: if the user is not familiar with the intermediate code format or needs to compile an operation instruction with a complex format, the operation can be compiled by adopting a windows-like operation mode of the step B2; if the user is familiar with the system more, or performs derivative modification on the previous job file, the job writing can be performed by adopting the operation mode of the class command line of the step B3;
step B2: for complex operations containing more parameters, the generation guide can be assisted by the intermediate code instruction provided by the support tool to complete bilingual job writing, as shown in fig. 1. After loading the intermediate code format definition file, the support tool automatically generates an intermediate code instruction list on the operation interface, and after selecting a certain intermediate code instruction, a drop-down list option of each parameter is dynamically generated in an instruction auxiliary generation guide area, as shown in fig. 2, the content of the drop-down list is parameter enumeration in the intermediate code definition file. After parameter selection is completed, clicking an adding instruction can automatically insert the following operation description into a job file by a support tool:
(ii) a The operation mode of setting the number of the earth sensitive A at the output port of the earth sensor at 2:30.000 seconds is 'wide scanning', the earth sensitive A probe 1 is 'not forbidden', the earth sensitive A probe 2 is 'not forbidden', the earth sensitive A probe 3 is 'forbidden', the earth sensitive A probe 4 is 'not forbidden', and the earth sensitive A threshold is '50%'.
#30；434；0x0；0x0；0x0；0x1；0x0；0x1
Wherein, natural language description "; 2 "in the 2:30.000 second earth sensor output … …" indicates the 2 nd operation in the job file;
step B3: the job file can be edited directly by text input or copy and paste. And then, the intermediate code is automatically converted into bilingual operation description through a support tool, and a user does not need to input complex natural language description by himself. The instructions in fig. 1 may be entered directly into the text:
#30；434；0x0；0x0；0x0；0x1；0x0；0x1
and then, the intermediate code is automatically converted into bilingual operation description through a support tool, and a user does not need to input complex natural language description by himself.
For operation codes without parameter range limitation, as shown in table 4, the following text can also be entered:
#0.0；1001；0；0；101.0；0；0；0
then, the natural language description of the robot can be automatically generated through a supporting tool, wherein the initial attitude angles are set to be 0deg, 0.0deg and 86.0deg in 1:0.000 seconds, and the initial attitude angular speeds are set to be 0deg/s, 0deg/s and 0deg/s respectively. "
Wherein, the step (B2) is complementary with the step (B3), and can be better suitable for various working conditions. B2 is more suitable when the intermediate code operation with more complex or less common format needs to be written; when the proficiency of the user is higher or the derivation is carried out on the previous operation description file, the B3 has higher flexibility and higher operation efficiency;
step B4: saving the job file and performing normalization check. And after the editing is finished, the job file is saved, the support tool automatically carries out normalized check and processing on the job file, and the number and value of parameters of the operation contained in the job file must meet the grammar rule defined by the intermediate code format definition file. If the support tool indicates the position of the problem, the normalized inspection can be carried out again after the operation problem is modified until the inspection is passed, and the operation file is an example of the operation file which is subjected to the normalized inspection as shown in the table 5;
TABLE 5 inspection of job file instances by normalization
Step B5: nesting of job files. By means of a special operation code, parameters of the operation code are job files needing to be executed, and nested calling of the job files can be achieved, as shown in fig. 3.
Storing the job file in a use case library, and storing the edited job file in the use case library after the edited job file is subjected to normalized inspection; when the job file is selected by the use case library, the job file can be automatically loaded and enters an editing state, the job file can be modified through the steps B2 and B3, and then the job file is saved or a new job file is additionally saved; the job process record may be saved as a new job file by loading it.
And extracting a job file from the case library, loading the job file into an automatic test engine, starting automatic execution of the job, and distributing the intermediate code to each interpreter by the automatic test engine according to the time sequence defined by the job. In the layered architecture of the invention, an automatic test engine is responsible for scheduling cases and distributing intermediate code operations; the intermediate code interpreters distributed on different devices are responsible for final execution of the intermediate code, as shown in fig. 4, the automatic test framework and specific model items can be decoupled to the greatest extent, the universality of the automatic framework is improved, automatic engines of different model items can be completely reused, and the specific steps are as follows:
step D1: selecting a job file in a case library, loading the job file to an automatic test engine through an operation interface, and starting automatic execution of the job;
step D2: for each operation in the job file, when an operation triggering condition is met, the automatic test engine sends a bilingual description intermediate code part to the intermediate code interpreter;
step D3: b, after receiving the intermediate code, the intermediate code interpreters distributed in different terminal devices interpret and execute the intermediate code according to the intermediate code definition appointed in the step A;
step D4: for each operation in the job file, when the operation triggering condition is met and the operation is successfully executed, the automatic test engine displays the natural language description on an interface and informs a user that the operation is successfully executed;
step D5: during the execution process of the job file, the operation queue which is not executed can be edited and modified, including insertion, modification and deletion;
step D6: all the received and executed instructions from the intermediate code interpreter flow through the automatic test engine, including the intermediate code operation defined in the job file and the intermediate code instruction generated in step D5. The operation recorded by the automatic test engine forms a record to form a new operation file, and the new operation file is included in case management.
The intermediate code interpreter distributed on each terminal device finishes the interpretation execution of the intermediate code, and the specific steps are as follows:
step F1: the automatic test engine broadcasts the midamble across the test network, which is received by all the midamblers distributed across different devices.
Step F2: if the specific device's intermediate code interpreter is able to identify the received intermediate code, i.e. the intermediate code that supports execution, the intermediate code interpreter executes this intermediate code according to the agreed semantic interpretation.
Step F3: if the received midamble is not supported by the midamble interpreter of the particular device, the midamble interpreter ignores the midamble.
The invention is not described in detail and is within the knowledge of a person skilled in the art.
Claims (7)
1. An automatic operation compiling method based on satellite-borne target system verification is characterized by comprising the following steps:
(1) compiling a middle code format definition file according to the dynamic verification requirement of the satellite-borne target system;
(2) compiling a bilingual operation file according to the dynamic verification requirement of the satellite-borne target system;
(3) storing the bilingual job file compiled in the step (2) in a case library;
(4) starting automatic testing, extracting and loading the needed bilingual operation files from the case library, starting automatic execution of the operation files, and distributing the intermediate codes according to the time sequence of the operation files; wherein, the loading test is completed by an automatic test engine;
(5) and (4) interpreting the intermediate code distributed in the step (4) through an intermediate code interpreter of the external terminal equipment, and executing corresponding operation to finish the test.
2. The automated job writing method based on-board target system verification according to claim 1, wherein: in the step (1), the specific steps of writing the intermediate code format definition file are as follows:
(1-1) classifying and summarizing required operations according to the dynamic verification requirements of the satellite-borne target system, defining operation codes and operation parameters according to the sorting result, and defining a middle code format file;
(1-2) classifying and summarizing required operations according to the interface and the operation requirement of the ground control system, defining operation codes and operation parameters according to the arrangement result, and defining a middle code format file;
(1-3) classifying and summarizing the operation required by operation control according to the requirement of the automatic test task, defining operation codes and operation parameters according to the sorting result, and defining a middle code format file;
(1-4) checking the intermediate code format files obtained in the step (1-1), the step (1-2) and the step (1-3), judging whether the intermediate code format files meet the preset paradigm requirement, if so, finishing the intermediate code format definition, and if not, returning to the step (1-1) to correct the operation codes and the operation parameters;
the required operations are executed through the cooperation of the intermediate code and the intermediate code interpreter.
3. The automated job writing method based on-board target system verification according to claim 1, wherein: in the step (2), the specific steps of writing the bilingual job file are as follows:
(2-1) the bilingual operation file comprises N intermediate code operation instructions, N is a natural number greater than 1, complexity judgment is carried out on the intermediate code operation instructions, and a compiling method is selected according to a judgment result, wherein if the judgment result is complex, the step (2-2) is carried out, and if the judgment result is simple, the step (2-3) is carried out;
(2-2) generating a thought to carry out bilingual job file writing in an auxiliary mode through a middle code instruction provided by a supporting tool;
(2-3) editing the bilingual operation file through manual text input or copying and pasting, and converting the intermediate code into bilingual operation description through a support tool;
(2-4) storing the bilingual job file which is obtained in the step (2-2) or the step (2-3) and is compiled, and performing normalized check and processing through a supporting tool to determine that the bilingual job file meets the grammar rule of the intermediate code format definition file;
and (2-5) setting an operation code corresponding to the obtained bilingual job file, and performing nested calling on the bilingual job file which is edited and subjected to normalized checking.
4. The automated job writing method based on-board target system verification according to claim 1, wherein: in the step (3), when the bilingual job file is stored in the use case library, the stored file is adjusted to be in a state capable of being automatically loaded when being selected, when the bilingual job file needs to be edited and modified, the bilingual job file is modified through the step (2-2) or the step (2-3), and the process of loading the selected bilingual job file can be recorded and stored as a new bilingual job file.
5. The automated job writing method based on-board target system verification according to claim 2, wherein: in the step (4), the specific steps of loading and distributing the bilingual operation file intermediate code in the automated test are as follows:
(4-1) selecting a required bilingual operation file from a case library, loading the selected bilingual operation file to an automatic test engine through an operation interface, and automatically executing the bilingual operation file;
(4-2) judging triggering conditions of each operation in the bilingual job file, and sending a bilingual description intermediate code corresponding to the operation to an intermediate code interpreter when the triggering conditions of any operation are met;
(4-3) after receiving the intermediate code, the intermediate code interpreter of the device corresponding to each operation in the step (4-2) interprets the obtained intermediate code according to the format definition of the intermediate code in the step (1);
and (4-4) when any operation triggering condition is met and successfully executed, displaying the natural language description corresponding to the operation as a user by the automatic test engine.
6. The automated job writing method based on-board target system verification according to claim 5, wherein: in the step (4), when any operation in the bilingual job file is executed, the other unexecuted operations can be edited and modified, including insertion, modification and deletion, the intermediate code and the operation instruction received by the intermediate code interpreter are recorded by the automatic test engine, and the recorded content can be used as a new bilingual job file to be stored and managed in the application library.
7. The automated job writing method based on-board target system verification according to claim 1, wherein: in the step (5), the intermediate code is broadcasted through the test network, the intermediate code interpreter selects the corresponding intermediate code by identifying the intermediate code, if the intermediate code interpreter supports the current intermediate code, the intermediate code is interpreted and executed according to the corresponding semantics of the intermediate code, and if the intermediate code is not supported, the intermediate code is ignored.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010791259.8A CN112100053B (en) | 2020-08-07 | 2020-08-07 | Automatic operation writing method based on verification of satellite-borne target system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010791259.8A CN112100053B (en) | 2020-08-07 | 2020-08-07 | Automatic operation writing method based on verification of satellite-borne target system |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN112100053A true CN112100053A (en) | 2020-12-18 |
| CN112100053B CN112100053B (en) | 2023-07-14 |
Family
ID=73753192
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202010791259.8A Active CN112100053B (en) | 2020-08-07 | 2020-08-07 | Automatic operation writing method based on verification of satellite-borne target system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112100053B (en) |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102541730A (en) * | 2011-12-08 | 2012-07-04 | 北京空间飞行器总体设计部 | Semantic identification and automatic generation method for spacecraft test script |
| CN103218289A (en) * | 2013-03-29 | 2013-07-24 | 北京控制工程研究所 | Satellite-borne software test automatic executing method |
| CN107608894A (en) * | 2017-09-22 | 2018-01-19 | 深圳航天科技创新研究院 | Software testing generation method, system and storage medium based on dynamic model |
| US20200104241A1 (en) * | 2018-09-28 | 2020-04-02 | Sap Se | Behavior driven development integration with test tool |
-
2020
- 2020-08-07 CN CN202010791259.8A patent/CN112100053B/en active Active
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102541730A (en) * | 2011-12-08 | 2012-07-04 | 北京空间飞行器总体设计部 | Semantic identification and automatic generation method for spacecraft test script |
| CN103218289A (en) * | 2013-03-29 | 2013-07-24 | 北京控制工程研究所 | Satellite-borne software test automatic executing method |
| CN107608894A (en) * | 2017-09-22 | 2018-01-19 | 深圳航天科技创新研究院 | Software testing generation method, system and storage medium based on dynamic model |
| US20200104241A1 (en) * | 2018-09-28 | 2020-04-02 | Sap Se | Behavior driven development integration with test tool |
Non-Patent Citations (5)
| Title |
|---|
| P. ANH-VU AND H.T. HAI: "Development of a compact broadband folded hybrid coupler on multilayer organic substrate", 《MICROWAVE AND WIRELESS COMPONENTS LETTERS, IEEE》 * |
| 孟占帅: "安卓应用分析与测试通用支撑工具的设计与实现", 《中国优秀硕士学位论文全文数据库 信息科技辑》 * |
| 滕波: "面向EPON系统的自动测试软件的设计与实现", 《中国优秀硕士学位论文全文数据库 信息科技辑》 * |
| 王冀山，华更新: "星载计算机软件自动化测试平台研究", 《航天器环境工程》 * |
| 王振华: "星载控制软件通用测试平台的研究与设计", 《中国优秀硕士学位论文全文数据库 信息科技辑》 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN112100053B (en) | 2023-07-14 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN100492316C (en) | System and method for test automation | |
| CN104778124B (en) | A kind of software application automated testing method | |
| US7689973B2 (en) | Language for development of test harness files | |
| US10817819B2 (en) | Workflow compilation | |
| JPS6017539A (en) | Emulation system | |
| CN110765013A (en) | Automatic flow execution method and system | |
| CN110362490B (en) | Automatic testing method and system for integrating iOS and Android mobile applications | |
| CN102866944A (en) | Pressure testing system and method | |
| CN116166525A (en) | Method and device for generating test script | |
| CN116820811A (en) | RPA component variable rapid deriving and assigning method and system based on shear plate | |
| CN111966575B (en) | Graphic automatic test method for aviation onboard display software | |
| CN112100053A (en) | Automatic operation compiling method based on satellite-borne target system verification | |
| CN103530091A (en) | Method and device for implementing task of calculating CPMD (car-Parrinello molecular dynamics simulations) | |
| Průcha | Aspect optimalization of robotic process automation | |
| CN113900629A (en) | Automatic engine implementation system of computer process | |
| JP2000132425A (en) | Software testing method | |
| Tipaldi et al. | Spacecraft autonomy and reliability in MTG satellite via On-board Control Procedures | |
| CN111078576A (en) | Independent Web service test equipment based on USB network card technology | |
| JP2002157144A (en) | Automatic test system for software | |
| CN103544015A (en) | Method and device for achieving VASP calculation tasks | |
| Cristiá et al. | Fastest: a model-based testing tool for the Z notation | |
| CN117687687A (en) | Generalized virtual peripheral modeling method crossing different platform architectures | |
| CN110377507B (en) | Method and system for transmitting parameter command based on script | |
| CN115292399A (en) | Data conversion method, device, equipment and storage medium | |
| Huang et al. | An automatic testing method for GUI using the framework of three-layer test script |
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 |