Seminars
View all Seminars | Download ICal for this eventModeling 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.
Microsoft teams link:
https://teams.microsoft.com/l/meetup-join/19%3ameeting_MDdkODcwY2MtNzM3OS00NWVlLWI1YTItNzVhZTIyMTEyYjZl%40thread.v2/0?context=%7b%22Tid%22%3a%226f15cd97-f6a7-41e3-b2c5-ad4193976476%22%2c%22Oid%22%3a%22cd42250e-1d66-4966-a431-6a8d7d5235ba%22%7d
Speaker Bio:
Host Faculty: