Font Size: a A A

Immediate Fault Localization And Repair Tools For Online Judge Site

Posted on:2019-06-26Degree:MasterType:Thesis
Country:ChinaCandidate:J GaoFull Text:PDF
GTID:2428330593951084Subject:Software engineering
Abstract/Summary:PDF Full Text Request
Software debugging is an important task in software development and software maintenance.With the increasing scale of software,the cost of software debugging is becoming increasingly higher,especially the localization and repair of software programs.What's more,when the software fault occurs,it will cause the wrong software function,even in serious cases will result in the loss of property,so fixing software bugs as quickly as possible is an important research question.Existing software fault localization techniques(SFL)are mostly based on the behavior information of programs during the execution of test cases.By collecting the behavioral characteristics of the test program in the execution of the test case set,the program entities are sorted according to the execution information of the failed test case and the successful test case so as to screen out the program entities that are most likely to contain the fault.In the test case-based approach,there are many program spectrum based fault localization methods,especially the lightweight spectrum construction method.This kind of method simply counts the program entities in successful test cases and failure tests cover information.Spectrum-Based fault localization techniques are also used in automatic program repair techniques due to the small time overhead.Automatic program repair technology is based on the results of fault localization.Different types of patch generation algorithms are used to generate program patches.Then verify the correctness of the patch based on the test case set or other forms of program specifications to screen out the correct patches to repair the source program.At present,fault localization and fault repair are both active research issues in the field of software engineering.In recent years,both of them have made more research progress,but the application in practical projects still needs to be further explored.In order to further study the above problems,we verify the validity of the advanced software fault localization method and program repair technology based on data sets in Online Judge system,so we need to collect the corresponding data set in Online Judge system based on the methods.For the automatic program repair method,we analyze the input and output of test cases to automatically generate the Junit test case script as the program specification,and optimize the results for readability.Furthermore,we analyze the results and verify the validity and accuracy of the two methods,compare the advantages and problems of the methods,and further explore the transformation from scientific research to practical products in this field.
Keywords/Search Tags:Fault Localization, Search-based Software Engineering, Constraint-solving, Automatic Program Repair
PDF Full Text Request
Related items