August 2020
Intermediate to advanced
272 pages
7h 2m
English

This chapter describes tools and techniques for producing correct, effective, safe, secure, and robust programs, including static (compile-time) and runtime assertions, debugging, testing, static analysis, and dynamic analysis. The chapter also discusses which compiler flags are recommended for use in different phases of the software development process.
You use an assertion to verify that a specific assumption you made during the implementation of your program remains valid. An assertion is a function with a Boolean value, known as a predicate, which expresses a logical proposition about a program. ...
Read now
Unlock full access