Affiliation:
1. Faculty of Engineering and Applied Science, Memorial University, St. John's NL, Canada A1B 3X5, Canada
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.
Publisher
World Scientific Pub Co Pte Lt
Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献