CN102193864A - Test case set optimization method of coverage-based error positioning technology - Google Patents

Test case set optimization method of coverage-based error positioning technology Download PDF

Info

Publication number
CN102193864A
CN102193864A CN2011101266329A CN201110126632A CN102193864A CN 102193864 A CN102193864 A CN 102193864A CN 2011101266329 A CN2011101266329 A CN 2011101266329A CN 201110126632 A CN201110126632 A CN 201110126632A CN 102193864 A CN102193864 A CN 102193864A
Authority
CN
China
Prior art keywords
test case
test
contingency
correct
use cases
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN2011101266329A
Other languages
Chinese (zh)
Other versions
CN102193864B (en
Inventor
赵志宏
缪怡
陈振宇
纪昌斌
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nanjing University
Original Assignee
Nanjing University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Nanjing University filed Critical Nanjing University
Priority to CN201110126632.9A priority Critical patent/CN102193864B/en
Publication of CN102193864A publication Critical patent/CN102193864A/en
Application granted granted Critical
Publication of CN102193864B publication Critical patent/CN102193864B/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Abstract

The invention discloses a test case set optimization method of a coverage-based error positioning technology. The method comprises the following steps of: identifying accidental right test cases from a given test case set T by clustering, wherein the accidental right test cases mean that the error statements are executed and the execution results are still 'pass'; and processing the identified accidental right test cases to obtain an optimized test case set for coverage-based error positioning. The method has the advantages of optimizing the quality of the test case set at the same time of reducing the size of the original test case set, and reducing the interference of the accidental right test cases to the coverage-based error positioning so as to improve the efficiency and the accuracy of automatic error positioning and save the time cost of seeking errors by a programmer.

Description

Test use cases optimization method based on the location of mistake technology of coverage
Technical field
The invention belongs to the software testing technology field, especially the automatic test field is used for the location of mistake technology CBFL based on coverage, is a kind of test use cases optimization method of the location of mistake technology based on coverage.
Background technology
As an important technology of automatic test, move to maturity just gradually and be widely accepted based on the location of mistake technology CBFL of coverage.But the validity of CBFL location of mistake can be influenced by the correct test case of contingency.
In the CBFL logging program every statement by and unsanctioned test case in execution information: carry out or do not carry out, utilize formula, calculate the suspicious degree of every statement.The CBFL method thinks that those statements of carrying out more likely are wrong statements in unsanctioned test case.But the PIE model that Jeffrey M.Voas proposes thinks that will allow program lose efficacy and must satisfy 3 conditions: 1) the mistake statement is performed; 2) program reaches the state of " infected "; 3) state of " infected " is along with control stream is transmitted to output.Therefore, the mistake statement is performed and just produces the necessary condition that lost efficacy, but not adequate condition.Only satisfy condition 1) but still the test case of passing through be called the weak correct test case of contingency, and satisfy condition 1) and 2) but still the correct test case of the called contingency of running business into strong one of the test case of passing through.The test case that the contingency of following indication is correct all is meant the former.
2009, people such as Wes Masri proposed the factor of several CBFL of influence location of mistake effects, and the test case that contingency is correct is listed.That is to say that concentrate when having the correct test case of contingency when test case, the suspicious degree of mistake statement can be reduced by its influence.
In recent years, cluster analysis had been introduced in the field of test case selection.Carry out cluster by the execution section to test case, the test case that has similar execution route/behavioural characteristic is gathered in the same class bunch.Utilize this characteristics, people such as Vangala discern the redundancy testing use-case that test case is concentrated by original test use cases is carried out cluster.It is not unique, but has its counterpart, and people such as Dickinson have also utilized cluster analysis to do test case and selected, and have proposed the notion of cluster filtration (cluster filtering).This technology is carried out cluster to the execution section of test case earlier, utilizes certain sample technique then, extracts some test cases and represent whole class bunch from each class bunch.This with part sample method that the test case of gained represents whole test use cases greatly yojan the number of test case.
Summary of the invention
The problem to be solved in the present invention is: for the location of mistake technology CBFL based on coverage, discern and handle the correct test case of contingency in the original test use cases, thereby improve the effect based on the robotization location of mistake of coverage.
Technical scheme of the present invention is: based on the test use cases optimization method of the location of mistake technology of coverage, for given test use cases T, therefrom discern the correct test case of contingency by cluster, the correct test case of described contingency refers to that the mistake statement is performed, the test case that but execution result still is " passing through ", the correct test case of contingency that identifies is handled, and the test use cases that is optimized is used for the location of mistake based on coverage:
1) operation test use cases T on the target program of needs test, in the operation test case, collect the execution profile information of test case, moved after the test use cases T, according to the output result, judge that the execution result of each test case is " pass through " or " pass through ";
2) the execution profile information that obtains is carried out cluster; The method of cluster of the present invention is unrestricted;
3) the correct test case of identification contingency: after the execution profile information is carried out cluster, test case is divided in several classes bunch, with the test case of those and " not by " accumulate in the class bunch " by " test case be designated the correct test case of contingency, and they are joined among the set Ticc, set Ticc is the set of the correct test case of the contingency that identified;
4) handle the correct test case of contingency: a kind of recognition result of handling among the set Ticc in the optional following dual mode:
41) filtering policy is deleted the test case among the Ticc from test use cases T;
42) relabel strategy, with the execution result of the test case among the Ticc judge label from " by " make " passing through " into;
Be designated the correct test case of contingency through after the above-mentioned processing, the test use cases T ' that is optimized.
Because the recognition methods of the correct test case of contingency of the present invention has utilized the coverage information of test case, so this method only is used for CBFL, but it is applicable to all location of mistake methods that belong to CBFL.
Cluster analysis is existing the application in test case selection field, and the present invention has also introduced this technology on the correct problem of contingency.Though the both belongs to the category that test use cases is optimized, but the former purpose is to reduce the size of test use cases, this can helper person find mistake as soon as possible, reduce the regression tested time, and the objective of the invention is to improve the ability that test use cases helps location of mistake, reduce the programmer to search the wrong time, thereby reduce the wrong cost of debugging, both cluster target differences, the processing after the cluster are also different.
Because the test case in class bunch has similar execution route, therefore, be not difficult to infer, the test case of passing through in class bunch may be the same with the unsanctioned test case in this class bunch, passed through wrong statement, but, do not lose efficacy so cause because they all do not satisfy 3 conditions that propose in the PIE model.Therefore, these test cases of passing through very likely are the correct test cases of contingency.
The invention has the beneficial effects as follows: in yojan optimized the quality of test use cases in the size of former test use cases, reduced the correct test case of contingency to interference effect based on the location of mistake of coverage, thereby improved the efficient and the accuracy of robotization location of mistake, saved the time cost of programmer's location of mistakes.
Description of drawings
Fig. 1 is a schematic flow sheet of the present invention.
Fig. 2 is in the embodiment of the invention, the accuracy of the correct test case of identification contingency, and p represents the ratio of cluster number, and Fig. 2 (a)-(e) represents p=1%, 2%, 4%, 6%, 8% respectively.。
Fig. 3 is in the embodiment of the invention, uses filtering policy, and to the raising effect based on the method for the location of mistake of coverage, p represents the ratio of cluster number, and Fig. 3 (a)-(e) represents p=1%, 2%, 4%, 6%, 8% respectively.
Fig. 4 is in the embodiment of the invention, uses the relabel strategy, and to the raising effect based on the method for the location of mistake of coverage, p represents the ratio of cluster number, and Fig. 4 (a)-(e) represents p=1%, 2%, 4%, 6%, 8% respectively.
Embodiment
The present invention is applied to selecting on the problem of the correct test case of contingency with cluster analysis, the test case of picking out is concentrated the execution result label of deleting or changing these test cases from original test case, optimize original test use cases by above 2 kinds of methods, on the test use cases after the optimization, use existing robotization location of mistake technology, make the efficient of location of mistake and accuracy be improved.
For given test use cases T, this test use cases is made up of 2 parts: Tp and Tf, and target of the present invention identifies Tcc exactly from Tp, and the result of identification is Ticc, and each test case among the Ticc all has very big possibility to belong to Tcc, wherein:
T: to an employed test use cases of given program
Tp: the set of the test case of passing through
Tf: the set of unsanctioned test case
Tcc: the set of the test case that contingency is correct
Ticc: the set of the test case that the contingency that is identified is correct
In actual applications, need finish work of the present invention by 5 steps, as Fig. 1:
1) on the target program of needs test, moves test use cases.In the operation test case, collect the execution profile information of test case.Moved after the test use cases,, judged that the execution result of each test case is according to the output result " pass through " or " pass through ";
2) carry out cluster to carrying out section, the method for cluster is unrestricted, and the test case with similar execution section is got final product by cluster;
3) the correct test case of identification contingency;
4) handle the correct test case of contingency;
5) on the test use cases of optimizing, use existing automatic location of mistake technology based on coverage.
Wherein, step 1), 2), 5) ready-made methods and applications are all arranged in robotization location of mistake and cluster analysis, do not repeat them here.Here be primarily aimed at step 3), 4) carry out detailed explanation.
Carry out after the cluster carrying out section, test case is divided in several classes bunch.All may include in each class bunch by with unsanctioned test case, the present invention is designated the correct test case of contingency with the test case of passing through that those and unsanctioned test case accumulate in the class bunch, and they are joined among the set Ticc.Element among the Ticc very likely is the correct test case of contingency, the reasons are as follows:
(1) test case of carrying out wrong statement might not cause inefficacy, otherwise but be false, unsanctioned test case must be carried out wrong statement;
(2) test case with similar execution section can be divided in the class bunch, and this just means that the test case of being picked out of passing through has similar execution route with unsanctioned test case.
In sum, those test cases that are selected have probably been carried out wrong statement, but still have provided correct output, and correct definition conforms to contingency for this.
In order to handle Ticc, the present invention proposes 2 kinds of different strategies:
● filtering policy.Test case among the Ticc can be concentrated deletion from original test case, thereby reduces the interference effect of these test cases to the robotization location of mistake.
● the relabel strategy.The result of the test case among the Ticc judge label can by from " by " make " by " into.Like this, the suspicious degree of mistake statement is enhanced, and may cause the suspicious degree rank of this statement to rise.
Below by specific embodiment enforcement of the present invention is described.
Siemens's test use cases is the test use cases that is widely used in sphere of learning.A lot of assessment software tests and the wrong method of finding all use it to experimentize as target program.Table 1 has been listed the details of Siemens's program.
The details of table 1 Siemens program
Figure BSA00000497020700051
With the west door subroutine is example, and embodiments of the present invention are as follows:
1, section is carried out in implementation of test cases and collection.
Use gcov (GNU call-coverage profiler) as collecting the instrument of carrying out section.For this reason, need in the automatized script of implementation of test cases, add compile option.Gcov can obtain the program coverage information of statement level.After test case ti ∈ T is performed, can produce a .gcov file.This file logging the number of times that is performed of every line code.Concerning test case ti, its statement covers section pi=<e1, e2, and e3 ..., en 〉, wherein, n represents the lines of code of preset sequence, if this line code was performed, ei=1 so, otherwise ei=0.
2, cluster analysis.
The execution section that previous step is collected is the input of cluster analysis.The profile information of each test case all is the object of cluster.The test case number that the sum of object and test use cases T comprise equates.We use Weka as the cluster instrument, tie up the Eudlidean distance as distance function with n-.Given 2 test case t:<e1, e2 ..., en〉and t ':<e1 ', e2 ' ..., en ' section, the distance of these 2 test cases is exactly:
D ( t , t ′ ) = Σ i = 1 n ( e i - e i ′ ) 2 .
We use simple K-means as clustering algorithm.Simple K-means uses the number of class bunch as parameter.Among the present invention, the size of this parameter is to set according to the size of test use cases T.Make CN represent the number of class bunch, CN=|T|*p, | T| is the size of test use cases T, and 0<p<1.Because present embodiment is selected the K-means clustering method, this method uses the number of class bunch as parameter, so the length of code should meet some requirements, make the execution section of all test cases satisfy certain diversity factor, otherwise do not reach the class bunch number of setting.
3, the identification of the test case that contingency is correct and processing.
The correct test case of identification contingency: after the execution profile information is carried out cluster, test case is divided in several classes bunch, with the test case of those and " not by " accumulate in the class bunch " by " test case be designated the correct test case of contingency, and they are joined among the set Ticc, set Ticc is the set of the correct test case of the contingency that identified;
Handle the correct test case of contingency: a kind of recognition result of handling among the set Ticc in the optional following dual mode:
1) filtering policy is deleted the test case among the Ticc from test use cases T;
2) relabel strategy, with the execution result of the test case among the Ticc judge label from " by " make " passing through " into;
Be designated the correct test case of contingency through after the above-mentioned processing, the test use cases T ' that is optimized.
Above-mentioned identification and processing can use Java exploitation written program to realize, this program is input with the cluster result in the 2nd step and the execution result of each test case, selects and handle the correct test case of contingency according to above-mentioned identification and the correct described method of test case of processing contingency.
4, location of mistake.
Use Tarantula as location of mistake method based on coverage.It is that first will be applied to the system in software diagnosis field based on the sort method of frequency spectrum.Its input is through yojan and the test use cases after optimizing, the tabulation of exporting the suspicious statement of arranging from big to small according to suspicious degree.The programmer can check correlative one by one according to this tabulation, till finding wrong statement.
Fig. 2-4 is the experiment effect figure of the present invention on Siemens's program.
What Fig. 2 represented is the accuracy of the correct test case of identification contingency of the present invention, and p represents the ratio of cluster number, and Fig. 2 (a)-(e) represents p=1%, 2%, 4%, 6%, 8% respectively." FN " and " FP " represents " " " false negative " and " false positive " respectively.The computing formula of " False negative " is: | Tcc-Ticc|/| Tcc|, this metric has been assessed the ability that the present invention discerns contingency correct test case, that is to say whether the present invention can identify the correct test case of contingency as much as possible.This metric is the smaller the better.The computing formula of " false positive " is: | (Tp-Tcc) ∩ Ticc|/| Tp-Tcc|, this metric have assessed the correctness that the present invention discerns the correct test case of contingency.That is to say whether the present invention can think other test cases by mistake as few as possible is the correct test cases of contingency.Horizontal ordinate has been represented the interval at " FN " and " FP " place, and ordinate has been represented the shared ratio of program version that drops on respective bins.
Fig. 3 represents is to use filtering policy, and the present invention is to the raising effect based on the method for the location of mistake of coverage, and p represents the ratio of cluster number, and Fig. 3 (a)-(e) represents p=1%, 2%, 4%, 6%, 8% respectively.
Fig. 4 represents is to use the relabel strategy, and the present invention is to the raising effect based on the method for the location of mistake of coverage, and p represents the ratio of cluster number, and Fig. 4 (a)-(e) represents p=1%, 2%, 4%, 6%, 8% respectively.
Fig. 3 and Fig. 4 have represented statistics for each target program T-score reduction with the case line chart, T-scorereduction △ TS=TS-TS ', and wherein, TS and TS ' have represented respectively before using the present invention and T-score afterwards.T-score is used for the effective metric of estimation error localization method.It has represented the ratio that accounts for the total code amount for the code of finding wrong required inspection.This metric is the smaller the better.The implication that is formulated T-score is as follows:
TS=|Vexamined|/|V|*100%
Wherein, | V| has represented the sum of the executable statement of target program, | Vexamined| has represented in order to find wrong statement, the lines of code that the programmer need check.Therefore, the value of T-score reduction is big more, and it is good more to mean the improvement effect of location of mistake.
2 lines up and down of the case figure of Fig. 3 and Fig. 4 have been represented the 3rd quartile and first quartile respectively.Horizontal line in the middle of the case figure has been represented median, and stain has been represented average.The point of chest above and below has been represented maximal value and minimum value respectively.
As a reference, Fig. 3 and Fig. 4 have shown that also ideally use strategy separately is to the influence of CBFL effect.So-called ideal situation is supposed all selected situation of coming out of the correct test case of all contingency exactly, and promptly " falsenegative " and " false positive " all is 0% situation.

Claims (1)

1. based on the test use cases optimization method of the location of mistake technology of coverage, it is characterized in that for given test use cases T, therefrom discern the correct test case of contingency by cluster, the correct test case of described contingency refers to that the mistake statement is performed, the test case that but execution result still is " passing through ", the correct test case of contingency that identifies is handled, and the test use cases that is optimized is used for the location of mistake based on coverage:
1) operation test use cases T on the target program of needs test, in the operation test case, collect the execution profile information of test case, moved after the test use cases T, according to the output result, judge that the execution result of each test case is " pass through " or " pass through ";
2) the execution profile information that obtains is carried out cluster;
3) the correct test case of identification contingency: after the execution profile information is carried out cluster, test case is divided in several classes bunch, with the test case of those and " not by " accumulate in the class bunch " by " test case be designated the correct test case of contingency, and they are joined among the set Ticc, set Ticc is the set of the correct test case of the contingency that identified;
4) handle the correct test case of contingency: a kind of recognition result of handling among the set Ticc in the optional following dual mode:
41) filtering policy is deleted the test case among the Ticc from test use cases T;
42) relabel strategy, with the execution result of the test case among the Ticc judge label from " by " make " passing through " into;
Be designated the correct test case of contingency through after the above-mentioned processing, the test use cases T ' that is optimized.
CN201110126632.9A 2011-05-13 2011-05-13 Test case set optimization method of coverage-based error positioning technology Expired - Fee Related CN102193864B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201110126632.9A CN102193864B (en) 2011-05-13 2011-05-13 Test case set optimization method of coverage-based error positioning technology

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201110126632.9A CN102193864B (en) 2011-05-13 2011-05-13 Test case set optimization method of coverage-based error positioning technology

Publications (2)

Publication Number Publication Date
CN102193864A true CN102193864A (en) 2011-09-21
CN102193864B CN102193864B (en) 2014-02-26

Family

ID=44601960

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201110126632.9A Expired - Fee Related CN102193864B (en) 2011-05-13 2011-05-13 Test case set optimization method of coverage-based error positioning technology

Country Status (1)

Country Link
CN (1) CN102193864B (en)

Cited By (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102708052A (en) * 2012-04-27 2012-10-03 北京邮电大学 Automatic positioning method of software failures in unit test
CN102799525A (en) * 2012-07-04 2012-11-28 中国科学技术大学 Method and apparatus for generating test case
CN103257920A (en) * 2012-02-15 2013-08-21 空中客车运营简化股份公司 A method and a system for detecting anomalies to be solved in an aircraft
CN103744789A (en) * 2014-01-23 2014-04-23 中国科学院软件研究所 Method of locating software errors by 3D surface representation
CN105117331A (en) * 2015-08-17 2015-12-02 浪潮(北京)电子信息产业有限公司 Error-location-oriented coincidence correctness test case identification method and device
CN105512021A (en) * 2014-09-25 2016-04-20 阿里巴巴集团控股有限公司 Method and device for Diff analysis used for software testing
CN109254924A (en) * 2018-09-28 2019-01-22 中国科学院长春光学精密机械与物理研究所 A kind of software fault positioning method, device, equipment and readable storage medium storing program for executing
CN111026671A (en) * 2019-12-16 2020-04-17 腾讯科技(深圳)有限公司 Test case set construction method and test method based on test case set
CN111881033A (en) * 2020-07-23 2020-11-03 深圳慕智科技有限公司 Deep learning model quality evaluation method based on operation environment error analysis
CN112559377A (en) * 2020-12-25 2021-03-26 上海高顿教育科技有限公司 Method and device for generating first test case

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IN2015DE01188A (en) 2015-04-29 2015-06-05 Hcl Technologies Ltd

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101814055A (en) * 2010-04-06 2010-08-25 南京大学 Sampling method for test cases in clusters
CN101866317A (en) * 2010-06-29 2010-10-20 南京大学 Regression test case selection method based on cluster analysis

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101814055A (en) * 2010-04-06 2010-08-25 南京大学 Sampling method for test cases in clusters
CN101866317A (en) * 2010-06-29 2010-10-20 南京大学 Regression test case selection method based on cluster analysis

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
ZHENYU CHEN,ETC: "An Improved Regression Test Selection Technique by Clustering Execution Profiles", 《2010 10TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE》, 15 July 2010 (2010-07-15), pages 171 - 178 *

Cited By (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103257920B (en) * 2012-02-15 2018-01-19 空中客车运营简化股份公司 The abnormal method and system to be solved in sense aircraft
CN103257920A (en) * 2012-02-15 2013-08-21 空中客车运营简化股份公司 A method and a system for detecting anomalies to be solved in an aircraft
CN102708052A (en) * 2012-04-27 2012-10-03 北京邮电大学 Automatic positioning method of software failures in unit test
CN102708052B (en) * 2012-04-27 2017-10-20 北京邮电大学 Software fault automatic positioning method in a kind of unit testing
CN102799525A (en) * 2012-07-04 2012-11-28 中国科学技术大学 Method and apparatus for generating test case
CN103744789A (en) * 2014-01-23 2014-04-23 中国科学院软件研究所 Method of locating software errors by 3D surface representation
CN103744789B (en) * 2014-01-23 2017-01-11 中国科学院软件研究所 Method of locating software errors by 3D surface representation
CN105512021A (en) * 2014-09-25 2016-04-20 阿里巴巴集团控股有限公司 Method and device for Diff analysis used for software testing
CN105117331A (en) * 2015-08-17 2015-12-02 浪潮(北京)电子信息产业有限公司 Error-location-oriented coincidence correctness test case identification method and device
CN105117331B (en) * 2015-08-17 2018-04-13 浪潮(北京)电子信息产业有限公司 Coincidence correctness test case recognition methods and device towards location of mistake
CN109254924A (en) * 2018-09-28 2019-01-22 中国科学院长春光学精密机械与物理研究所 A kind of software fault positioning method, device, equipment and readable storage medium storing program for executing
CN109254924B (en) * 2018-09-28 2022-02-08 中国科学院长春光学精密机械与物理研究所 Software fault positioning method, device, equipment and readable storage medium
CN111026671A (en) * 2019-12-16 2020-04-17 腾讯科技(深圳)有限公司 Test case set construction method and test method based on test case set
CN111026671B (en) * 2019-12-16 2023-11-03 腾讯科技(深圳)有限公司 Test case set construction method and test method based on test case set
CN111881033A (en) * 2020-07-23 2020-11-03 深圳慕智科技有限公司 Deep learning model quality evaluation method based on operation environment error analysis
CN112559377A (en) * 2020-12-25 2021-03-26 上海高顿教育科技有限公司 Method and device for generating first test case

Also Published As

Publication number Publication date
CN102193864B (en) 2014-02-26

Similar Documents

Publication Publication Date Title
CN102193864B (en) Test case set optimization method of coverage-based error positioning technology
Heger et al. Automated root cause isolation of performance regressions during software development
CN102880545A (en) Method for dynamically adjusting priority sequence of test cases
CN107229827A (en) Data checking early warning method and device for autoimmune disease detection and analysis
CN103870384B (en) Test case presumption method and system
CN102340811A (en) Method for carrying out fault diagnosis on wireless sensor networks
CN103729295A (en) Method for analyzing taint propagation path
CN103714000A (en) Sensitive area-oriented embedded software test case generating method
CN102096410B (en) Dynamic function test method of high-speed train operation control system
CN108399277A (en) A kind of bridge damnification recognition method based on temperature with strain relevance
CN105511445A (en) Multi-modal process fault detection method based on local neighbor standardization matrix
CN105808438B (en) A kind of Reuse of Test Cases method based on function call path
CN103218296A (en) Method of fully detecting null pointer reference defects
CN102222035A (en) Software behavior detection system based on symbolic execution technology and detection method thereof
CN107085533B (en) A kind of analysis method and system that pointer modified influences
JP2020123307A (en) Security device, attack specification method, and program
CN107025169A (en) A kind of software error layering diagnostic method based on Bayesian Network Inference
CN102495796B (en) Software vulnerability test method based on unit testing
CN103617119B (en) Based on the mutual regression test case selection method covering of statement
CN102681932B (en) Method for detecting processing correctness of software on abnormal input
CN112199295B (en) Spectrum-based deep neural network defect positioning method and system
CN115129504B (en) Smart power grid data processing method and server based on cloud side end integration
CN101515313B (en) Detection methods for microarray mismarked samples
CN102135940A (en) Finite automata-based automatic behavior modeling method
CN107992408B (en) A kind of software probe method of software probe

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C53 Correction of patent of invention or patent application
CB03 Change of inventor or designer information

Inventor after: Chen Zhenyu

Inventor after: Zhao Zhihong

Inventor after: Jiu Yi

Inventor after: Ji Changbin

Inventor after: Zhang Zhidie

Inventor before: Zhao Zhihong

Inventor before: Jiu Yi

Inventor before: Chen Zhenyu

Inventor before: Ji Changbin

COR Change of bibliographic data

Free format text: CORRECT: INVENTOR; FROM: ZHAO ZHIHONG MIAO YI CHEN ZHENYU JI CHANGBIN TO: CHEN ZHENYU ZHAO ZHIHONG MIAO YI JI CHANGBIN ZHANG ZHIYI

C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20140226

Termination date: 20170513