dc.contributor.authorSun, Ding
dc.date.accessioned2014-10-08T02:07:29Z
dc.date.accessioned2017-07-23T08:35:29Z
dc.date.available2014-10-08T02:07:29Z
dc.date.available2017-07-23T08:35:29Z
dc.date.copyright2014en_US
dc.date.issued2014
dc.identifier.citationSun, D. (2014). Augmenting static program analysis and design verification with pattern recognition. Doctoral thesis, Nanyang Technological University, Singapore.
dc.identifier.urihttp://hdl.handle.net/10356/61780
dc.description.abstractStatic analysis examines program code to reason over all possible behaviours that might arise at run time. Such reasoning with full soundness and precision is in general not possible, as there may be arbitrarily many different user inputs or states. To enable the reasoning, static analysis usually uses an abstraction model to abstract away some information to examine program code. Static program analysis plays a very important role in software testing, software verification, program slicing, error detection, and code performance optimization. However, the use of it in these areas still faces many problems due to the difficulty in finding a suitable abstraction model to base on. Design patterns have been used to improve the reuse in software development. Some design patterns have also been used in the verification of design in general. However, there are no specific patterns proposed for the verification of designs of database applications that constitute a large proportion of software systems. The aim of this thesis is to address the above-mentioned problems. Based on abstraction models established through empirical studies, this thesis proposes the four approaches augmented with pattern recognition to improve the state-of-the-art regarding accuracy and efficiency.en_US
dc.format.extent157 p.en_US
dc.language.isoenen_US
dc.subjectDRNTU::Engineering::Computer science and engineering::Software::Software engineeringen_US
dc.titleAugmenting static program analysis and design verification with pattern recognitionen_US
dc.typeThesis
dc.contributor.schoolSchool of Electrical and Electronic Engineeringen_US
dc.contributor.supervisorTan Hee Beng Kuanen_US
dc.description.degreeELECTRICAL and ELECTRONIC ENGINEERINGen_US


Files in this item

FilesSizeFormatView
r1_G0702193K_DI ... th Pattern Recognition.pdf3.579Mbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record