التفاصيل البيبلوغرافية
العنوان: |
Assessment and improvement of automated program repair mechanisms and components |
المؤلفون: |
Assiri, Fatmah Yousef, author, Bieman, James M., advisor, Ghosh, Sudipto, committee member, France, Robert B., committee member, Callahan, Gerald, committee member |
بيانات النشر: |
Colorado State University. Libraries |
سنة النشر: |
2015 |
المجموعة: |
Digital Collections of Colorado (Colorado State University) |
مصطلحات موضوعية: |
repair quality, automated program repair, repair tests properties, software engineering, and performance, search algorithms, fault localization techniques, APR effectiveness |
الوصف: |
2015 Spring. ; Includes bibliographical references. ; Automated program repair (APR) refers to techniques that locate and fix software faults automatically. An APR technique locates potentially faulty locations, then it searches the space of possible changes to select a program modification operator (PMO). The selected PMO is applied to a potentially faulty location thereby creating a new version of the faulty program, called a variant. The variant is validated by executing it against a set of test cases, called repair tests, which is used to identify a repair. When all of the repair tests are successful, the variant is considered a potential repair. Potential repairs that have passed a set of regression tests in addition to those included in the repair tests are deemed to be validated repairs. Different mechanisms and components can be applied to repair faults. APR mechanisms and components have a major impact on APR effectiveness, repair quality, and performance. APR effectiveness is the ability to and potential repairs. Repair quality is defined in terms of repair correctness and maintainability, where repair correctness indicates how well a potential repaired program retains required functionality, and repair maintainability indicates how easy it is to understand and maintain the generated potential repair. APR performance is the time and steps required to find a potential repair. Existing APR techniques can successfully fix faults, but the changes inserted to fix faults can have negative consequences on the quality of potential repairs. When a potential repair is executed against tests that were not included in the repair tests, the "repair" can fail. Such failures indicate that the generated repair is not a validated repair due to the introduction of other faults or the generated potential repair does not actually fix the real fault. In addition, some existing techniques add extraneous changes to the code that obfuscate the program logic and thus reduce its maintainability. APR effectiveness and ... |
نوع الوثيقة: |
text |
وصف الملف: |
born digital; doctoral dissertations; application/pdf |
اللغة: |
English |
Relation: |
Assiri_colostate_0053A_12843.pdf; http://hdl.handle.net/10217/166889 |
الاتاحة: |
http://hdl.handle.net/10217/166889 |
Rights: |
Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright. |
رقم الانضمام: |
edsbas.34D0AFCA |
قاعدة البيانات: |
BASE |