A form of software system testing that verifies whether software matches its design.