Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/78931
Title: Automated Regression Testing and Verification of Complex Code Changes
Authors: MARCEL BOEHME
Keywords: test generation, test suite augmentation, error complexity, change interaction errors, Partition-based Regression Verification, CoREBEnch
Issue Date: 27-Mar-2014
Source: MARCEL BOEHME (2014-03-27). Automated Regression Testing and Verification of Complex Code Changes. ScholarBank@NUS Repository.
Abstract: In this dissertation, we answer how to determine the semantic impact of a complex change and just how complex a "complex change" really is. We answer whether the interaction of the simple changes constituting the complex change can result in regression errors, what the prevalence and nature of such (change interaction) errors is, and how to expose them. We answer how complex a "complex error" really is and whether regression errors due to change interaction are more complex than other regression errors. We make available an open-source tool, CyCC, to measure the complexity of Git source code commits, a test generation tool, Otter_Graph, for C programs that exposes change interaction errors, and a regression error subject suite, CoREBench, consisting of a large number of genuine regression errors in open-source C programs for the controlled study of regression testing, debugging, and repair techniques.
URI: http://scholarbank.nus.edu.sg/handle/10635/78931
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
Dissertation.pdf1.93 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

328
checked on Feb 23, 2018

Download(s)

338
checked on Feb 23, 2018

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.