7 results about "Precondition" patented technology

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 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 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.