@InProceedings{Li1999,
  author    = {Mang Li and Ina Kathrin Schieferdecker and Axel Rennoch},
  booktitle = {The Fourth International Symposium on Autonomous Decentralized Systems, {ISADS} 1999, Tokyo, Japan, March 20-23, 1999},
  title     = {Testing the {TINA} Retailer Reference Point},
  doi       = {10.1109/ISADS.1999.838447},
  pages     = {268--275},
  abstract  = {This paper shows that testing open object-based distributed systems is, in principle, feasible by applying the ISO/ITU-T conformance testing methodology framework. In this context, a gap in the (semi-) automatic test development and execution process has been identified and bridged. We have developed an approach to the application of the standardized test notation TTCN for testing ODL-based implementations. The equivalents of TTCN features informal TINA specifications have been identified. Further a TTCN-based test system implementation has been integrated in the CORBA environment. Test specification and execution are discussed w.r.t. the TINA retailer reference point.},
  file      = {:1999/Li1999 - Testing the TINA Retailer Reference Point.pdf:PDF},
  keywords  = {conformance testing;distributed object management;object-oriented programming;open systems;ISO/ITU-T conformance testing methodology framework;TINA retailer reference point;open object-based distributed systems;standardized test notation;Automatic testing;Business communication;Communication networks;Computer network management;Distributed processing;Formal specifications;ISO;Open systems;System testing;Telecommunication services},
  type      = {conference},
  year      = {1999}
}