Chapter 13: Testing in Bosque
So far, you have learned a lot of useful and practical things regarding the Bosque language. You know the idea of the language as well as the syntax and constructs that have been implemented in Bosque. Put simply, you know the language well enough to write programs or even a larger projects. But as we know, writing the business logic is only one part of the development process. Other parts include, for example, writing documentation and… tests! And that is what we will focus on in this chapter. You will learn about the concept of symbolic testing and will learn how to ensure the code's quality using Bosque features and the SymTest tool. Before you jump into this chapter's content, be aware that the SymTest tool is at a very early stage of development, and we can't expect much from it. In its current state, it allows only for pretty basic testing, but you will learn about its possibilities and what it is designed for.
Here is the...