Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

105 results about "Code line" patented technology

Automatic invalid code elimination method and device, medium and product

The invention discloses an invalid code automatic elimination method and device, a medium and a product, and the method comprises the steps: carrying out compiling analysis processing on each program file in a to-be-processed target program item, generating a syntax tree model, and testing the compiled program file to obtain a program test result; unused variables in all the variables are identified through a syntax tree model, and uncovered code lines are positioned in combination with a test result; analyzing logic judgment conditions of uncovered code lines based on the syntax tree structure, and judging the code lines which cannot be triggered as unreachable codes; unused variables and unreachable codes in the program files are removed, new program items are obtained, and when the new program items are correctly compiled and executed, the new program items are used for replacing the target program items. Program redundancy is reduced, and execution efficiency is improved.
Owner:INDUSTRIAL AND COMMERCIAL BANK OF CHINA

Data flow compliance detection method and device based on code semantic rule driven LLM

The invention relates to the technical field of code security, in particular to a data stream compliance detection method and device based on code semantic rule-driven LLM, and the method comprises the steps: carrying out the normalization processing of a to-be-detected source code: removing annotation, null lines, unifying branch circulation into an if-else structure, and establishing lt; code lines and line numbers gt; performing mapping; constructing a code semantic rule knowledge base; generating a code intermediate expression by using LLM; generating an execution path for the intermediate expression, constructing a symbol table, and reasoning and positioning non-compliant variables and corresponding code lines according to a data flow rule; generating a detection report; the device comprises a code standardization processing function module, a knowledge base construction function module and other function modules for achieving the method, manual intervention is not needed, C / C + + code compliance can be automatically detected, the detection precision and efficiency are remarkably improved, and non-compliance positions can be accurately traced.
Owner:SICHUAN ZHONGKE ZHUOXIN TESTING & CERTIFICATION CO LTD

Intra-macro identifier position information acquisition method, electronic equipment and medium

The invention relates to the technical field of macro text processing, in particular to an intra-macro identifier position information acquisition method, electronic equipment and a medium, and the method comprises the following steps: setting a corresponding macro virtual file for each macro reference in a chip design code original file; loading a chip design code original file, and obtaining initial position information of an identifier in each macro based on a macro virtual file corresponding to each macro reference; expanding each target macro reference in a target code line in the original file of the chip design code to obtain a target macro expanded text; obtaining a column position offset and a row position offset corresponding to each target macro reference based on the target macro expanded text and the macro initial expanded text of each target macro reference; and generating position information of the intra-macro identifier in each target macro reference in the target macro expanded text based on the column position offset and the row position offset corresponding to each target macro reference and the initial position information of the intra-macro identifier in each target macro reference.
Owner:BEIJING NORI INTEGRATED CIRCUIT DESIGN CO LTD +2

Method and system for evaluating test coverage rate based on Java call link

The invention discloses a method and a system for evaluating a test coverage rate based on a Java call link, and relates to the field of software testing. The method comprises the following steps: identifying a difference function according to a first comparison result, and constructing a call chain tree structure by taking the difference function as a root node based on a code call relation graph; analyzing the difference function to obtain a direct code change line of the difference function, based on a call chain tree structure, identifying a related code line on a call chain where each call point is located as a call point code line, and summarizing the direct code change line and the call point code line; and analyzing the code coverage rate data to obtain an actually covered code line, comparing the to-be-tested code line with the actually covered code line, determining coverage rate index data based on a call chain according to a second comparison result, and determining a test coverage rate evaluation result according to the coverage rate index data. The test coverage rate can be evaluated more comprehensively and accurately.
Owner:BEIJING YULORE INNOVATION TECH

Method and system for generating coverage loop boundary test case based on program slices

The invention discloses a method and a system for generating a test case for covering a loop boundary based on program slices. The method comprises the following steps of: inputting a source code to be tested and a target loop line number; the method comprises the following steps: analyzing a to-be-tested source code based on an abstract syntax tree technology, and extracting key node information to construct a program dependency graph; collecting related code lines through graph traversal by taking a loop structure needing to be analyzed as a criterion, and generating a minimum executable loop slice; performing symbolic execution on the minimum executable loop slice, simulating a loop execution process, capturing condition judgment nodes, and forming a track dictionary; determining a strategy based on the trajectory dictionary and the variable state, and when the strategy is numerical search, performing parameter space exploration; when the strategy is symbolic analysis, analyzing the cyclic condition expression and solving the optimal parameter; generating candidate test cases based on the analysis result; executing the candidate test case, calculating the number of loop iterations, and determining whether an expected state is reached; and if the expected state is reached, outputting a final test case.
Owner:NANJING UNIV OF AERONAUTICS & ASTRONAUTICS

Software testing method and device, electronic equipment and storage medium

The invention provides a software testing method and device, electronic equipment and a storage medium. The method comprises the steps that a source code file of to-be-tested software is compiled based on a WebAssembly compiler to obtain a compiling result and first debugging information, and the first debugging information represents the mapping relation between code lines in the source code file and instructions in the compiling result; the compiling result is converted into a to-be-tested binary file based on a format conversion relation, second debugging information is determined according to the first debugging information, the compiling result and the to-be-tested binary file, the format conversion relation is used for converting the WebAssembly binary file into a binary file in a preset format, and the format conversion relation is used for converting the WebAssembly binary file into the to-be-tested binary file. The second debugging information represents a mapping relation between a code line in the source code file and an instruction in the to-be-tested binary file; and running the to-be-tested binary file in a virtual machine used for running the binary file in the preset format, and debugging the to-be-tested binary file based on the second debugging information in the virtual machine.
Owner:BEIJING CEC HUADA ELECTRONIC DESIGN CO LTD

Test case generation method and device

The invention discloses a test case generation method and device, and relates to the field of software testing, and the method comprises the steps: obtaining a first test case; the first test case is input into the to-be-tested software inserted with the probe to run, so that constraint information of the first test case is obtained, and the constraint information indicates the execution condition of the constraint passed by the first test case in the execution path of the code related to the target point; the target points comprise code lines with potential vulnerabilities in source codes of the to-be-tested software; and generating a second test case based on the first test case and constraint information of the first test case, wherein the constraint information is used for indicating a variation mode of the first test case. Through the method, the first test case can be varied according to the constraint on the execution path related to the target point, and exploration on irrelevant paths which cannot reach the target point is reduced, so that the variation efficiency of the test case capable of triggering the target point is improved.
Owner:HUAWEI CLOUD COMPUTING TECHNOLOGIES CO LTD +1

Code detection method, system and device, electronic equipment, storage medium and program product

The embodiment of the invention provides a code detection method, system and device, electronic equipment, a storage medium and a program product. According to the scheme provided by the embodiment of the invention, the received change code data comprises at least one change code line, and the change code line is a code line of which the content is changed relative to the previous version source code in the current version source code. Based on the current version source code and the change code data, extracting at least one code program segment from the current version source code; one code program segment comprises one change code line or a plurality of change code lines with continuous line numbers or a plurality of change code lines with discontinuous line numbers. Furthermore, the change classification corresponding to the code program segment can be determined. And based on the code program segment and a risk rule associated with the change classification corresponding to the code program segment, determining a risk detection result of the change code line in the code program segment.
Owner:ALIPAY (HANGZHOU) INFORMATION TECH CO LTD

Methods, apparatus, and articles of manufacture to generate usage dependent code embedding

Methods, apparatus, and articles of manufacture to generate usage dependent code embedding are disclosed. An example apparatus includes parsing circuitry to select a usage context for a code snippet, the usage context including at least one LOC before the code snippet or before a code line (LOC) calling the code snippet, the code snippet, and at least one LOC after the code snippet or after the LOC. The example apparatus also includes embedding circuitry to generate a first list of token embedding vectors for a first token of the second list of tokens for the code snippets, and a third list of token embedding vectors for a second token of the fourth list of tokens using the context. The example apparatus also includes a concatenation circuit to concatenate a transformed token embedding vector that closes the token and a fifth list of transformed token embedding vectors for the first list.
Owner:INTEL CORP

Test case generation method and device and readable storage medium

The invention discloses a test case generation method and device and a readable storage medium, and belongs to the technical field of automatic software testing. The method comprises the following steps: performing method call analysis on a to-be-tested program to generate a method call set; inputting the test case and a program code into a large language model to generate an initial test case; and evaluating the coverage rate, and if the saturation condition is not met, identifying an uncovered code line and feeding back the uncovered code line to the model to iteratively generate a new case until the coverage rate is saturated. According to the method, the high-coverage test case can be automatically and efficiently generated, and the method is particularly suitable for a scientific calculation program.
Owner:NANHUA UNIV

Code line difference automatic statistical method, statistical system and equipment

The invention provides an automatic statistical method, statistical system and equipment for code line differences, and the method comprises the following steps: carrying out the structural analysis of a multi-library engineering architecture, and extracting the current dictionary library data of each code warehouse; according to a target engineering configuration rule, inputting multi-version engineering identification parameters of to-be-counted code line differences, and obtaining corresponding to-be-counted dictionary database data; carrying out homologous matching comparison on multiple groups of dictionary database data to be counted, and classifying according to version difference scenes; correlating and calling corresponding code resources, calculating quantitative data of each unit identification code line according to a preset rule, and correlating and storing; the processes are integrated and deployed on an automatic execution platform, and standardized presentation and interactive display of cross-version project line difference data are achieved; the problems that existing code line statistics lacks a multi-warehouse identification mechanism, so that a code line statistics system cannot accurately divide code boundaries of all warehouses, respective statistics of code lines of all the warehouses cannot be achieved, and then pertinence and availability of code line data are affected are solved.
Owner:NINGBO JOYNEXT TECH CO LTD

Script processing method, device and equipment and readable storage medium

The invention belongs to the technical field of computers, and discloses a script processing method and device, equipment and a readable storage medium, and the method comprises the steps: determining a target code line meeting a preset tracking condition from an original script; inserting an output command for outputting a line number in front of a target code line of the original script to obtain a test script; executing the test script to obtain execution process information, and sequentially extracting line numbers output in the execution process from the execution process information to obtain a line number sequence; and inserting the execution sequence number annotation behind the target code line of the original script by utilizing the line number sequence to obtain a marked script with an execution sequence annotation. According to the method and the device, the marked script with the execution sequence annotation can be obtained, identification, analysis and correction of logic or grammar errors in a program can be assisted, and real and reliable execution sequence information is provided for script debugging.
Owner:INSPUR (SHANDONG) COMPUTER TECH CO LTD

Software vulnerability mining method and device based on static analysis and big and small model collaboration, computer equipment and medium

The embodiment of the invention provides a software vulnerability mining method and device based on static analysis and big and small model collaboration.The method comprises the following steps that attack faces are recognized and classified, and a code line annotation node set is generated; performing first-stage filtering on the code line annotation node set based on rules, and performing second-stage filtering on the annotation node set after primary filtering based on a twin neural network; taking a high-confidence node in the high-confidence attack surface set as a tracking starting point, generating a basic data flow diagram, obtaining a front-edge node set through static analysis, expanding the front-edge node set through a large language model and a path expansion algorithm, and generating a complemented data flow diagram; and detecting vulnerabilities based on the complemented data flow diagram to obtain a software vulnerability mining result. According to the scheme, through cooperation of the large language model and the twinning neural network, the false alarm rate is reduced, and the coverage rate and accuracy of vulnerability mining are improved.
Owner:BEIHANG UNIV

Firmware code coverage statistics method and electronic device

The application discloses a firmware code coverage statistics method and electronic equipment, and relates to the technical field of program detection, and comprises the following steps: responding to a first script construction command, calling an automatic script to insert a stub point code in a firmware code file, and the stub point code comprising a file index, a statistics function and a macro definition; wherein, a first array created by the macro definition records a code line number and an execution frequency, a second array created by the macro definition records a file index, a line number limit value and a first array address; when executing the firmware code file, the statistics function is called when executing the stub point position, the statistics function counts the executed code in the firmware code file according to the first array and the second array, and the firmware coverage is calculated by combining the executed code with the total code of the firmware code file, thereby solving the problems that the related art occupies a large amount of storage and memory and affects the running performance, and achieving the technical effects of reducing the firmware resource occupation and not affecting the firmware running performance.
Owner:INSPUR SUZHOU INTELLIGENT TECH CO LTD

Statistical method, device, electronic equipment, storage medium and program for running exception

PendingCN122450732ASource code fileEngineering
The present disclosure provides a statistical method, device, electronic equipment, storage medium and program for operation exception. The method comprises: assigning a corresponding file number to each of a plurality of preset source code files, each line of code in each source code file having a corresponding code line number; in response to monitoring that any source code file runs abnormally, obtaining a corresponding exception type number, file number and abnormal code line number where the exception occurs; querying a target partition directory matching the exception type number from a plurality of preset partition directories, the target partition directory comprising a plurality of type directories, each type directory comprising a plurality of file directories, each file directory representing a source code file and comprising a plurality of line number directories, and each line number directory representing a code line; and adjusting an exception count value of a corresponding directory according to a directory order of the type directory, file directory and line number directory. The embodiment can comprehensively obtain detailed information of an exception event, facilitating subsequent tracing of the exception event.
Owner:UNIONTECH SOFTWARE TECH CO LTD

Electric energy meter task concurrent scheduling method and system based on foreground and background systems

The invention discloses an electric energy meter task concurrent scheduling method and system based on foreground and background systems, and relates to the technical field of electric energy meter task scheduling. After initialization is completed, current task information is obtained, analysis and classification are carried out, a thread task corresponding to the current task information is executed, whether the current thread task is executed for the first time or not is judged, and a first-time execution judgment result is obtained; and executing a last suspended code line number clearing operation in the thread stack, executing the task code according to the task logic until the current task is executed to the thread task suspending starting point, storing the current code line number to the current thread stack, and exiting the current thread. The technical problems that in the prior art, single threads of foreground and background systems cannot be concurrent, task response is slow, and the CPU resource utilization rate is low are solved, and the technical effects that multi-task concurrent scheduling of the electric energy meter under the foreground and background single threads is achieved, the task response speed is increased, and the CPU resource utilization rate is increased are achieved.
Owner:HANGZHOU XILI INTELLIGENT TECH CO LTD

Method, system, medium, device and terminal for realizing abnormal information configuration

The application belongs to the technical field of exception systematization, and discloses a method, system, medium, equipment and terminal for realizing exception information configuration, code coordinates are acquired, exception definitions are acquired according to the code coordinates, it is judged whether there is an exception definition, if there is an exception definition, exception information is created, if there is no exception definition, default exception definitions are acquired and exception information is created, and then exception information configuration is realized. The application reduces the complexity of creating exceptions, so that a developer only needs to throw out exceptions conforming to specifications and convenient for later maintenance through an exception tool, without worrying about whether the exception codes conflict and whether the use is chaotic. An exception tool class of the application quickly maps exception definition information according to exception definition elements, and creates corresponding exceptions according to exception types, wherein the stack frame technology of JVM is used to quickly lock the code line number, which is used as one of the elements of the exception definition, so as to solve the problems of traditional definition exception code conflict and chaos.
Owner:DIGITAL CHINA FINANCIAL SOFTWARE LTD

Programming auxiliary development method and device and storage medium

The embodiment of the invention provides a programming auxiliary development method and device and a storage medium, and belongs to the technical field of industrial robots. The method comprises the steps of obtaining a to-be-detected code line; determining an effective code segment according to the to-be-detected code line; performing letter capital and lowercase correction on the first abnormal code which does not meet the preset assignment condition in the effective code segment; and performing letter capital and lowercase correction on the second abnormal code which does not meet the preset grammar configuration file in the effective code segment. Effective code segment extraction is carried out on each row of codes, and letter capital and small case correction is carried out on the first abnormal codes and the second abnormal codes in the effective code segments, so that abnormal detection and correction of the row-by-row codes can be realized; the first exception code and the second exception code are code segments related to the assignment variable and the grammar respectively, so that the exception in the programming form of the industrial robot can be corrected in real time, and the requirement on the programming capability of the industrial robot is reduced; therefore, the programming convenience of the industrial robot is improved.
Owner:ZHUHAI HAIFENG ROBOT SYST CO LTD

A computer network security software debugging method and system

The application provides a computer network security software debugging method and system. A plurality of test nodes of a source program in target network security software are set, a key test node is located based on an execution state at each test node, and a target search domain when the source program is tested is constructed by program context information of the key test node. A plurality of program slices with abnormalities in the source program are determined based on a static control flow graph and a dynamic control flow graph of program code in the target search domain. Test overhead of each program slice is determined according to test coverage information of each program slice and path complexity when the source program is tested. Constraint levels of each program slice are determined according to all test overhead and membership between each program slice. Each program slice is debugged through the constraint level of each program slice. The above scheme can accurately point to a problem code line in a network security software debugging process based on constraint levels of each program slice.
Owner:CHENZHOU VOCATIONAL & TECH COLLEGE

Basic development framework multiplexing efficiency-oriented dual-index measurement method and related equipment

The invention discloses a double-index measurement method and related equipment for reuse efficiency of a basic development framework, and the method comprises the steps: obtaining the business development workload, baseline workload and newly-added workload of a target project, and calculating the reuse net saving amount and a reuse efficiency index; obtaining a business code line number and a frame component code line number of the target project, obtaining a component comprehensive score, mapping the component comprehensive score into a conversion weight according to a preset mapping interval and a mapping parameter, and further calculating a code conversion reuse rate index; and combining the multiplexing efficiency index and the code conversion multiplexing rate index to determine a multiplexing efficiency measurement result, and calibrating the mapping interval and the mapping parameter through historical data. According to the embodiment of the invention, the authenticity and rationality of the multiplexing efficiency measurement result can be effectively improved by calculating the dual-measurement index and calibrating the code conversion process based on the historical data. The method can be widely applied to the technical field of multiplexing performance evaluation.
Owner:广东利通科技投资有限公司

Beverage or food preparation systems

1. A system comprising: a container for containing precursor material for use by a machine for preparing a beverage and / or food or a precursor to a beverage and / or food, the container comprising a machine readable code storing preparation information for use by a preparation process carried out by the machine, the code including a reference portion for locating a data portion, the data portion including at least one data unit positioned a coded distance (d) from a start position along an imaginary coding line (D) as a variable for at least partly encoding a value of a parameter of the preparation information; and a machine for preparing a beverage and / or food or a precursor to a beverage and / or food, the machine comprising: 2) the portion of the coded line includes either no data units or a single data unit; or 3) a distance along the coded line between data units on the coded line is greater than or less than a predetermined amount; 4) the system includes: a code-reading system for reading the code on the container; a processing unit for processing precursor material in the container; and an electrical circuit for controlling the processing unit based on preparation information read from the code, wherein the electrical circuit is configured to: read one or more coded distance(s) (d) from the code; determine whether a validity condition associated with the position of the or each data unit is satisfied based on one or more of: 1) a predetermined number of data units are identified on the portion of the coded line; 2) the portion of the coded line includes either no data units or a single data unit; and 3) a distance along the coded line between data units on the coded line is greater than or less than a predetermined amount; convert the or each coded distance(s) (d) into one or more values ​​of parameter(s); and control the processing unit based on the value(s) of the parameter(s).
Owner:SOCIETE DES PRODUITS NESTLE SA

Vulnerability detection method and device, equipment and storage medium

The invention provides a vulnerability detection method and device, equipment and a storage medium, and can be applied to the technical field of information security. The vulnerability detection method comprises the steps that to-be-detected codes are input into a large language model, a knowledge database is used for analyzing the to-be-detected codes, safety analysis code lines in the to-be-detected codes are output, and the safety analysis code lines represent key code lines used for vulnerability detection in the to-be-detected codes; according to a security analysis code line in the to-be-tested code, marking the code attribute graph of the to-be-tested code to obtain a marked code attribute graph; performing node vectorization and graph matrix on the marked code attribute graph to obtain a node vector matrix and an adjacent matrix set; and inputting the node vector matrix and the adjacent matrix set into a vulnerability detection model to extract vulnerability features based on the node vector matrix and the adjacent matrix set, and outputting a vulnerability detection result for the to-be-detected code.
Owner:INST OF MICROELECTRONICS CHINESE ACAD OF SCI LTD

Target text searching method supporting macro expansion, electronic equipment and medium

The invention relates to the technical field of electronic design automation, in particular to a target text searching method supporting macro expansion, electronic equipment and a medium. And recording a line number mapping relation between the macro-expansion code line in the original code file and the macro-expansion code line in the macro-expansion code file, and in a target text searching process, obtaining a first searching position which may be the position of the target text in the original code file; and acquiring a second search position which may be the position of the target text in the macro expansion code file, then selecting a search position closest to the search initial position in the search direction from the first search position and the second search position as a target search position, and determining the to-be-searched text corresponding to the target search position as the target text. According to the method and the device, the target text searching efficiency supporting macro expansion is improved.
Owner:成都融见软件科技有限公司 +1

Test case generation method and device, electronic equipment, storage medium and program product

The present disclosure relates to a test case generation method and device, electronic equipment, storage medium and program product. The method comprises: obtaining target source code of a target interface, the target source code comprising an interface function and at least one function referenced by the interface function; obtaining initial test cases corresponding to the target interface and code coverage information; determining, based on the code coverage information, a target code line in the target source code that is not executed and a target function to which the target code line belongs; determining, from the initial test cases, a target nearest neighbor test case corresponding to the target code line; the target nearest neighbor test case being a test case of a target parent node of the target code line in the initial test cases; the target parent node being a code line in the target source code that is executed and closest to the target code line among parent nodes of the target code line; inputting the target source code, the target code line, the target function and the target nearest neighbor test case into a test case generation model, and outputting a target test case.
Owner:BEIJING ZITIAO NETWORK TECH CO LTD

A processing method, apparatus and device of program code

The embodiment of the specification discloses a processing method, device and equipment of program code, the method comprises: obtaining target program code to be processed; determining the operation topology relationship graph corresponding to the target program code is constructed based on the model operation contained in the target program code, and the function block and the description information of each function block contained in the target program code are determined based on the operation contained in the target program code and the operation topology relationship graph; based on the function block contained in the target program code and the description information of each function block, and the target program code with code line mark is set, the first prompt information is constructed, and the first program code with the similarity between the target program code greater than the preset threshold is obtained from the code database based on the target program code; the second prompt information is generated based on the first prompt information, the first program code and the target program code, and the second prompt information is input into the large model, and the analysis log of the target program code is obtained.
Owner:ALIPAY (HANGZHOU) INFORMATION TECH CO LTD

DETECTION OF ARTIFICIAL INTELLIGENCE-GENERATED COMPUTER CODE

Systems and methods for detecting computer code generated by artificial intelligence (AI). Code lines can be masked (110) from a candidate code to obtain corrupted codes. Missing code can be generated from the corrupted codes by inserting an AI code generator model (120) to obtain machine-filled codes. The probabilities of the candidate code probability and the machine-filled codes being AI-generated can be predicted (130) by inserting a substitute model. The candidate code can be distinguished as AI-generated (140) by comparing the probabilities with a detection threshold to obtain detection results.
Owner:NEC LABORATORIES AMERICA INC

Multilingual code line completion system

Embodiments of this disclosure relate to a multilingual code line completion system. A code completion tool uses a neural transformer model to generate candidate sequences to complete lines of source code. The neural transformer model is trained on a large unsupervised dataset using a conditional language modeling objective, which includes source code programs written in multiple different programming languages. The neural transformer model is used for beam search, which predicts the most likely candidate sequences for a small piece of code under development.
Owner:MICROSOFT TECHNOLOGY LICENSING LLC

Intelligent computing framework testing method based on coverage degree

The invention relates to an intelligent computing framework test method based on coverage, and belongs to the field of intelligent computing. According to the method, a framework is abstracted into a code layer, an operator layer and an environment layer, and designed coverage indexes comprise operator coverage, code line coverage, control flow coverage, data flow coverage, concurrency coverage, exception handling coverage, diversified input coverage, operator parameter combination coverage, model structure coverage and hardware coverage; a specific test method is designed according to the characteristics of each coverage degree, the operation performance of the framework under different conditions is evaluated, and potential defects are found out; and designing a comprehensive weighting method, and introducing marginal cost-effectiveness fusion based on defect detection efficiency, redundancy related punishment and dynamic correction based on a test result of each round into a subjective and objective weighting method. According to the method, potential defects and vulnerabilities can be found and positioned in time, the adaptability of the framework to various application scenes and extreme conditions is improved, and the robustness of the system is enhanced.
Owner:BEIJING INST OF COMP TECH & APPL

Software defect positioning method and system driven by thinking chain iteration verification

The invention discloses a thinking chain iteration verification driven software defect positioning method and system, and the method comprises the steps: determining a first code line set of a first inference code and a first SMT formalized verification result, based on the test case, the first confidence score, the first code line set and the first SMT formalized verification result, determining a first comprehensive confidence score, and based on the to-be-detected software source code, the test case, the first SMT formalized verification result and the first code line set, through a trained large language model, calculating the first comprehensive confidence score; and determining a second positioning result, a second reasoning code and a second confidence score of the second positioning result, and so on, and screening out the positioning result corresponding to the maximum value from the first comprehensive confidence score to the Nth comprehensive confidence score as a software defect positioning result of the to-be-detected software source code, thereby improving the accuracy of software defect positioning.
Owner:CENT SOUTH UNIV

Body of an encoded graphical user interface of an electronic device

1. The name of the design product: the main body of the coding graphical user interface of an electronic device. 2. The use of the design product: for an electronic device. 3. The design points of the design product: the protected part of the graphical user interface in the electronic device. 4. The picture or photo that best indicates the design points: change state figure 2. 5. The use of the graphical user interface: the graphical user interface is used for coding. The protected part of the graphical user interface is used for coding, specifically for code optimization. The graphical user interface can be interacted with by the user's clicking operation on the graphical user interface or by operating the mouse. In the graphical user interface of the main view, the code content in the conversation column on the left side of the interface is the optimization result generated based on the code in the code area on the right side of the interface, and by clicking "adopt" in the conversation column on the left side of the interface, the graphical user interface changes from the main view to the change state figure 1, showing the start of the execution of inserting the optimization result into the code line; after a period of time, the graphical user interface changes from the change state figure 1 to the change state figure 2, showing the insertion of the optimization result in the code area on the right side of the interface in a streaming loading manner, and the code line being executed is highlighted with a different background color. 6. Other circumstances that need to be explained: the dashed lines in each view show part of the graphical user interface, which does not constitute the protected part of the design.
Owner:BEIJING BAIDU NETCOM SCI & TECH CO LTD