14 results about "Precondition" patented technology

The invention provides an automatic test system and method capable of being arranged and executed in batches, and the system comprises a test case arrangement plan table which is used for customizing the starting time, the precondition and the dependency relationship of each test item, whether execution is terminated or not when the test item fails, grouping execution, result archiving, product dependency and user-defined labels; the default configuration management module is used for parameterizing execution and supporting simple configuration to realize visual operation of the test script; the software framework supports an object-oriented language and provides multi-process processing to improve execution efficiency; and the distributed structure is used for realizing concurrent parallel execution across a plurality of processors or machines and supporting synchronous import and concurrent asynchronous execution of a plurality of test items. Through the support of multi-process processing and a distributed structure, the advantages of a multi-core processor and computing resources of cross-network nodes can be fully utilized, multiple test items are executed in parallel, the execution efficiency of automatic testing is greatly improved, and the overall testing period is shortened.

The invention discloses a processing method and device for big language model problem prompting and a medium, and relates to the technical field of natural language processing. The method comprises the steps of obtaining an original text, extracting an entity of the original text, and extracting a logical relationship according to the entity, the logical relationship including a causal relationship and an employment relationship; performing question reconstruction according to the entity and the logical relationship, and generating a redescribed question prompt; based on the question prompts, calculating semantic similarity and task types of the question prompts and preset vocabularies by adopting a self-adaptive random replacement strategy, dynamically selecting a replacement mechanism, and generating a plurality of candidate prompts; and calculating global entropy values of the candidate prompts, performing multi-source knowledge base verification on the candidate prompt with the minimum global entropy value, and outputting the minimum candidate prompt under the condition that the verification is passed. By means of the method, the generation process of optimizing the large language model when the error precondition or the fuzzy problem is processed is achieved, and therefore illusion output is effectively reduced.

The invention relates to the technical field of software development, and provides a dynamic arrangement type invoicing method and system, and the method comprises the steps: building a code-level atomic component library; packaging a corresponding flow node component for each atomic component in the flow editor, and providing a drag-and-drop atomic component arrangement flow interface; the atomic component arrangement process precondition verification is realized; generating a self-defined DSL of an atomic component arrangement process; the invoicing process executor is responsible for analyzing the DSL and calling and executing the atomic component according to an arrangement process; a local invoicing tagging interface and function are realized, an invoicing process executor is called, and an invoicing transaction is closed. The invention provides an invoicing mode which supports online editing and is based on capability arrangement, rearrangement of the invoicing transaction process can be dynamically realized only by adjusting the arrangement process of the atomic component online by utilizing the draggable process editing interface, and diversified configuration requirements of the invoicing transaction process are effectively met.

The invention discloses a training method of a script link generation large model and a script link generation method. The training method comprises the steps that structure information of at least one action script is obtained, the structure information of the action script comprises an execution action, a precondition and adjacent script relation information, and the adjacent script relation information is used for indicating a next action script which can be executed after the action script is executed; generating at least one first prompt text according to the structure information of each action script; each first prompt text is input into the large language model for training, a script link generation large model is obtained, the script link generation large model is used for generating script links, the system development intelligence degree is improved, time is saved, a complete process script executed by operation is split into independent action scripts, and the operation efficiency is improved. The script link is generated through the large model, a full-process script does not need to be compiled completely, the workload is small, development manpower and storage resources are saved, management is convenient, and different functions are more flexible and changeable to achieve.

The invention discloses an MC / DC test case generation method based on a multi-condition expression and a related product, and the method comprises the steps: determining a first condition and n-1 second conditions except the first condition from n conditions in the multi-condition expression; for the first condition, determining two MC / DC test cases related to the first condition according to the value of the first condition and the operators corresponding to the second conditions; and for any second condition, determining an MC / DC test case related to the second condition according to the initial value of the second condition, the precondition of the second condition and the initial values of other second conditions. In the embodiment of the invention, two test cases are generated aiming at the first condition, n-1 test cases are generated aiming at n-1 second conditions, and n + 1 test cases are generated in total, so that the workload and time cost of test execution are reduced, and the overall test efficiency is improved.

The invention relates to a software demand uncertainty identification and quantitative evaluation method, which comprises the following steps of: reversely deducing a precondition required for realizing on the basis of one or more candidate realizable schemes aiming at a target software demand to obtain a precondition set; according to the precondition set, implicit hypotheses which are not given in an explicit mode but are established by default during implementation are extracted from target software requirements, all the implicit hypotheses are marked as necessary hypotheses, replaceable hypotheses or risk hypotheses, and an implicit hypothesis set is formed; under the same group of implementation constraint conditions, performing logic consistency judgment on any two implicit hypotheses in the implicit hypothesis set; and when at least one pair of implicit hypotheses cannot be simultaneously established, judging that the target software demand has structural uncertainty caused by implicit hypothesis conflicts, and generating an uncertainty quantitative evaluation result based on the number and the type of the conflicting implicit hypotheses and the preset weight of the associated constraint term thereof.

The invention relates to a method for designing a configuration item test case of comprehensive function resolving software. Comprising the following steps: abstracting a software demand item into a logic expression; two original test cases are designed by taking a criterion that a first condition in the logic expression independently influences an output result of the test cases, and other conditions in the logic expression are valued according to an upper-layer node type; the next condition is used as the current condition for iteration in sequence, the value of the current condition is obtained by negation of the original test case, all direct correlation preconditions of the current condition are determined, the value of the current condition is transmitted to the direct correlation preconditions of the current condition in sequence until the direct correlation precondition is the first condition, and the direct correlation precondition is the second condition; the values of the original test case are kept by the values of other conditions, and the test case of the current condition is obtained; traversing all the conditions to obtain a test case set of the software demand items; and mapping actual variables according to the test case set to obtain an actual test case set.

The application discloses a multi-item review expert configurable extraction method, system, device and medium, and relates to the technical field of computer software and service. In order to solve the problem that the traditional expert extraction technology cannot deal with multi-item and complex business scenarios, the scheme comprises the following steps: based on the extraction scene demand, configuring the extraction rule group, the precondition rule, the trigger rule, the "and rule group", the "or rule group" and the terminal rule of the candidate expert; configuring the judgment process of the precondition rule and the trigger rule in the extraction rule group; based on the configured extraction rule group, the judgment process of the precondition rule and the trigger rule in the extraction rule group, extracting the expert who meets the precondition rule and the trigger rule from the candidate expert set through a preset expert extraction algorithm, and outputting the extraction result. The application can configure the extraction conditions of different items, and improve the efficiency and standardization of the extraction process.

The invention provides a controller speed limiting method, device, equipment and product, and the method comprises the steps: obtaining a key value and a return feature code of a resource to be enqueued again; wherein the return feature codes are sent by the tuning process according to return point locations of the resources to be enqueued again in the tuning process, and each return point location of the tuning process corresponds to one return feature code; determining the re-enqueue time of the resource to be re-enqueued according to the key value and the returned feature code; and according to the re-enqueueing time, executing a delayed enqueueing operation of the resource to be re-enqueued. According to the key value and the return feature code of the resource to be enqueued again, the return point location of the resource in the tuning process is obtained, the enqueueing time is determined, and the delay enqueueing operation is executed at the enqueueing time, so that the speed is limited when the external precondition required by the update state cannot be reached in the tuning process, the deadlock is avoided, and the tuning efficiency is improved. The problem of idle consumption of computing resources and network resources in a controller and a cluster is solved.

The invention provides a machine tool control system and method and a storage medium, and belongs to the field of machine tool control, the machine tool control system comprises an input interface control module and an output interface control module, the input interface control module is used for constructing a standard function, and the standard function obtains multiple pieces of precondition information of machine tool operation through an input interface. According to the method, a complex fool-proof mechanism and potential collision logic of underlying hardware do not need to be concerned, the technical threshold is remarkably reduced, the working efficiency is improved, the time cost and the learning cost required by handover are greatly reduced, meanwhile, the problem of system stability caused by disordered program styles and unclear logic is effectively avoided, and the system reliability is improved. And safety risks such as equipment collision or operation faults caused by misreading of a program structure or mismodification of key control logic by maintenance personnel are effectively prevented, and the method has remarkable engineering application value and popularization prospect.

The invention belongs to the field of formalized verification, and provides a MedTiny language formalized verification method based on theorem proof. According to the method, a target language similar to the MedTiny structure is designed in a theorem prover Isable, so that verification of the MedTiny program is realized; a theorem proving technology is used to enable a verification result to have strict mathematical guarantee; the Hall triad is simplified according to a preset Hall triad proving rule, so that the problem that the unbounded condition of the cycle index cannot be verified is avoided; according to the technical scheme of the invention, the simplified Hall triad is verified to verify whether the final value of the verification condition obtained through calculation is true or not and whether the weakest pre-condition is contained in the pre-conditions or not is judged, so that the high automation of the verification process is realized through the theorem prover, the manpower demand of experts is greatly reduced, and the verification efficiency and accuracy are remarkably improved.

The invention relates to the technical field of emerging software, in particular to a multi-industry-oriented AI application development system which comprises a service atlas construction module, a tool sequence generation module, a sequence simulation verification module and an execution sequence correction module. According to the method, a structured basis is provided for demand disassembly by constructing a business process and tool map containing a precondition, a posteffect and an execution cost vector, a large-scale language model analyzes the demand and a matching tool based on the map and generates a candidate call sequence, and different from direct execution and scheme, simulation verification is performed on the candidate sequence, so that the demand disassembly efficiency is improved. The problem of data dependence conflict or cost overrun is actively found by judging precondition matching and accumulating execution cost, then a sequence conflict set is used as a prompt, a large language model is driven to iteratively adjust a tool sequence until the conflict is eliminated, and finally an automatic AI application execution stream which is verified and controllable in cost is output. And the accuracy and efficiency of application construction are remarkably improved.

The invention relates to an automatic testing method and device, computer equipment, a storage medium and a computer program product. The method comprises the steps of obtaining at least two target test scripts with the same preconditions; performing step division processing on the control steps of each target test script to obtain an interface control step and a function control step of each target test script; performing consistency detection processing on all the interface control steps to obtain first detection results of all the interface control steps, and performing consistency detection processing on all the function control steps to obtain second detection results of all the function control steps; and executing preconditions of the at least two target test scripts in parallel, executing each interface control step according to the first detection result, and executing each function control step according to the second detection result to obtain a test result of each test script. The method can greatly improve the efficiency of automatic testing of the vehicle.

The present invention relates to the field of software development technology, and provides a dynamically orchestrated invoicing method and invoicing system, the method comprising: establishing a code-level atomic component library; encapsulating a corresponding process node component for each atomic component in a process editor, and providing a drag-and-drop atomic component orchestration process interface; implementing atomic component orchestration process precondition verification; generating a custom DSL for the atomic component orchestration process; implementing an invoicing process executor, which is responsible for parsing the DSL and calling and executing the atomic component according to the orchestration process; implementing a local invoicing coding interface and function, calling the invoicing process executor, and closing the invoicing transaction. The present invention provides a capability-based orchestration invoicing method that supports online editing. By utilizing a draggable process editing interface, the invoicing transaction process can be dynamically rearranged by simply adjusting the orchestration process of the atomic component online, effectively responding to the diversified configuration requirements of the invoicing transaction process.