Get full access to Serverless computing in Azure with .NET and 60K+ other titles, with a free 10-day trial of O'Reilly.

There are also live events, courses curated by job role, and more.

Start your free trial

Code correctness

Code correctness refers to a software performing in accordance with the specification. Code correctness can to be assessed in the following ways:

The software meets the design requirements
The software responds correctly to both valid and invalid inputs
The software can be successfully installed and run on the hardware and OS with the intended configuration (and not only in the development environment)

Many types of testing can be used to verify code correctness. Let us mention three key types.

Get Serverless computing in Azure with .NET now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

Don’t leave empty-handed

Get Mark Richards’s Software Architecture Patterns ebook to better understand how to design components—and how they should interact.

It’s yours, free.

Get it now

Check it out now on O’Reilly

Dive in for free with a 10-day trial of the O’Reilly learning platform—then explore all the other resources our members count on to build skills and solve problems every day.

Start your free trial Become a member now