When Hibernate loads an object into a Session it creates a state snapshot of the current database state of the object, so that it can perform dirty checking against the snapshot.
As a read only object will never be modified, this snapshot is not needed and memory can be saved.
J. Esparza, P. Ganty, J. Leroux, und R. Majumdar. FSTTCS, Volume 65 von LIPIcs, Seite 27:1-27:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)
M. Lochau, S. Mennicke, H. Baller, und L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Volume 8802 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
A. Rajan, M. Whalen, und M. Heimdahl. ICSE '08: Proceedings of the 30th international conference on Software engineering, Seite 161--170. New York, NY, USA, ACM, (2008)MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '..
T. Kishi, und N. Noda. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), Seite 19--26. Boston, MA, (August 2004)ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert.
Testdaten ergeben sich aus den Transitionen.
Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen..