This article discusses various uses of OCL (Object Constraint Language) for both developers and testers. IT also enumerates the many advantages of the language, which is part of the UML specification.
A. Engel. Wiley Series in Systems Engineering and Management Wiley, 1 издание, (2010)Wertvoll wegen den verschiedenen Black-Box-Testing Methoden für komplexe Systeme..
J. Hartmann, M. Vieira, и A. Ruder. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), стр. 58--65. Boston, MA, (августа 2004)
S. Pickin, C. Jard, Y. Traon, T. Jéron, J. Jézéquel, и A. Guennec. FORTE, стр. 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet.
Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..
C. Nebut, F. Fleurey, Y. Traon, и J. Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, стр. 85. Washington, DC, USA, IEEE Computer Society, (2003)
P. Fröhlich, и J. Link. ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming, стр. 472--492. London, UK, Springer-Verlag, (2000)