-
Book Overview & Buying
-
Table Of Contents
Learn Bosque Programming
By :
In this chapter, you learned a few new things about testing software and how Bosque utilizes these techniques in order to allow you to create high-reliability software. Let's go through the topics that we covered one by one.
Firstly, you learned about the concept of symbolic execution and how it can augment classical unit testing. You know that it is not a new thing, but it's still under intensive research, which means that there are still a lot of things to discover in this area.
Then, you learned about the SymTest tool. It is a command-line tool that allows you to symbolically test Bosque source code. You learned how to create an alias, which makes it a lot easier to use this tool. You also learned how you can customize its behavior using flags, but also learned that this tool is currently quite limited and allows for rather basic testing—you can't use it for more advanced programs as it will fail to analyze it. Nonetheless, you learned about its possibilities...