◾ Software Correctness

How correct is software? 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?