Defines a testing methodology and provides a framework for specifying abstract test cases for ISO 8613 implementation testing, the overall objective being the provision of a suitable base for testing the interworking capability of ODA implementations. Specifies: a framework for the development of abstract test cases; a test case notation used to specify abstract test cases. Also gives examples of abstract test cases.