Next: , Previous: Overview, Up: Top


2 Test methods

This chapter describes the algorithms lbtt uses for generating input for the tests and introduces some terminology. A short description of each test is also included together with the outline of lbtt's testing procedure. However, the chapter is not intended to be a thorough introduction to the theoretical background of the different tests; see, for example, [TH02] or [Tau00] for more information.