Assertion-based analysis via slicing with ABETS* (system description). Issue 5 (14th October 2016)

• Record Type: Journal Article
• Authors: ALPUENTE, M.; FRECHINA, F.; SAPIÑA, J.; BALLIS, D.
• Editors: Carro, Manuel; King, Andy
• Is Part Of: Theory and practice of logic programming. Volume 16:Issue 5/6(2016)
• Page Start: 515
• Page End: 532
• Publication Date: 2016-10-14
• Subjects: runtime assertion checking, -- dynamic program and trace slicing, -- program diagnosis and Debugging, -- rewriting logic, -- Maude; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068416000375
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: We presentABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs.ABETS uses slicing to automatically create reduced versions of both a run's execution trace and executed program, reduced versions in which any information that is not relevant to the bug currently being diagnosed is removed. In addition, ABETS employs runtime assertion checking to automate the identification of bugs so that whenever an assertion is violated, the system automatically infers accurate slicing criteria from the failure. We summarize the main services provided byABETS, which also include a novel assertion-based facility for program repair that generates suitable program fixes when a state invariant is violated. Finally, we provide an experimental evaluation that shows the performance and effectiveness of the system.