In running the OASIS tests in the 2.x otests directory, I've been
having trouble ensuring what seems like a "successful" outcome is
really successful when the expected outcome is an exception being
thrown.  The OASIS test infrastructure requires only that tests which
should fail do fail;  a very weak postcondition which can be met by
all kinds of circumstances, including bad setup of eclipse projects.
There are plans afoot for the test infrastructure to permit an
implementation to enforce tighter postconditions, and I was hoping to
be able to begin tabulating more precisely the nature of the
exceptions that Tuscany will throw for each test case that expects
failure. I was also hoping that there was some generic postcondition I
could enforce, such as all encountered Exceptions being derived from a
given Tuscany Exception parent class, but that's not the case.  I was
wondering if there have been discussions concerning exceptions,
exception handling etc. that might help me understand what Tuscany
should be throwing in any given circumstance.

Kelvin

Reply via email to