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.
|
PDF
ACM-IEEE_ICSE 2022_2022_2340-2351_2022 .pdf - Published Version Download (351kB) | Preview |
Abstract
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 |
