Symbolic Execution of ETL Transformations(SEET) is an interactive approach for detecting logical errors in­­­­­­­­­­­­­­­­­­­ transformations of ETL (Epsilon Transformation Language). The approach is based on symbolic execution and uses constraint solver to assert whether a path condition is satisfiable. Assuming the path condition is satisfiable, it generates a test model along with the symbolic output model which can be used to detect errors. The approach is supported by an Eclipse plugin called SEET.

Leave a Reply

Your email address will not be published. Required fields are marked *