Linda M. Keszenheimer and Karl J. Lieberherr. Testing adaptive software during class evolution. Technical report, Northeastern University, January 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Annual Progress Report: - Short Summary Of (Correct)
....We have started a research program [KL94] on testing adaptive software to find numerous testing criteria for propagation directives, propagation patterns and class dictionaries. We investigate the question of test case reuse under incremental changes to propagation patterns and customizers [KL95]. Also, the question of identifying special cases where testing leads to formal verification is of interest. The current focus is on program based testing (black box testing) Method Modeling for Demeter Method 2 Martin Spit from Sjaak Brinkkemper s research group at the University of Twente ....
Linda M. Keszenheimer and Karl J. Lieberherr. Testing adaptive software during class evolution. Technical report, Northeastern University, January 1995. Submitted to OOPSLA'95.
Evolution of Software via Adaptive Programming - Lieberherr, Patt-Shamir.. Self-citation (Lieberherr) (Correct)
....as pursuing the architecture centrality approach cited in the ARPA request for proposals. F.3 Tools for evolution of Adaptive Programs Recently, a significant part of the research effort of our group was dedicated to the problem of evolution of Adaptive Programs (including two Ph.D. theses [21, 26]) One important result [23] is a set of basic transformations which is on the one hand sufficiently expressive to represent a wide class of program evolutions (see below) while on the other hand, it is sufficiently simple to reason about and analyze. Another set of results was obtained for the ....
Linda M. Keszenheimer and Karl J. Lieberherr. Testing adaptive software during class evolution. Technical report, Northeastern University, January 1995.
Managing Adaptive Components during Evolution - Keszenheimer (1995) Self-citation (Keszenheimer Lieberherr) (Correct)
....the testing framework will be based. The semantics will include a simple code wrapper language L, which is a subset of BOPL[41] This work is presently being completed [48, 24] ffl A formal model of test case adequacy and coverage criteria. This material will formalize the ideas presented in [28, 30, 31], presenting guidelines for testing adaptive software. ffl An algorithm for abstracting minimal, representative customizers for an adaptive program from the constraints specified in the directives and method maps. All customizers for a propagation pattern are obtained through a sequence of ....
.... during structural evolution [24, 29, 27] ffl A model to describe data flow and control dependence of object oriented software [28] ffl Extensions to procedural data flow algorithms to incorporate object oriented features [28] ffl Analysis of testing adaptive software during evolution [31, 30]. 4.6.1 Testing Representations In [28] a model called a Unified Class Dictionary Graph is presented to facilitate the testing of object oriented programs. The code generated [55] by customizing a propagation pattern with a class dictionary graph, which is a type of class graph, can be ....
[Article contains additional citation context not shown here]
Linda M. Keszenheimer and Karl J. Lieberherr. Testing adaptive software during class evolution. Technical report, Northeastern University, January 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC