Seminars

View all Seminars  |  Download ICal for this event

Modeling and verification of database-accessing applications

Series: M.Tech (Research)Thesis Defence - ONLINE

Speaker: Mr. Geetam Chawla, M.Tech (Research) student, Dept. of CSA

Date/Time: Dec 13 09:30:00

Location: Microsoft Teams - ON-LINE

Faculty Advisor: Prof. K V Raghavan

Abstract:
Databases are central to the functioning of most IT-enabled processes and
services. In many domains, databases are accessed and updated via
applications written in general-purpose languages, as such applications
need to contain the business logic and workflows that are key to the
organization. Therefore, automated tools are required not only for creation
and testing of database schemas and queries, etc., but also for analysis,
testing, and verification of database-accessing applications. In this work
we describe a novel approach for modeling, analysis and verification of
database-accessing applications. We target applications that use Object
Relational Mapping (ORM), which is the common database-access paradigm in
most Model- View Controller (MVC) based application development frameworks.
In contrast with other approaches that try to directly analyze and prove
properties of complex database accessing ORM-based code, our approach
infers a relational algebra specification of each controller in the
application. This specification can then be fed into any off-the-shelf
relational algebra solver to check properties (or assertions) given by a
developer. We have implemented this approach as a tool that works for
Spring based MVC applications. A preliminary evaluation reveals that the
approach is scalable and quite precise.

<br>
Microsoft teams link:
<br>
<a href="Link