6 results about "Difference list" patented technology

The invention discloses an ANTLR-based SysMLv2.0 text model synchronization method, which comprises the following steps of: S1, constructing a syntactic analysis framework of a SysMLv2.0 language on the basis of the ANTLR, and generating a Leyer and a Parser for analysis; s2, analyzing the original SysMLv2.0 text, and generating an abstract syntax tree AST containing structure, behavior and constraint elements; s3, constructing a semantic model structure based on AST mapping; s4, respectively constructing an original semantic model and a target semantic model, and unifying an identifier, a namespace and a reference path format; s5, comparing semantic model structure differences to generate a difference list; s6, performing insertion, deletion or replacement operation on the original model text according to the difference type, and performing incremental synchronization; s7, deserializing the synchronized semantic model to generate a standard SysMLv2.0 modeling text; and S8, outputting the text file for loading and visual operation of the modeling tool. According to the method, a unified analysis and synchronization system is constructed, and accurate comparison and incremental updating of the SysMLv2.0 text model are realized.

The invention relates to a code error feedback method combining static analysis and dynamic analysis, and mainly solves the problems of insufficient error feedback and low efficiency in an Online Judge system: reconstructing codes of correct and error versions, including alignment and renaming of variables, and rearranging statements on the premise of not influencing semantics; static and dynamic multi-level alignment is carried out, in the static alignment, an editing script with the minimum cost is calculated through a heuristic editing distance algorithm, an alignment block and a difference list are obtained, in the dynamic alignment, compiling execution is carried out on source codes of two versions, test cases which do not pass operation are dynamically printed through gdb, and execution track information of the test cases is dynamically printed through gdb; error positioning is achieved, data flow backtracking analysis and scoring are carried out on error positions, and error feedback is generated. The method has the characteristics of high execution efficiency, high accuracy and easier understanding of generated feedback, automatic feedback of error codes can be realized, and the learning efficiency of students in programming tasks is improved.

The invention provides an electric power monitoring system vulnerability detection method and device based on large language model assistance, and the method comprises the steps: carrying out the binary differential analysis of a target executable program of an electric power monitoring system and standard firmware, and obtaining a difference list; for interfaces involved in the difference list, generating constraint description and field boundaries of interface parameters; inputting the constraint description and the field boundary into a large language model, and recovering an unknown data structure and an input format to obtain an input format model; generating a test case based on the input format model, and executing the test case to obtain execution coverage information of the test case; obtaining a weighted coverage score in combination with the difference weight and the execution coverage information; increasing variation times and computing resources of the test cases of which the weighted coverage scores are ranked top N; and generating a new test case for the difference region which does not reach the coverage target in the execution coverage information, so that the efficiency and accuracy of vulnerability detection of the power monitoring system are remarkably improved.

The invention relates to the technical field of resource management, and discloses a tenant authority management and configuration system based on an SAAS (Software as a Service) platform, which comprises the following steps: unifying contexts by using batch numbers of published snapshots and version pointers, screening a target list by using a location code set, extracting a difference list by using difference, generating a difference mapping table by using the target list, and storing the difference mapping table in a database; the method comprises the following steps of: setting a difference item, enabling the coding granularity of the difference item at a location to be fixed, then forming a target record set through a release channel and breakpoint verification, generating an effective record set through effective verification, and outputting and releasing a complete vector through threshold comparison, so that the link meets the cross-tenant audit tracing requirement under the penetration of a partition sequence, a batch number and a version pointer; and it is ensured that all the difference lists arrive in the target list and take effect consistently, so that the minimum difference release integrity is ensured.

The invention particularly relates to a regression test-oriented code-demand intelligent mapping and automatic review method. The method comprises the steps of obtaining source code data and an influence domain analysis report of a current version and a historical version corresponding to a to-be-processed program; performing fragmentation processing on the influence domain analysis report, and performing task planning analysis on the fragmented influence domain analysis report based on a preset prompt word template to obtain a corresponding task set; performing function-level difference analysis on the source code data of the current version and the historical version by using a syntax tree parser to obtain a function difference list; performing association mapping analysis on the function difference list and the task set, and determining a mapping relationship between each change task and an association change function; and aggregating the plurality of change functions mapped by each change task, and constructing review cues based on the influence domain analysis report and the source code data corresponding to the change functions so as to complete deep review. According to the method, accurate association and automatic review from the demand to the code can be realized.

The present application relates to the technical field of resource management, and discloses a tenant permission management and configuration system based on a SAAS platform, which comprises a unified context of a batch number and a version pointer of a published snapshot, a target list obtained by screening from a local encoding set, a difference list obtained by difference extraction, a difference mapping table generated by the target list, fixed difference items in the local encoding granularity, a target record set formed by a release channel and breakpoint checking, an effective record set generated by validity checking, and a release complete vector output by threshold comparison, wherein the link is through the batch number and the version pointer in the partition order, meets the cross-tenant audit traceability requirement, ensures that the difference list is completely reached in the target list and consistently effective, and thus guarantees the minimum difference release integrity.