Verification of ORM-based Controllers by Summary Inference

In this work we describe a novel approach for modeling, analysis and verification of database-accessing applications that use the ORM (Object Relational Mapping) paradigm. Rather than directly analyze ORM code to check specific properties, our approach infers a general-purpose relational algebra sum...

Full description

Saved in:
Bibliographic Details
Published in2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) pp. 2340 - 2351
Main Authors Chawla, Geetam, Aman, Navneet, Komondoor, Raghavan, Bokil, Ashish, Kharat, Nilesh
Format Conference Proceeding
LanguageEnglish
Published ACM 01.05.2022
Subjects
Algebra
Analytical models
Codes
database applications
program analysis
Prototypes
relational algebra
Software engineering
Online AccessGet full text
ISSN1558-1225
DOI10.1145/3510003.3510148

Cover

More Information
Summary:In this work we describe a novel approach for modeling, analysis and verification of database-accessing applications that use the ORM (Object Relational Mapping) paradigm. Rather than directly analyze ORM code to check specific properties, our approach infers a general-purpose relational algebra summary of each controller in the application. This summary can then be fed into any off-the-shelf relational algebra solver to check for properties or specifications given by a developer. The summaries can also aid program understanding, and may have other applications. We have implemented our approach as a prototype tool that works for 'Spring' based MVC applications. A preliminary evaluation reveals that the approach is efficient, and gives good results while checking a set of properties given by human subjects.
ISSN:1558-1225
DOI:10.1145/3510003.3510148