Paper Info
Title
Using Test Oracles And Formal Specifications With Test-Driven Development
Abstract
This paper illustrates how Test Oracles and Formal Specifications, with appropriate tool support, can be used with Test-Driven Development (TDD). In TDD, the test code is a formal documentation of the required behavior of the component or system that is being developed, but this documentation is necessarily incomplete and often over-specific. We describe an alternative approach to TDD that is to develop the specification of the required behavior in a formal notation as a part of the TDD process and to generate test oracles from that specification. We present the results of using this approach to develop programs used in a project at the Faculty of Engineering and Applied Science at Memorial University.
Year
DOI
Venue
2013
10.1142/S0218194013500113
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Keywords
Field
DocType
Test driven development, extreme programming, open mathematical documents, test oracle
Programming language,Systems engineering,Software engineering,Test-driven development,Computer science,Oracle,Formal specification,Formal notation,Formal methods,Documentation,Extreme programming
Journal
Volume
Issue
ISSN
23
3
0218-1940
Citations 
PageRank 
References 
0
0.34
16
Authors
2
Name
Order
Citations
PageRank
Shadi Alawneh163.39
Dennis Peters219315.71