How to test abstract classes is an area of testing that is not paid much attention to.Abstract classes cannot be instantiated and therefore standard execution-based test strategies are not applicable. In this paper, we consider a special case of an abstract class, namely one produced by the Template Method pattern.This pattern results in an abstract class, with a concrete template method and one or more abstract primitive operations, and one or more subclasses, implementing the primitive operations specifically for each subclass. How should we test an instance of the Template Method pattern?Testing the concrete template method by testing the abstract class is impossible.Testing an instance of the Template Method pattern by testing the templ...
The object-oriented design of software in C++ using class templates presents many advantages. Howeve...
Abstract. Model-based testing (MBT) generates test cases by analysing a formal model of the system u...
This chapter describes an extended compiler that formalizes patterns, which we call a pattern enforc...
How to test abstract classes is an area of testing that is not paid much attention to.Abstract class...
How to test abstract classes is an area of testing that is not paid much attention to. Abstract clas...
One of the characteristics of the increasingly widespread use of object-oriented libraries and the r...
One of the characteristics of the increasingly widespread use of object-oriented libraries and the r...
One of the characteristics of the increasingly widespread use of object-oriented libraries and the ...
Automated unit tests (A.K.A. "developer tests") and functional test (A.K.A. "customer...
We are extending a framework for specification-based testing, the Test Template Framework, to includ...
This paper examines the concepts of template, class, object and type using concrete examples from th...
One of the oldest techniques to explain abstract concepts is to provide concrete examples. By explai...
Automated test design is an approach to test design in which automata are utilized for generating te...
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework...
International audienceThe boundaries of model-checking have been extended through the use of abstrac...
The object-oriented design of software in C++ using class templates presents many advantages. Howeve...
Abstract. Model-based testing (MBT) generates test cases by analysing a formal model of the system u...
This chapter describes an extended compiler that formalizes patterns, which we call a pattern enforc...
How to test abstract classes is an area of testing that is not paid much attention to.Abstract class...
How to test abstract classes is an area of testing that is not paid much attention to. Abstract clas...
One of the characteristics of the increasingly widespread use of object-oriented libraries and the r...
One of the characteristics of the increasingly widespread use of object-oriented libraries and the r...
One of the characteristics of the increasingly widespread use of object-oriented libraries and the ...
Automated unit tests (A.K.A. "developer tests") and functional test (A.K.A. "customer...
We are extending a framework for specification-based testing, the Test Template Framework, to includ...
This paper examines the concepts of template, class, object and type using concrete examples from th...
One of the oldest techniques to explain abstract concepts is to provide concrete examples. By explai...
Automated test design is an approach to test design in which automata are utilized for generating te...
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework...
International audienceThe boundaries of model-checking have been extended through the use of abstrac...
The object-oriented design of software in C++ using class templates presents many advantages. Howeve...
Abstract. Model-based testing (MBT) generates test cases by analysing a formal model of the system u...
This chapter describes an extended compiler that formalizes patterns, which we call a pattern enforc...