Estimation of the Scope of Change Propagation in Object-Oriented Programming

Author(s):  
Elmira Rajinia ◽  
Simon Li

When minor modifications need to be made in an object-oriented computer program, they often incur further more changes due to the presence of dependency in the codes and the program structure. Yet, to accommodate the required change, there can also be more than one option to carry out the initial modifications. To select the modification option in this context, this paper proposes a systematic approach to estimate the scope of change propagation of an object-oriented program given some initial modifications. The strategy is to first capture the dependency relationships of the entities pertaining to an object-oriented program via the matrix representation. Based on this matrix-based model, the priority number method is proposed and applied to estimate the scope of change propagation by assuming some initial modifications. The core of this method is to estimate the chance of affecting other program entities due to some modified entities. A case study is conducted throughout the paper to illustrate and justify the proposed method.

2012 ◽  
Vol 10 (3) ◽  
pp. 1-16 ◽  
Author(s):  
Lee Chao

The objective of this article is to facilitate mobile teaching and learning by providing an alternative course material deployment method. This article suggests a course material deployment platform for small universities or individual instructors. Different from traditional course material deployment methods, the method discussed deploys course materials by using services provided by Android Market. After comparing the traditional course material deployment and the alternative deployment, the author presents strategies to take advantage of Android Market in delivering course materials to mobile devices. Through a case study, this article illustrates the application of these strategies in deploying a class menu for an object-oriented programming course in the computer science curriculum.


1995 ◽  
Vol 9 (4) ◽  
pp. 215-227 ◽  
Author(s):  
Leah P. Dick ◽  
Dolores Gallagher-Thompson

The purpose of this case study is to describe, in detail, a systematic approach that was used to modify a long-standing dysfunctional schema in a depressed female outpatient over the age of 60. In our opinion, this paper addresses a gap in the current cognitive therapy literature which contains very little description of methods for schema change. The client, Mrs. A., was depressed as a result of caring for her elderly mother who was suffering from advanced Alzheimer’s disease. She first received a 20-session course of treatment for her depression which focused on goals such as reducing guilt, setting limits, and making some time for her personal needs. After attaining these goals, she was given the opportunity to participate in an intense program of 18 additional individual sessions to evaluate and revise a key core belief, using an adaptation of Young’s (1990) method of the Historical Test of Schemas. This core belief was stated as follows: “In order to alleviate my feelings of inferiority, I must be all things to everyone.” Mrs. A was able to discuss the origin and the maintenance of this schema throughout her life, and she also was able to revise it in a way that allowed her to be more accepting of herself and her abilities.


1994 ◽  
Vol 4 (2) ◽  
pp. 249-283 ◽  
Author(s):  
Martin Abadi

AbstractBaby Modula-3 is a small, functional, object-oriented programming language. It is intended as a vehicle for explaining the core of Modula-3 from a biased perspective: Baby Modula-3 includes the main features of Modula-3 related to objects, but not much else. To the theoretician, Baby Modula-3 provides a tractable, concrete example of an object-oriented language, and we use it to study the formal semantics of objects. Baby Modula-3 is defined with a structured operational semantics and with a set of static type rules. A denotational semantics guarantees the soundness of this definition.


2021 ◽  
Author(s):  
◽  
Alex Potanin

<p>Modern object-oriented programming languages support many techniques that simplify the work of a programmer. Among them is generic types: the ability to create generic descriptions of algorithms and object structures that will be automatically specialised by supplying the type information when they are used. At the same time, object-oriented technologies still suffer from aliasing: the case of many objects in a program's memory referring to the same object via different references. Ownership types enforce encapsulation in object-oriented programs by ensuring that objects cannot be referred to from the outside of the object(s) that own them. Existing ownership programming languages either do not support generic types or attempt to add them on top of ownership restrictions. The goal of this work is to bring object ownership into mainstream object-oriented programming languages. This thesis presents Generic Ownership which provides perobject ownership on top of a generic imperative language. Surprisingly, the resulting system not only provides ownership guarantees comparable to the established systems, but also requires few additional language mechanisms to achieve them due to full reuse of generic types. In this thesis I formalise the core of Generic Ownership, highlighting that the restriction of this calls, owner preservation over subtyping, and appropriate owner nesting are the only necessary requirements for ownership. I describe two formalisms: (1) a simple formalism, capturing confinement in a functional setting, and (2) a complete formalism, providing a way for Generic Ownership to support both deep and shallow variations of ownership types. I support the formal work by describing how the Ownership Generic Java (OGJ) language is implemented as a minimal extension to Java 5. OGJ is the first publicly available language implementation that supports ownership, confinement, and generic types at the same time. I demonstrate OGJ in practice: show how to use OGJ to write programs and provide insights into the implementations of Generic Ownership.</p>


Author(s):  
Olena Nadtoka ◽  
Denis Nadtoka

The computer program GearKURT has been created to calculate mechanical gears. The program allows you to calculate gears: - closed cylindrical spur gear - closed cylindrical helical gear - open cylindrical spur gear - Novikov's gear - closed bevel spur gear - closed bevel gear with indirect teeth - open bevel gear - worm-gear. The computer program has a dialog interface written in the object-oriented programming language Delphi and compiled into an exe-file. The program allows you to choose the necessary material and method of heat treatment for the manufacture of gears, to calculate the optimal geometric dimensions and transmission parameters, to determine the design of gears. The program provides all the necessary reference materials in the form of tables and graphs, which must be used to select the coefficients and other values necessary for calculations. The program provides access to the theoretical material of the course "Machine Parts" and the ability to save the results of calculations in a separate file. Recommendations for using this program are given.


Author(s):  
Dharmveer Kumar Yadav ◽  
Sandip Dutta

egression testing is time consuming and expensive activity in software testing. In Regression testing when any changes made to already tested program it should not affect to other part of program. When some part of code is modified then it is necessary to validate the modified code. Throughout regression testing test case from test suite will be re-executed and re-execution of all the test case will be very expensive. We present fault based prioritization using fuzzy logic approach for object oriented software. We developed fuzzy expert model helps to takes better decision than other expert system for regression testing. Proposed work focus on concept of fault detection rate, execution time and coverage to select the test cases for prioritization purpose.We have taken case study and evaluated our work which shows proposed new framework gives better result than other approach. We present a novel approach for prioritization of test cases for object oriented programming using fuzzy logic technique during regression testing. We developed the proposed methodology, we apply fuzzy logic method for effective prioritization of test case. We have used case study of various programs, and the results are promising compared to other approach.


Sign in / Sign up

Export Citation Format

Share Document