The current strategies for testing object-oriented software all lack the formal basis which is necessary to perform this task efficiently.
We propose the adaptation to object-oriented software of an existing theory of testing for stateless ADTs, to find errors in a class by checking that its ...
The current strategies for testing object-oriented software all lack the formal basis which is necessary to perform this task efficiently.
The current strategies for testing object-oriented software all lack the formal basis which is necessary to perform this task efficiently.
A Theory of Specification-Based Testing for Object-Oriented Software · Contents. EDCC-2: Proceedings of the Second European Dependable Computing Conference on ...
People also ask
What is object-oriented testing in software testing?
What is object-oriented specification?
What is object-oriented requirements specification and analysis?
"A Theory of Specification-Based Testing for Object-Oriented Software" Proceedings of EDCC2 (European Dependable Computing Conference), Taormina, Italy Iss.
"A Theory of Specification-Based Testing for Object-Oriented Software" Technical Report DI-96/163, Swiss Federal Institute of Technology in Lausanne (EPFL) ...
This paper presents an approach performing high level testing for OOPs based on formal specifications and usage profiles. The behavior of a software system is ...
A theory of specification-based testing for object-oriented software. In Proceedings of EDCC2 (European Dependable. Computing Conference), LNCS (Lecture ...
A theory of specification-based testing for object-oriented software. In ... Integration Testing of Object-Oriented Software. PhD thesis, Politecnico ...