Software testability: Difference between revisions

Revision as of 03:04, 24 May 2024

Latest revision as of 21:23, 4 December 2024

Line 1:

{{Short description|Extent to which software can be tested}}

{{more footnotes|date=September 2014}}

'''Software testability''' is the degree to which a software artifact (i.e.g. a software system, software module, requirements-requirement, or design document) supports [[Software testing|testing]] in a given test context. If the testability of the softwarean artifact is high, then finding faults in the system (if it has any) by means of testing is easier.

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 [[functional predicate]] "V" must exists such that <math>V(S,I)</math> 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.