ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Verification of ORM-based Controllers by Summary Inference

Chawla, G and Aman, N and Komondoor, R and Bokil, A and Kharat, N (2022) Verification of ORM-based Controllers by Summary Inference. In: 44th ACM/IEEE International Conference on Software Engineering, ICSE 2022, 22 - 27 May 2022, Pittsburgh, pp. 2340-2351.

ACM-IEEE_ICSE 2022_2022_2340-2351_2022 .pdf - Published Version

Download (351kB) | Preview
Official URL: https://doi.org/10.1145/3510003.3510148


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. © 2022 ACM.

Item Type: Conference Paper
Publication: Proceedings - International Conference on Software Engineering
Publisher: IEEE Computer Society
Additional Information: The copyright for this article belongs to the Authors.
Keywords: Algebra; Software prototyping, Analysis and verifications; Database applications; Model verification; Modeling analyzes; Object-relational mapping; Program analysis; Program understanding; Property; Relational algebra; Specific properties, Application programs
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 20 Jul 2022 12:20
Last Modified: 20 Jul 2022 12:20
URI: https://eprints.iisc.ac.in/id/eprint/74954

Actions (login required)

View Item View Item