Font Size: a A A

Field-Sensitive Value Analysis Of Complex Variable

Posted on:2015-06-27Degree:MasterType:Thesis
Country:ChinaCandidate:X YanFull Text:PDF
GTID:2298330467962342Subject:Computer Science and Technology
Abstract/Summary:PDF Full Text Request
With the rapid development of computer technology, software is used by more widely than before. Growing number of scholars start the research of software testing and has made rapid progress. Research of software defect model makes an important breakthrough. The structure is widely used in programming language. DTS which is short for defect testing system is a defect-oriented test tool. Static testing simulates the dynamic execution of program, so the result of the testing based on the interval of variables. In the Static testing, it always cannot give correct interval information when you use complex variables to calculate, so it could affect the accuracy of the judgment to related defect test.This paper introduces a kind of complex variable operation interval calculation method. The paper has two parts. The first is to set up abstract model for complex variables. Then compute intervals of the complex variable based on the model. Modeling of complex variables use a ternary model and improved ternary model. The method of calculation is based on the model.
Keywords/Search Tags:static analysis, interval calculation, assignmentoperation, control flow graph
PDF Full Text Request
Related items