Testing object Interactions

Leiden Repository

Testing object Interactions

Type: Doctoral Thesis
Title: Testing object Interactions
Author: Grüner, Andreas
Publisher: Leiden Institute of Advanced Computer Sciences (LIACS), Faculty of Science, Leiden University
Issue Date: 2010-12-15
Keywords: Interaction trace
Java
Mock object
Unit testing
Abstract: In this thesis we provide a unit testing approach for multi-purposes object-oriented programming languages in the style of Java and C#. Our approach includes the definition of a test specification language which results from extending the programming language with new designated specification constructs. This way, the software developer does not need to learn a completely new language. At the same time, adding new constructs allows to increase the abstraction of the language regarding the specification of interaction-based tests. In order to execute a specified test, programming language code is automatically generated from a test specification. Our testing approach is presented in terms of a formal framework. On the one hand, this enables us to identify and analyze the requirements on the design of the specification language in a formal way. On the other hand, on the formal basis we can, likewise, give a formal definition of the code generation algorithm which, in turn, allows us to formally prove its correctness. Finally, we provide a correctness proof regarding the code generation algorithm.
Description: Promotor: Frank S. de Boer, Co-promotor: Marcello Bonsangue
With summary in Dutch
Faculty: Faculteit der Wiskunde en Natuurwetenschappen
Citation: Grüner, A., 2010, Doctoral thesis, Leiden University
ISBN: 9783868536782
Sponsor: Deutsche Forschungsgemeinschaft (DFG), The Netherlands Organization for Scientic Research (NWO)
Handle: http://hdl.handle.net/1887/16243
 

Files in this item

Description Size View
application/pdf Full text 1.548Mb View/Open
application/pdf Cover 502.8Kb View/Open
application/pdf Title and ToC 119.6Kb View/Open
application/pdf Chapter 1 318.7Kb View/Open
application/pdf Part I Testing sequential components 68.11Kb View/Open
application/pdf Chapter 2 504.1Kb View/Open
application/pdf Chapter 3 385.8Kb View/Open
application/pdf Chapter 4 425.9Kb View/Open
application/pdf Chapter 5 275.6Kb View/Open
application/pdf Part II Testing multi-threaded components 77.12Kb View/Open
application/pdf Chapter 6 373.4Kb View/Open
application/pdf Chapter 7 277.8Kb View/Open
application/pdf Chapter 8 Concluding remarks 90.29Kb View/Open
application/pdf Bibliography 115.3Kb View/Open
application/pdf Part III Proofs 35.38Kb View/Open
application/pdf Appendices 459.5Kb View/Open
application/pdf Summary - English and Dutch 75.87Kb View/Open
application/pdf Curriculum Vitae 70.28Kb View/Open
application/pdf Index 86.10Kb View/Open
application/pdf Propositions 18.20Kb View/Open

This item appears in the following Collection(s)