
269
Chapter 9
Software Correctness
H
Many questions arise with respect to the
notion of soware correctness. Does soware run without error?
How does it handle error conditions? Does it meet specied requirements?
Does it satisfy user expectations?
In this chapter, we provide short summaries of both exception handling
and soware testing. As a part of soware design, exception handling
catches runtime errors so that soware execution is not interrupted.
Soware testing is an essential part of the soware development life cycle,
charged with verifying (and thus preserving) functional and nonfunc-
tional properties as sow