22 results about "Program structure" patented technology

The invention discloses a static vulnerability detection method and system based on a unified cross-language program structure diagram, and the method comprises the following steps: constructing the unified cross-language program structure diagram according to a to-be-detected source code and compiling metadata thereof, and building an interface semantic mapping relation on a cross-language interface edge; a cross-language path from a program entry to a sensitive operation point is extracted on the unified cross-language program structure chart, uncertain elements in the cross-language path are labeled, and the confidence coefficient of the path is calculated; performing semantic alignment on heterogeneous language states on a cross-language path based on a cross-language abstract domain, and converting a path condition and a vulnerability establishment condition into logic constraints; and carrying out satisfiability judgment on the logic constraint, outputting a vulnerability detection result according to a judgment result, and generating a structured evidence chain. According to the method, the cross-language evidence chain can be output, vulnerability paths, witness information of trigger conditions and cross-language conversion details can be clearly displayed, and work such as manual recheck and vulnerability repair is powerfully supported.

A platform that generates submittal reviews electronically for various construction projects. Embodiments include receiving project submittals by the reviewer, inputting the submittal in a web application interface, receiving the output in a specific format, reviewing the submittal review generated then downloading the reviewed submittal and handing it to a subsequent party for review. In some embodiments, during project initialization, project specifications and drawings are ingested. The project specifications and drawings are processed to extract relevant content, which is used to perform each submittal review. Artificial intelligence (AI) models are prompted through a series of dependent prompt engineered queries. The queries to the AI are broken into preconfigured pieces which improves the accuracy of the AI model. In order to break down the AI queries, the platform builds a program structure around making required calls to an AI API that are tuned for a particular program goal.

The invention discloses an accelerator automatic synthesis method, device and equipment, a medium and a product. The method comprises the steps of generating a candidate region set according to a global program structure tree corresponding to a target application program and LLVM intermediate representation; target areas needing to be accelerated are selected from the candidate area set based on preset constraint conditions, and a target area set is formed; and integrating and multiplexing the accelerators of each target area according to the structural similarity of each target area in the target area set to obtain the accelerator finally corresponding to each target area. According to the method, omission caused by manual selection in the prior art is effectively avoided, the overall performance optimization space is improved, the search efficiency is remarkably improved while the optimal performance is ensured, and the hardware resource cost is remarkably reduced.

A platform that generates submittal reviews electronically for various construction projects. Embodiments include receiving project submittals by the reviewer, inputting the submittal in a web application interface, receiving the output in a specific format, reviewing the submittal review generated then downloading the reviewed submittal and handing it to a subsequent party for review. In some embodiments, during project initialization, project specifications and drawings are ingested. The project specifications and drawings are processed to extract relevant content, which is used to perform each submittal review. Artificial intelligence (AI) models are prompted through a series of dependent prompt engineered queries. The queries to the AI are broken into preconfigured pieces which improves the accuracy of the AI model. In order to break down the AI queries, the platform builds a program structure around making required calls to an AI API that are tuned for a particular program goal.

The application relates to the technical field of software test automation, and provides a requirement-driven test case automatic generation method and system based on a semantic test graph, which comprises the following steps: performing multidimensional static analysis on source code, respectively constructing an abstract syntax tree, a control flow graph and a function call graph, and extracting function call relations and data flow dependency relations; constructing a semantic test graph by taking functions as nodes, taking function call relations as main edges and taking data flow dependency relations as auxiliary edges, and aggregating function nodes in the semantic test graph into several function modules; obtaining several test requirement nodes, calculating semantic similarity between the test requirement nodes and the function modules, establishing a mapping relationship from the test requirement nodes to the function modules, and forming a requirement-program structure association graph; and based on the requirement-program structure association graph, generating a test intention for each test requirement node, and converting the test intention into an executable test case. The highly corresponding relationship between the generated test case and the business requirement is ensured.

An application migration method from client-server architecture to blockchain architecture is provided. The application migration method includes the following steps: S1: modeling an application program of a conventional client-server architecture and abstracting the application program to a program call tree; S2: defining a taint propagation rule for taint analysis by taking key data as tainted data, to acquire all taint variables in the application program; and S3: identifying a key module of the application program on the program call tree according to a tainted path, and setting a code refactoring rule to perform code refactoring on a method in the key module according to a special program structure.

The invention relates to a practical training device for electronic programming teaching, a turntable assembly comprises more than two groups of rotating rings which are coaxially and movably connected, and each rotating ring is uniformly provided with positioning grooves along the circumferential direction; the workpiece assembly is arranged in the positioning groove in any position, a sleeve is arranged at the movable tail end of the mechanical arm assembly, and the mechanical arm assembly is used for driving the sleeve to be transferred among the positioning grooves and collecting workpiece bodies; after the workpiece bodies are sequentially transferred to the inner cavity of the sleeve, the upper conductive part and the lower conductive part are conducted through the workpiece bodies arranged according to the correct sequence, and a timing stop signal is sent to the timer. According to the method, the time spent by an operator on the premise that the program compiled by the operator meets the requirement is quantified through the timer, and the quality of the program compiled by the operator is quantified according to the length of the time, so that students are stimulated to optimize the program structure.

This invention proposes a tabular construction method for program data structures, relating to the technical field of computer data structure construction. First, it determines the basic table structure corresponding to each basic data type, visually representing commonly used data types in computer programming in a tabular manner. This facilitates understanding and reading of the program structure and improves efficiency. Then, by nesting table structures within parent tables, multidimensional tables are obtained to express any data structure of varying complexity. This further clarifies the data structure based on a tabular approach, resulting in a low error rate in the output and making it easy to understand and communicate.

The application discloses a unit test code generation method, system, device and medium, which is applied to the technical field of code generation and includes the following steps: obtaining a structured meta-information set and a source code syntax structure model by performing program structure interface analysis and abstract syntax tree analysis on target engineering code; generating a structured context feature vector based on the structured meta-information set and the source code syntax structure model; searching a historical test case sample set from a historical test case database, wherein the historical test case sample set meets a matching condition in terms of global line coverage weighted similarity with the structured context feature vector; filling a Prompt template of different test sub-tasks based on the historical test case sample set and the structured context data through an Agent intelligent agent; generating different modular test codes by using different test code generation models; and performing closed-loop verification after integrating the different modular test codes into unit test codes, so that the code quality, practicality and adaptability are improved.

The invention relates to a multi-component collaborative operation-based control method for ALD equipment, which comprises the following steps of: splitting the equipment into a plurality of components according to functions, newly establishing a corresponding functional block for each component, and respectively adding a plurality of actions for each functional block; declaring an enumeration data type; a variable is declarated in each function block; compiling action logic of each action; and calling each function block and the action of each function block in the main program according to the action logic of the equipment. The method has the advantages that the method is reasonable in design, equipment with a complex structure is split into a plurality of components, the action of each component is decomposed, and the action of each component is called according to the action logic of the equipment, so that the program structure is clear, the calling is convenient and flexible, and the program is convenient to maintain and update.

The invention provides a sensitive behavior dynamic reproduction method and device based on large model driving, and relates to the field of information security, and the method comprises the steps: generating an application program structure document according to an obtained development operation record of a to-be-detected mobile application program; performing feature analysis on the installation document of the to-be-detected mobile application and the application structure document to obtain a sensitive call chain; inputting a preset prompt word template and the sensitive call chain into a pre-constructed sensitive chain analysis model for analysis to obtain a script file corresponding to the sensitive call chain; and executing the script file, and verifying whether the sensitive call chain can dynamically reproduce the sensitive behavior or not. According to the method, accurate positioning of potential sensitive behaviors, automatic script generation and dynamic verification of the behaviors can be realized by combining static taint analysis with reasoning and generation capabilities of a large language model.

The invention discloses a programming method for batch processing of analog input signals based on a SIEMENS PLC controller. The programming method comprises the following steps: creating a user-defined PLC data type in a TIA Portal project tree; creating a data block, and establishing an array in the data block by taking a PLC data type as an element type; creating a function block, declaring a one-dimensional array of which form parameters are PLC data types in an interface area of the function block, and declaring a loop index variable, an intermediate conversion variable and an alarm temporary storage variable in a temporary variable area of the function block; executing cyclic batch processing logic in a program area of the function block; and calling the function block in the main program, and transmitting an array in the data block as an actual parameter through a pointer so as to complete batch processing of all analog input signals. The program structure is simple and clear, signal information is easy to search for field system maintenance personnel, the fault processing time is shortened, the system maintenance efficiency is improved, and the effect is remarkable.

This invention proposes a software product testing method, apparatus, equipment, and storage medium. The method includes: parsing the program structure of the software product to be tested, extracting module dependencies, and calculating structural complexity parameters; determining the behavioral statistical caliber based on the structural complexity parameters; dividing the running event sequence into statistical windows according to the behavioral statistical caliber, calculating the correction behavior intensity, and generating running behavior feature values; obtaining reference feature sequences from historical stable running phases, calculating the stable behavior reference center value and fluctuation width; and calculating the deviation score using the running behavior feature values, reference center value, fluctuation width, and behavioral statistical caliber to generate the testing result. This invention effectively solves the problem of insufficient accuracy of fixed threshold detection in complex software scenarios by adaptively adjusting the statistical caliber based on structural complexity and combining dynamic behavioral features with historical benchmarks for deviation determination, thereby improving the stability and reliability of software running status monitoring.

The application relates to the technical field of industrial automation control, in particular to a control program compiling method, an electronic device and a storage medium. According to the control program compiling method, a ladder program to be compiled is acquired first; the ladder program contains multiple types of element representation graphs; a structural analysis is performed on the logical connection relationship between the element representation graphs in the ladder program, so that tree program structure data is obtained; a program instruction mapping operation is performed based on the tree program structure data, so that multiple program assembly codes corresponding to the tree program structure data are obtained; and the multiple program assembly codes are translated and interpreted, so that a binary executable program is obtained. In this way, the operation efficiency, real-time performance and compilation process can be improved in the process of industrial automation control.

The invention discloses a test case generation method and device, equipment and a computer storage medium. The method comprises the steps of performing static analysis on a to-be-tested program to obtain program structure information; executing an initial test based on the program structure information, and collecting initial coverage information; selecting a target path from the to-be-covered path set based on a dynamic evaluation mechanism and the initial coverage information; performing symbolization processing on the target path, generating a path constraint and performing constraint solution; when constraint solving succeeds, generating a test case covering the target path; and when the constraint solution fails, generating a guide signal based on the unsuccessfully solved part, and executing a guide type search based on the guide signal to generate a test case covering the target path. According to the method, the problems that complex branches are difficult to cover due to low random test efficiency, symbolic execution path explosion and constraint solution are difficult, a search technology is easy to fall into local optimum, and initial exploration efficiency is low can be solved, and test case generation efficiency and path coverage capability are improved.

The invention belongs to the technical field of code annotation generation, and particularly relates to a mixed entropy driven code annotation generation method which comprises the following key steps: S1, constructing a standardized dictionary for standardizing codes and annotations; s4, constructing a program structure multi-relation graph PSRG for comprehensively capturing multi-dimensional structure information and deep semantic features of the codes; s6-S8: constructing a PSRG structure expert coding module, a retrieval annotation expert coding module and an expert vector sequence dynamic selection module, realizing effective balance between information utilization efficiency and semantic generalization ability based on a mixed entropy driving mechanism, and enhancing the representation ability and context adaptability of the generation model. According to the scheme, the adaptive capacity of the model to the long word string is improved, and the grasping of semantic details is enhanced, so that the accuracy, fluency and robustness of annotation generation are remarkably improved.

The application provides a method and system for calculating stress and strain response of engineering structure, and relates to the technical field of engineering structure analysis, wherein a few groups of material parameters are used to calculate stress and strain of engineering structure under complex temperature field through linear interpolation of material parameters to temperature; meanwhile, an error control strategy is combined in the explicit integration scheme, so that the constitutive model can simultaneously consider calculation speed, convergence and calculation error when used for stress and strain calculation of structure, the program does not need to divide a small increment step, the error control module is used to judge whether the error meets the requirements, if the error does not meet the requirements, the increment step is automatically reduced, and the calculation is restarted until the error meets the requirements, the error control module ensures the accuracy of the calculation program; the explicit integration scheme makes the structure of the calculation program simple, and iteration calculation is not needed, so that the calculation speed is ensured to be fast and the program convergence is strong, and the problem that convergence and calculation speed of nonlinear constitutive numerical calculation program are difficult to consider is overcome.

The invention discloses a neural symbol learning-based natural language problem programmed analysis method, which comprises the following steps of: constructing a problem coding module, a program analysis module, a program representation module, a problem reconstruction module and a joint training and consistency constraint module; a'problem-to-program 'analysis process and a'program-to-problem' reconstruction process are modeled at the same time under a unified framework, and the accuracy and stability of program generation are improved by using bidirectional consistency constraints. An auxiliary learning signal of a program reconstruction problem is introduced in a training process of the system and is used for constraining reasonability of program semantics, so that generation of error program structures is reduced, and a learning effect under a weak supervision or semi-supervision condition is improved. The method does not need to depend on additional manual rules, has the advantages of being clear in structure, high in interpretability, good in generalization ability and the like, and is suitable for program analysis and reasoning process modeling in neural symbol reasoning tasks such as visual reasoning and the like.

Programming language for the safety-verified control of physical systems, characterized by: a) a syntax with physical types (e.g. meter, second, newton, volt), b) an integrated translation and security architecture with mandatory safety contracts, c) a structural design for the automatic generation of security-relevant information, d) a mission-oriented program structure, e) and a hardware-independent implementation description.

The application relates to the technical field of software test automation, and provides a requirement-driven test case automatic generation method and system based on a semantic test graph, which comprises the following steps: performing multidimensional static analysis on source code, respectively constructing an abstract syntax tree, a control flow graph and a function call graph, and extracting function call relations and data flow dependency relations; taking a function as a node, taking a function call relation as a main edge, and taking a data flow dependency relation as an auxiliary edge to construct a semantic test graph; aggregating function nodes in the semantic test graph into a plurality of function modules; obtaining a plurality of test requirement nodes, calculating semantic similarity between the test requirement nodes and the function modules, establishing a mapping relation from the test requirement nodes to the function modules, and forming a requirement-program structure association graph; based on the requirement-program structure association graph, generating a test intention for each test requirement node, and converting the test intention into an executable test case. The highly corresponding relation between the generated test case and the business requirement is ensured.

This invention discloses a static vulnerability detection method and system based on a unified cross-language program structure graph, comprising the following steps: constructing a unified cross-language program structure graph based on the source code to be detected and its compilation metadata, and establishing interface semantic mapping relationships on the edges of cross-language interfaces; extracting cross-language paths from the program entry point to sensitive operation points on the unified cross-language program structure graph, marking elements with uncertainties in the cross-language paths and calculating path confidence; semantically aligning heterogeneous language states on the cross-language paths based on cross-language abstract domains, and converting path conditions and vulnerability establishment conditions into logical constraints; determining the satisfiability of the logical constraints, outputting vulnerability detection results based on the determination results, and generating a structured evidence chain. This invention can output a cross-language evidence chain, clearly displaying the witness information of the vulnerability path and triggering conditions, as well as the details of cross-language conversion, effectively supporting manual review, vulnerability remediation, and other work.

The invention discloses a multi-language program structure unified modeling method and system based on semantic preservation, and relates to the technical field of program analysis and network security. The method comprises the following steps: receiving source codes of multiple programming languages, generating a corresponding native abstract syntax tree by utilizing a front-end analyzer configured with a declarative mapping framework DSMF, and converting the native abstract syntax tree AST into initial nodes and edges of a unified structured semantic graph SSG according to a predefined mapping rule; receiving type information of multiple programming languages, mapping the type information into a unified quintuple semantic vector by using a multi-language unified type system (MLUTS), and annotating the semantic vector to a corresponding node of a structured semantic graph (SSG) as an attribute. According to the method, a unified model containing control flow, data flow and program semantics can be constructed, static vulnerability detection and deep stain analysis in a cross-language environment are effectively supported, and the coverage rate and accuracy of analysis are remarkably improved.