From: Jörn Guy Süß (email@example.com)
Date: Wed 11 Feb 2004 - 08:57:05 GMT
Of course you are right in that a conformance test suite would greatly improve quality and comparability among parsers/interpreters for OCL. The impediment here is that currently no standardized interface to OCL parsers/interpreters is available, so no automatic compliance testing can be performed. I have initiated an effort to develop such interface following UML2003, but as of now there is almost no progress. IMHO, as long as there is no such interface, comparability OCL parsers will not be achievable and thus implementation of such parsers remains a scientific niche activity that does not yield reusable components. If you would like to invest your time in a standardization effort, the results would probably make a great difference. As for your main question: The suites of Cluj Universities' OCLE system, the Dresden OCL parser, and our forthcoming MOCL M2-interpreter all include unit test suites which you might use to validate your own parser/interpreter implementations. All of them work around a number of unresolved issues that exist at least in the earlier versions of OCL. Regards, Jörn Guy Süß Dipl.-Inform. Jörn Guy Süß | CIS - Sekr. EN7 phone / fax : +49(30) 314-23553/21601 | TU Berlin, Fak IV phone (secretary) : +49(30) 314-23555 | Einsteinufer 17 mailto:firstname.lastname@example.org | D-10587 BERLIN / GERMANY -----Original Message----- From: email@example.com [mailto:firstname.lastname@example.org] On Behalf Of Stefan Haustein Sent: Wednesday, February 11, 2004 1:13 AM To: email@example.com Subject: ocl conformance test Hi, does anybody know if there is an OCL conformance test? Something like a simple class and object diagram and a set of queries and their expected results? If not, wouldn't it make sense to build one? This would probably help to find implementation bugs and encourage the addition of missing functionality. Best regards Stefan Haustein To remove yourself from this list please mail firstname.lastname@example.org with a message containing the word "unsubscribe".