Change search
ReferencesLink to record
Permanent link

Direct link
Sharing Objects by Read-only References
Stockholm University, Faculty of Social Sciences, Department of Computer and Systems Sciences.
2002 (English)In: Algebraic methodology and software technology: 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings / [ed] Hélène Kirchner, Christophe Ringeissen, Berlin: Springer Berlin/Heidelberg, 2002, 457-472 p.Chapter in book (Refereed)
Abstract [en]

Exporting objects by reference can be problematic since the

receivers can use the received reference to perform state changing operations

on the referenced object. This can lead to errors if the referenced

object is a subobject of a compound object not anticipating the change.

We propose an extension of a type system with a read-only construct

that can be used to control access to state changing methods. We formulate

and prove a read-only theorem for read-only references stating that

a read-only reference cannot be used to perform operations that change

its referenced object state.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2002. 457-472 p.
, Lecture notes in computer science, ISSN 1611-3349 ; 2422
National Category
Computer Science
URN: urn:nbn:se:su:diva-22705ISBN: 3-540-44144-1 (print)OAI: diva2:189297

Part of urn:nbn:se:su:diva-1049

Available from: 2006-05-18 Created: 2006-05-18 Last updated: 2014-10-14Bibliographically approved
In thesis
1. Curbing Dependencies in Software Evolution of Object-Oriented Systems
Open this publication in new window or tab >>Curbing Dependencies in Software Evolution of Object-Oriented Systems
2006 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Relationships between classes and objects in object-oriented software are necessary in order for the parts of the systems to provide dynamic behavior. These inherent relationships also create dependencies which can give rise to problems for software evolution of object-oriented software systems. Dependencies in software make systems difficult to understand, reuse, change and verify.

This thesis presents analytical and empirical investigations of dependency-related problems in software evolution of object-oriented software and on how such problems can be handled with dependency focused techniques, methods and processes.

The research presented in this thesis includes: Development of a programming language construct for controlling dependencies; formal experiments on code inspection techniques; exploring change strategies' effects on test suites; an industrial case study of regression test selection techniques for object-oriented software; proving the efficiency and defect detection capabilities of a novel regression test selection technique.

The thesis contributes to increased knowledge on the role of dependencies in software evolution of object-oriented software. Specific contributions are a programming language construct that can control access to dependencies in software. Other main contributions are insights on the efficiency of dependency focused code inspection techniques and contribution to the knowledge on dependency-based regression test selection techniques for large scale software. Another contribution is a novel change-based regression test selection technique.

Place, publisher, year, edition, pages
Kista: Institutionen för data- och systemvetenskap (tills m KTH), 2006. 191 p.
Report Series / Department of Computer & Systems Sciences, ISSN 1101-8526 ; 06-011
Software Evolution, Object-orientation, Software Quality
National Category
Software Engineering
urn:nbn:se:su:diva-1049 (URN)91-7155-271-5 (ISBN)
Public defence
2006-06-09, sal A, Forum, Isafjordsgatan 39, Kista, 13:00
Available from: 2006-05-18 Created: 2006-05-18Bibliographically approved

Open Access in DiVA

No full text

Other links

By organisation
Department of Computer and Systems Sciences
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 24 hits
ReferencesLink to record
Permanent link

Direct link