10. Analyzing and Testing Source Code

The analysis is complete. The design is complete. Even more satisfying, coding (and debugging) is complete. So, where do you go from here? The logical step would seem to be to move on to code development in your target system. And that, in practice, is probably what most designers do. Now, this is fine provided the code is of first-class quality, with few errors. But what if that isn't the case? Well then, I'm afraid, you're in for a long, hard slog in order to:

• First, get the software running
• Second, get the software running correctly – functional correctness
• Third, get the software running correctly and delivering the required performance – functional and temporal (time) correctness
• Finally, keep the software running properly as corrections and updates are made – stability

The aims of this chapter are to:

• Explain the underlying concepts related to the software testing...