Kedar Dongre (kdongre@CLEMSON.EDU)
Sat, 18 Dec 1999 11:16:13 -0500
Hello Everyone, I am a graduate student working with Dr. John D. McGregor at the Clemson University, Clemson, SC. We where exploring the possibility of using OCL for automated software testing and on the initial analysis it seems promising. We experimented with the OCL parser from IBM and although a nice product does not seem to match our needs. What the parser basically does is just validates the input file and displays if the file is syntactically correct or not. What we feel, we require is a product that converts a OCL file to a machine/binary representation such as object representation or any such data structure etc which can be later used by other applications. e.g. the invariant of a class to be represented as a object which can be then accessed. I have searched quite a bit on the web and so far have met with little or no success on such a product. I would appreciate it if you could guide us or refer us to a similar kind of development or research going on elsewhere. Also any suggestion on use of OCL for automated testing would be welcome. With Regards, Kedar A. Dongre Clemson University Computer Science Dept.