Content deleted Content added
Erictleung (talk | contribs) Adding local short description: "Extent to which software can be tested", overriding Wikidata description "extent to which software can be tested" |
m linking |
||
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. a software system, software module, requirements- or design document) supports [[Software testing|testing]] in a given test context. If the testability of the software 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.
| |||