Software testability: Difference between revisions

Revision as of 13:58, 25 March 2019

Revision as of 14:01, 25 March 2019

Line 4:

Formally, some systems are testable, and some are not. This classification can be achieved by noticing that, to be testable,

for a functionality of the system under test "S",

which takes input "I", a Computable predicate[[Functional functionpredicate]] "V" must exists such that V( S, I ) is true when S, given input I, produce a valid output, false otherwise.

This function "V" is known as the verification function for the system with input I.

Many software systems are untestable, or not immediately testable. For example, googles recaptcha[[ReCAPTCHA]] , without having any metadata about the images is not a testable system.

Recaptcha, however, can be immediately tested if for each image shown, there is a tag stored elsewhere. Given this meta information, one can test the system.