38 results about "Metamorphic testing" patented technology

The invention discloses a software testing method facing to software upgrading. The method is automatically constructed on the basis of the metamorphic relation of equation description. Before software upgrading, a tester can construct the metamorphic relation of each procedure at the aim of a conventional software; the procedure refers to a procedure code for achieving a special function calculating function; after software upgrading, at the aim of a modified procedure, the tester can produce n random numbers as use cases for testing within a certain range, then substituting each case for testing and corresponding output of the case in the modified procedure into a metamorphic relation expression of the procedure before modification, and checking whether the metamorphic relation expression is tenable or not, and if the modified procedure is not conform to the metamorphic relation constructed before, errors on the software exist during the updating process. Through the method provided by the invention, the tester can apply the metamorphic relation constructed into a metamorphosis process, therefore, the correctness of the software during the version upgrading process can be verified.

The invention relates to a metamorphic relation priority ranking method for metamorphic testing of parallel programs. A metamorphic testing technology is applied to software testing of the parallel programs, and priority ranking is firstly performed on constructed metamorphic relations, so that errors in the programs are discovered as early as possible, and the solving efficiency of the Oracle problem in software testing is improved. According to a priority ranking strategy, derivative testing examples and original testing examples, generated on the basis of the metamorphic relations, are adopted, and similarity between the examples are taken as the basis, the similarity of paths covered by executive programs of the examples is estimated, the error detecting range of the metamorphic relations based on the existing testing examples is further estimated, and priority ranking is performed based on the metamorphic relations. The method comprises specific steps as follows: (1) evaluating the error detecting capacity of each process of the metamorphic relations; (2) setting a weight value of each process so as to reflect the error detecting capacity of each process of the metamorphic relations, and evaluating weight of the error detecting capacity of each process to the error detecting capacity of the whole program; (3) evaluating the program error detecting capacity of the metamorphic relations, and determining the priority of each metamorphic relation; (4) detecting the programs.

The invention discloses a transformation test case generation method based on an adaptive random strategy, that is, the test case is randomly and automatically generated based on the adaptive strategy. First, the first group of original test cases is randomly generated, and additional test cases are generated according to the metamorphic relationship, and the two constitute the selected test cases; secondly, the input domain is divided to obtain the sub-domains that are not covered by the selected test cases; thirdly, Randomly generate multiple test cases in this subdomain, select a group of test cases as candidate original test cases, and generate additional test cases according to the metamorphic relationship; finally, according to the distance between the candidate test cases and the selected test cases, and The distance between the candidate original test case and its additional test cases, the test case with the largest distance is selected as the next set of test cases. The test case generation method of the invention is simple and clear, and greatly improves the dispersion, effectiveness and coverage of the test case in the input field.

The invention discloses a software testing method facing to software upgrading. The method is automatically constructed on the basis of the metamorphic relation of equation description. Before software upgrading, a tester can construct the metamorphic relation of each procedure at the aim of a conventional software; the procedure refers to a procedure code for achieving a special function calculating function; after software upgrading, at the aim of a modified procedure, the tester can produce n random numbers as use cases for testing within a certain range, then substituting each case for testing and corresponding output of the case in the modified procedure into a metamorphic relation expression of the procedure before modification, and checking whether the metamorphic relation expression is tenable or not, and if the modified procedure is not conform to the metamorphic relation constructed before, errors on the software exist during the updating process. Through the method provided by the invention, the tester can apply the metamorphic relation constructed into a metamorphosis process, therefore, the correctness of the software during the version upgrading process can be verified.

The invention discloses a formal description and decomposition method for a metamorphic relation. The method includes the following steps: (1) according to targeted tested software, extracting and designing the metamorphic relation that the software mush satisfy to create the metamorphic relation; (2) performing formal modeling on the obtained metamorphic relation on the basis of symbolic logic, determining constraint conditions under which the metamorphic relation is established, performing formal description, then describing input parameters and output parameters of the metamorphic relation on the basis of the symbolic logic, and establishing a formal description model of the metamorphic relation; (3) on the basis of the formal model, respectively extracting subrelations forming the metamorphic relation and a set description form of a metamorphic relation composition model, and establishing a metamorphic relation decomposition model. The method is simple and clear, description capacity and application range of the formal model are guaranteed through symbolic logic description, the accurate, standard and effective method is provided for description of the metamorphic relation, and the method is more conducive to automated implementation of subsequent metamorphic testing.

The invention relates to an embedded software testing method based on AADL (Architecture Analysis and Design Language) mode transformation relationship, which has the following steps of: constructing a mode transition diagram on the basis of mode information in an AADL model, and converting the diagram into a mode relationship tree required by a transformation test according to the improved depth-first traversing algorithm; constructing a source test case in the mode transformation relationship by traversing the mode relationship tree, generating a subsequent test case by means of the mode transformation relationship in the AADL model, and verifying the mode transformation relationship to obtain the conclusion of the transformation test. The embedded software testing method based on AADL mode transformation relationship solves the 'Oracle' problem existing in the embedded software test, is convenient for a user to test the embedded software at an early stage of software design and ensures the reliability of software at a system architecture level. If the model architecture can not meet corresponding requirements, the architecture of the software can be modified at an early stage of development, thus the development cost is saved, and meanwhile, the development cycle can also be shortened.

The invention belongs to the field of software testing, and specifically discloses a method for locating failure test cases in a metamorphosis test. First, a test case is selected from a test case set as an original test case, and then the aforementioned original test case is used according to the metamorphosis relationship in the metamorphosis relationship set. input relationship, generate additional test cases, verify whether the output relationship of the metamorphic relationship is satisfied according to the output results of the tested software, and record the test cases of the unsatisfied metamorphic relationship and mark them with non-zero values; then, according to the metamorphic relationship Verify the result flag value and calculate the suspiciousness of the test case. Then, in the same way, other test cases are traversed and verified one by one, and their suspiciousness values ​​are calculated. Finally, the test case with the highest suspiciousness is the failure test case. The positioning technology of the failure test cases in the metamorphosis test provided by the present invention is simple and clear, easy to implement, and provides accurate and effective positioning for the failure test cases through the quantitative calculation of suspiciousness.

The invention discloses an integer overflow fault detection method based on a transformation relationship. First, a static test tool is used to perform static detection on a program under test, and an integer variable in which integer overflow may occur is preliminarily determined, and is marked as an integer overflow check. point; then, the integers referenced by the integer-definition statement and the integer-use statement are identified based on a "definition-use" model containing the list of integer-definition statements and the list of integer-use statements that cause the integer overflow fault. Overflow integer, if the overflow integer has the dangerous use of the integer expressed in the statement list, it will be identified as a dangerous integer; finally, before the statement of the source code of the tested program that refers to the dangerous integer is executed, the transformation test method is adopted. Detects whether an integer overflow fault occurs for the dangerous integer. Through the method of the present invention, an accurate and effective method is provided for the detection of integer overflow faults.