Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

48 results about "Mutation testing" patented technology

Mutation testing (or mutation analysis or program mutation) is used to design new software tests and evaluate the quality of existing software tests. Mutation testing involves modifying a program in small ways. Each mutated version is called a mutant and tests detect and reject mutants by causing the behavior of the original version to differ from the mutant. This is called killing the mutant. Test suites are measured by the percentage of mutants that they kill. New tests can be designed to kill additional mutants. Mutants are based on well-defined mutation operators that either mimic typical programming errors (such as using the wrong operator or variable name) or force the creation of valuable tests (such as dividing each expression by zero). The purpose is to help the tester develop effective tests or locate weaknesses in the test data used for the program or in sections of the code that are seldom or never accessed during execution. Mutation testing is a form of white-box testing.

A fuzzy testing framework based on AFL

The invention discloses a fuzzy test framework based on AFL, which comprises a test case preprocessing module and an AFL processing module. In the AFL processing module, the test case selection sub-module sequentially selects the next test case to be mutated from the test case queue; before selection, according to the historical variation of test cases, those test cases with greater probability tofind new paths are identified as privileged test cases, and are selected as test cases to be mutated first. The test case mutation quantity determining sub-module adjusts the energy allocated to eachtest case according to the historical mutation of the test case, and then adjusts the mutation quantity of the test case to be mutated. The test case mutation sub-module determines the mutation byteaccording to the valid byte in the test case. The mutation is then performed according to the number of mutations and the mutation bytes. The invention solves the blindness problem of the current AFLtool in the test case generation strategy, and the insufficiency that the effective test case cannot be generated according to the highly structured data format.
Owner:BEIJING INSTITUTE OF TECHNOLOGYGY

Program state-oriented fault classification method, mutation testing method and device

The invention provides a program state-oriented fault classification method, a mutation testing method and a device. The method comprises the following steps of: constructing a fault node set and a state mutation point set for each sentence of a source program to be tested based on a mutation operator corresponding to the syntax of the source program to be tested; constructing a variation flow diagram of the source program to be tested based on the fault node set, the state variation point set, the triggering relationship and the propagation relationship between the state variations of each statement; and according to the direct backward dominance relationship of the variant flow diagram, constructing a fault class dominance tree to perform fault classification on the source program to betested. The invention classifies and sorts the fault programs according to the general fault test principle, and supports multiple types of mutation operators, has good scalability, thereby reducing the test times, optimizing the fault set, simplifying the fault analysis cost, and improving the mutation test efficiency.
Owner:BEIJING UNIV OF POSTS & TELECOMM

Predictive mutation testing method

The invention discloses a predictive mutation testing method which is divided into a training stage and a prediction stage. An execution result of each mutant is predicted through a prediction method; the training stage comprises the steps of executing the mutants, conducting characteristic collection on the executed mutants to form a characteristic attribute file and creating a classification model by applying a classification algorithm; the prediction stage comprises the steps of conducting characteristic collection on the unexecuted mutants and classifying each unexecuted mutant by means of the classification model to obtain a classification result. When the predictive mutation testing method is adopted for mutation testing, the mutants to be tested can be predicted by directly using a created prediction model, the execution results of the mutants can be obtained without executing the mutants, and the mutation testing cost can be significantly reduced.
Owner:PEKING UNIV

Mutation test data evolution generation method based on statement dominance relationship

The invention discloses a mutation test data evolution generation method based on a statement dominance relationship. One of the key problems of the variation test is to generate test data for effectively killing variants in a short time. Along with increasingly increased program scale and complexity, under a traditional mutation test criterion, a tested program and a variant need to be operated at the same time to detect whether the variant is killed or not, which certainly affects mutation test efficiency. According to the method, firstly, a mutation test criterion based on a statement dominance relationship is given, a mathematical model of a mutation test data generation problem based on the statement dominance relationship is established on the basis, and a corresponding evolutionaryoptimization solving method is given.
Owner:CHINA UNIV OF MINING & TECH

Method and system for improving coverage of fuzzy test

The invention provides a method and system for improving the coverage rate of a fuzzy test. The method comprises the steps: S1, preprocessing a target program serving as a test case to obtain a call graph of a function in the target program; S2, determining anchor nodes for fuzzy test in the target program based on the call graph, the anchor nodes comprising a first anchor node based on a complexnetwork and a second anchor node based on a neural network; S3, according to the anchor nodes, determining the distances from the seed nodes to the anchor nodes through an instrumentation tool; and S4, calculating the energy of the seed nodes based on the distance, and selecting the seed nodes of which the energy is higher than a threshold value as a basis for evaluating the mutation test case.
Owner:NAT UNIV OF DEFENSE TECH

Mutation test data generation method based on multi-population coevolution

ActiveCN111274119AQuality improvementImprove the efficiency of finding the optimal solutionSoftware testing/debuggingGenetic algorithmsMathematical modelSpecific population
The invention discloses a mutation test data generation method based on multi-population coevolution, and aims to gradually reduce a search domain according to information provided by population evolution when a multi-population coevolution genetic algorithm is adopted to generate test data for variants which are difficult to kill, so as to improve the efficiency of generating mutation test data.The method comprises the following steps: firstly, determining a difficult-to-kill variant based on the reachable difficulty of a variant statement, the number of related program input variables and other indexes; then, establishing a mathematical model of a mutation test data generation problem based on path coverage constraints, and finally, for the variants which are difficult to kill, determining the opportunity and strategy of search domain reduction based on information provided by population evolution by adopting a multi-population coevolution genetic algorithm, dynamically reducing thesearch domain, and quickly and accurately generating mutation test data.
Owner:XUZHOU UNIV OF TECH

Concurrency test effectiveness via mutation testing and dynamic lock elision

One embodiment described herein is directed to a method practiced in a computing environment. The method includes acts for determining test suite effectiveness for testing for concurrency problems and / or product faults. The method includes identifying a plurality of synchronization primitives in a section of implementation source code. One or more of the synchronization primitives are iteratively modified and a same test suite is run for each iteration. For each iteration, a determination is made whether or not the test suite returns an error as a result of modifying one or more synchronization primitives. When the test suite does not return an error, the method includes providing to a user an indication which indicates at least one of a test adequacy hole for the test suite; an implementation source code fault; or an equivalent mutant of the implementation source code.
Owner:MICROSOFT TECH LICENSING LLC

A mutation testing method based on Android multithreaded data dependency

The invention discloses a mutation test method based on Android multithreaded data dependence, which can accurately generate mutants related to multithreaded data dependence, reduce the generation rate of invalid mutants, and improve Android multithreaded mutation test efficiency. The method comprises two stages of variant generation and variant testing. In the variant generation phase, the Android application program (hereinafter referred to as APK file) is analyzed to obtain the data stream information. The source code file of Android application is parsed by abstract syntax tree and symboltype, and the trigger position of multi-thread in the program is obtained. Analyzing the context code of the trigger position to get the mutable position; data type analysis of mutation position is carried out and mutation operator is applied to generate mutant which is dependent on multithreaded data. In the variant testing phase, each variant is compiled and the APK file generated is run to select the appropriate variant program. Applying test cases to valid variant APK files and recording test results.
Owner:EAST CHINA NORMAL UNIV

Calibration method and calibration circuit for charging control circuit

The invention provides a calibration method and a calibration circuit for a charging control circuit. The charging control circuit is applicable to the charging voltage input, and comprises a current voltage control end, a voltage regulating end and a voltage sampling end. The calibration method comprises the following steps that target voltage is exerted to the voltage sampling end; N test data is sequentially input through the voltage regulating end, the N is greater than or equal to 2, the n-th test data is greater than the (n-1)th test data, the n is smaller than or equal to the N but is greater than or equal to 2, and the detection voltage of the current and voltage control end is measured for obtaining the corresponding detection voltage of each test data; the test data corresponding to the mutation testing voltage is used as the calibration data of the charging control circuit, the mutation testing voltage is the first detection voltage with the voltage value being smaller than or equal to the voltage threshold in the detection voltage, and the voltage threshold is a half of the voltage value of the charging voltage.
Owner:SPREADTRUM COMM (SHANGHAI) CO LTD

Software test case multi-population evolution generation method based on variant grouping

The invention discloses a software test case multi-population evolution generation method based on variant grouping, and aims to dynamically determine the correlation between an input variable and a variant based on a weak variation test criterion and establish a variation test case multi-task optimization model. For multiple groups of tasks, a multi-population genetic algorithm is adopted to efficiently generate test cases with defect detection capability. Firstly, the correlation between variants and input variables is determined based on the change of adaptive values, and the variants are grouped according to the same input component; secondly, a mutation test case generation multi-task optimization model is constructed based on related input variables; and finally, in order to solve the model, a multi-population genetic algorithm is utilized to evolve and generate a test case in a parallel mode.
Owner:XUZHOU UNIV OF TECH

Program code variation testing method and device

The embodiment of the invention provides a program code variation testing method and device, and the method comprises the steps: obtaining the business scene information of a to-be-tested program code, enabling the business scene information to be the operation logic information of a user when the business service is provided for the user based on the program code, carrying out the recognition processing of the business scene information, obtaining at least one variant, and transmitting the at least one variant to a server; a test case set is generated according to the variants, the test case set comprises a plurality of test cases, each test case has a case number, the test cases in the test case set are sequentially executed according to the sequence of the case numbers, and test results corresponding to the test cases are generated. According to the method and the device, the variation test results of the program codes are determined on the basis of the test results, diversity and flexibility of variation tests are improved, variation tests are performed in combination with the view angle of the user, the variation test results can better meet the requirements of the user, and therefore user experience is improved.
Owner:AGRICULTURAL BANK OF CHINA

Software testing method integrated with fuzzy clustering

ActiveCN112699053AImprove the efficiency of test defect detectionHelps to be killed at the same timeSoftware testing/debuggingGenetic algorithmsEngineeringMutation testing
The invention discloses a software testing method integrated with fuzzy clustering, and aims at applying a fuzzy clustering method to software testing, clustering variants simulating real defects based on similarity, and improving the software defect detection efficiency as long as similar defects are detected once. The method comprises the following steps: firstly, generating variants based on a weak variation test criterion, and calculating the similarity between the variants by adopting a mathematical statistics method; then constructing a similarity matrix, sorting the variants based on the number of the variants similar to the variants, and then fuzzy clustering the variants based on the similarity among the variants, so that non-central variants are distributed to multiple clusters, and the efficiency of generating test data is improved. The proposed fuzzy clustering method is helpful for reducing the cost of variation test , has huge potential for improving the effectiveness and practicability of variation tests.
Owner:XUZHOU UNIV OF TECH

A fuzzy test case adaptive mutation method and device based on reinforcement learning

The invention discloses a fuzzy test case adaptive variation method and device based on reinforcement learning, and the method comprises the steps of selecting a variation operation group corresponding to a to-be-mutated test case type to carry out the learning of adaptive variation, thereby selecting a variation strategy in a targeted manner, and achieving the variation operation with a finer granularity. According to the present invention, the type information and the variation operation are further adopted to form the context information to be input into a single-step reinforcement learningmodel, the single-step reinforcement learning model converts the selection problems of different variation operations into the selection of different rocker arms in a multi-arm gambling machine problem, and the context-related confidence interval upper bound algorithm LLUCB is used for learning the adaptive variation operation, so that the adaptive learning of the variation operation under different types of scenes is realized, the variation operation capable of obtaining a higher path coverage rate is used for carrying out test case variation, and the efficiency and the quality of the fuzzytest adaptive variation are improved.
Owner:BEIJING INSTITUTE OF TECHNOLOGYGY

SQL injection test case generation method based on combinatorial variation

The invention belongs to the technical field of software security test research, and discloses an SQL injection test case generation method based on combinatorial variation, which is used for improving the number of SQL statement injection success and the SQL vulnerability detection efficiency. A test case set is generated by using a method of combining a combination test and a mutation test, andthe method can ensure the number of test cases bypassing a filtering rule while saving a test space. The test case set is applied to a detection system, so that SQL vulnerabilities which can successfully attack a Web page are verified, and compared with an existing method, the SQL injection vulnerability detection method based on mutation test reduces the probability of space explosion, and savesmore time cost and detection cost of test cases.
Owner:DALIAN UNIV OF TECH

Software test case evolution generation method based on search domain reduction

InactiveCN112732582AReduce the cost of determining relevanceLower search domainSoftware testing/debuggingGenetic algorithmsTheoretical computer scienceGenetics algorithms
The invention discloses a software test case evolution generation method based on search domain reduction, and aims to dynamically determine the correlation between an input variable and a variant, remove an irrelevant input variable equivalent to reduction of a search domain, and efficiently generate a variation test case by adopting a genetic algorithm. The method comprises the steps that firstly, a mutation test case generation optimization model is established, a fitness function is designed, and then the correlation between a variant and an input variable is dynamically determined based on fitness change; then, a mutation test case generation optimization model is improved, the decision variable is a related input variable, and the mutation test case generation optimization model based on the related input variable is established; and finally, for the new model, a test case is effectively generated by adopting a genetic algorithm in a search domain formed by related input variables.
Owner:XUZHOU UNIV OF TECH

Program vulnerability detection method and device

The embodiment of the invention relates to the technical field of computers, in particular to a program vulnerability detection method and device, and aims at solving the problems that a large amountof manpower needs to be consumed in program crash detection and samples capable of causing program crash are scarce. The method comprises the steps of obtaining test samples in a test sample queue, and performing mutation processing on the test samples to obtain a plurality of mutation test samples corresponding to the test samples; inputting a plurality of mutation test samples into a detected program for execution to determine an index parameter of each mutation test sample, and when it is determined that no mutation test sample causing crash of the detected program exists in each mutation test sample, determining a mutation test sample of which the index parameter conforms to a preset condition from each mutation test sample, and adding the mutation test sample conforming to the presetcondition into the test sample queue to carry out the next round of test until a preset number of mutation test samples causing the crash of the detected program are determined.
Owner:CHINA UNIONPAY

Variation test method and device, equipment and storage medium

PendingCN112597024AReduce the total number of usesReduce workloadSoftware testing/debuggingProgramming languageCode module
The invention relates to the technical field of test management, and discloses a mutation test method and device, equipment and a storage medium. The method comprises the steps of performing instrumentation at each code module of a to-be-tested program; sequentially executing all test cases on the instrumented to-be-tested program, and obtaining an association form between the code name of each code module and the test case; distributing the to-be-tested program, the test case and the association form to each client, and sending a mutation test instruction to each client; sequentially executing the test cases associated with the code module on the code module by each client and sequentially executing the test cases associated with the variants of the code module on the variants of the codemodule; and receiving a test result of each client. By calling the code modules and the corresponding test cases, the code modules run under the corresponding test cases respectively, then the running results before and after code variation are compared, and whether the corresponding variants can be eliminated by the test cases during variation testing can be obtained.
Owner:ONE CONNECT SMART TECH CO LTD SHENZHEN

A Predictive Mutation Testing Method

The invention discloses a predictive mutation testing method which is divided into a training stage and a prediction stage. An execution result of each mutant is predicted through a prediction method; the training stage comprises the steps of executing the mutants, conducting characteristic collection on the executed mutants to form a characteristic attribute file and creating a classification model by applying a classification algorithm; the prediction stage comprises the steps of conducting characteristic collection on the unexecuted mutants and classifying each unexecuted mutant by means of the classification model to obtain a classification result. When the predictive mutation testing method is adopted for mutation testing, the mutants to be tested can be predicted by directly using a created prediction model, the execution results of the mutants can be obtained without executing the mutants, and the mutation testing cost can be significantly reduced.
Owner:PEKING UNIV

A program state-oriented fault classification method, mutation testing method and equipment

The invention provides a program state-oriented fault classification method, a mutation testing method and a device. The method comprises the following steps of: constructing a fault node set and a state mutation point set for each sentence of a source program to be tested based on a mutation operator corresponding to the syntax of the source program to be tested; constructing a variation flow diagram of the source program to be tested based on the fault node set, the state variation point set, the triggering relationship and the propagation relationship between the state variations of each statement; and according to the direct backward dominance relationship of the variant flow diagram, constructing a fault class dominance tree to perform fault classification on the source program to betested. The invention classifies and sorts the fault programs according to the general fault test principle, and supports multiple types of mutation operators, has good scalability, thereby reducing the test times, optimizing the fault set, simplifying the fault analysis cost, and improving the mutation test efficiency.
Owner:BEIJING UNIV OF POSTS & TELECOMM

Variant grouping method based on related input variables

The invention discloses a variant grouping method based on related input variables, and aims to judge the correlation between variants and input components through a dynamic strategy and group the variants based on the same input variables. The method comprises the following steps: firstly, establishing a mutation test case generation optimization model, and designing a fitness function; secondly, randomly generating some evolutionary individuals as benchmark test data, and calculating adaptive values of the evolutionary individuals; performing small disturbance on the value of a certain variable, replacing the value of the original variable with the disturbed value, and calculating the adaptive value of the new test data; comparing the changes of the adaptive values corresponding to the disturbance before and after the disturbance, and judging the correlation between the killed variants and the input variables by judging the correlation between the adaptive values and the input variables; and finally, establishing a variant and input component correlation matrix, and grouping the variants by adopting a certain strategy.
Owner:XUZHOU UNIV OF TECH

Mutation testing

Improved methods of assessing status of a solid tumor cancer in a subject involving detection of tumor-associated mutations in the subject's blood.
Owner:ROCHE MOLECULAR SYST INC

SMT solver fault positioning method based on search

The invention belongs to the field of software testing, and particularly relates to an SMT solver fault positioning method based on search. Firstly, a genetic algorithm is used for searching a variation rule list to perform variation on a test program to obtain a group of variation test programs which do not trigger faults; then, ranking the suspicious files by comparing the execution paths of the test programs which trigger the faults with the execution paths of the variation test programs which do not trigger the faults by using a frequency spectrum-based method, so as to obtain a file ranking list; according to the method, the fault of the SMT solver can be positioned and analyzed, so that a developer can be helped to quickly find the fault reason of the SMT solver, the debugging work is facilitated, and the quality of the solver is improved.
Owner:DALIAN UNIV OF TECH

A Prediction Method of Variation Test Intensity Demand in Evolutionary Environment

The invention relates to a method for predicting demand for variation test intensity in an evolutionary environment. Based on feature extraction and error detection numbers, this method constructs feature matrix and intensity vector for model training through data cleaning and feature selection for each version of the software; on this basis, the BP neural network method is used to build a prediction model, and the During construction, the weight of the model is continuously adjusted through the results of signal forward propagation and error backward propagation, so as to learn and generate a variation test intensity demand prediction model BP-Model; finally, input the feature vector of the current software version into BP-Model, and finally generate Mutation testing intensity requirements for the current software version. The purpose of the present invention is to solve the problem that the intensity of mutation testing of new version software is unknown at present, and then help testers formulate reasonable mutation testing requirements, and help testers build effective test case sets within a limited time.
Owner:NANJING UNIV

Probability finite-state machine variation test case generation method

The invention discloses a probability finite state machine variation test case generation method, which comprises the steps of defining a PFSM original state machine, and obtaining a test case set ofthe PFSM original state machine; defining a plurality of mutation operations and corresponding variants; wherein the mutation operation at least comprises probability change and migration target statechange; selecting test cases capable of killing strain allogeneities from the test case set of the PFSM original state machine by utilizing a hypothesis testing method, and generating a new test caseset for killing variants. The test case obtained by the method provided by the invention can effectively kill the variants, and the variation sufficiency is high; Meanwhile, whether each variant is equivalent to the original PFSM or not does not need to be judged, so that the test time is short.
Owner:GUANGXI TEACHERS EDUCATION UNIV

Redundant variant identification method and identification device

The invention provides a redundant variant identification method and identification device, capable of effectively reducing the time expenditure of a variant test execution process under the conditionof not reducing the effectiveness of a variant test. The redundant variant identification method comprises the following steps: dividing variants into different variant groups according to variationpositions; carrying out code preprocessing on the original program and the variant group, so that variants in the original program and the variant group can be selectively symbolized and executed; performing selection symbolic execution on the preprocessed original program and variant, and recording symbolic execution states of the original program and variant after execution; comparing the symbolic execution states of the original program and the variants to generate a state change sequence; and in each variant group, identifying the variants to which the repeatedly occurring state change sequences belong as redundant variants. The invention relates to the technical field of software.
Owner:UNIV OF SCI & TECH BEIJING

Variant reduction method based on self-organizing mapping neural network

The invention provides a variant reduction method based on a self-organizing mapping neural network, aiming at the problem that the number of variants in the field of variation testing is huge, so that the variation testing cost is too high. The method comprises the following steps: constructing a variation branch corresponding to a variant according to a weak variation conversion method, inserting the variation branch into an original program to obtain a new program, then executing the new program by using a test case set to obtain a variant killing matrix under a weak variation test, and taking the variant killing matrix as feature data of the variant; further acquiring the featuring variant position information and variation operator type information of variants to generate a variant feature matrix, and then adopting a self-organizing mapping neural network clustering technology for reducing redundant variants. According to the method, a large number of redundant variants can be reduced while the test effectiveness is hardly influenced, so that the variation test cost is reduced, and the software test efficiency is improved.
Owner:XIAN UNIV OF POSTS & TELECOMM
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products