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