Modelling Sql statements
25 views
Skip to first unread message
Mohammed Afraz
May 4, 2013, 7:40:17 PM5/4/13
to java-pa...@googlegroups.com
Hi All,
I want to symbolically run the SQL queries in order to get the database constraints from them. For example:
For this query "Select * from table where condition" I want to derive the database constraint containing the predicates from the "condition" .Thus these predicates in conjunction with path constraints should generate the test inputs for next symbolic execution.
Can "native peer classes" provide the solution for this ?What will be the major things required for the above implementation?Please provide some details as I am new to JPF.
I want to symbolically run the SQL queries in order to get the database constraints from them. For example:
For this query "Select * from table where condition" I want to derive the database constraint containing the predicates from the "condition" .Thus these predicates in conjunction with path constraints should generate the test inputs for next symbolic execution.
Can "native peer classes" provide the solution for this ?What will be the major things required for the above implementation?Please provide some details as I am new to JPF.
Reply all
Reply to author
Forward
0 new messages