bstract class, which provides the protocol for executing and evaluating a message to the class under test (like object creation) or to an object of that class, created by a message execution from its class under test. Since evaluation already has to be prepared before the execution of the message, both properties can just be defined by subclasses like PrintrepEvaluator or AssertionEvaluator . TestCase: Represents test cases as a sequence of evaluators to the class under test followed by a sequence of evaluators to an object of the class under test, which is created as a result of the execution of the primary message sequence. Regressor: Implements methods for storing, retrieving and repeated execution of once entered test cases. Regressi...
The object technology model is constantly evolving to address the software crisis problem. This nove...
Even with increasing use of formal methods for software development, software testing continues to b...
Abstract—This document provides a tutorial introduction to Java annotations called SelfTest. The Sel...
In contrast to the explosion of activity in object-oriented design and programming, little attention...
We discuss a new testing process to generate test cases for object-oriented programs. We focus on cl...
This paper describes an automated approach to generating test cases for an object-oriented class. Th...
This article presents two tools to generate test cases, one for Java programs and one for.NET progra...
This paper presents an approach to automated generation of executable test code from class models re...
AbstractWe present ProTest, an automatic test environment for B specifications. B is a model-oriente...
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes th...
Behavior-oriented Adaptation in Testing (BAiT) is a toolset, which supports test generation and exec...
Automated unit tests (A.K.A. "developer tests") and functional test (A.K.A. "customer...
In contrast to the explosion of activity in object-oriented design and programming, little attention...
Abstract-This paper presents a new methodology to select test cases from regression test suites. The...
One of the characteristics of the increasingly widespread use of object-oriented libraries and the ...
The object technology model is constantly evolving to address the software crisis problem. This nove...
Even with increasing use of formal methods for software development, software testing continues to b...
Abstract—This document provides a tutorial introduction to Java annotations called SelfTest. The Sel...
In contrast to the explosion of activity in object-oriented design and programming, little attention...
We discuss a new testing process to generate test cases for object-oriented programs. We focus on cl...
This paper describes an automated approach to generating test cases for an object-oriented class. Th...
This article presents two tools to generate test cases, one for Java programs and one for.NET progra...
This paper presents an approach to automated generation of executable test code from class models re...
AbstractWe present ProTest, an automatic test environment for B specifications. B is a model-oriente...
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes th...
Behavior-oriented Adaptation in Testing (BAiT) is a toolset, which supports test generation and exec...
Automated unit tests (A.K.A. "developer tests") and functional test (A.K.A. "customer...
In contrast to the explosion of activity in object-oriented design and programming, little attention...
Abstract-This paper presents a new methodology to select test cases from regression test suites. The...
One of the characteristics of the increasingly widespread use of object-oriented libraries and the ...
The object technology model is constantly evolving to address the software crisis problem. This nove...
Even with increasing use of formal methods for software development, software testing continues to b...
Abstract—This document provides a tutorial introduction to Java annotations called SelfTest. The Sel...