Content deleted Content added
Line 38:
* '''[[Verification and Validation (software)|Verification/verifiable]] in practice''' (a test is feasible not only in theory but also in practice with limited resources)
Treating the requirement as axioms, testability can be treated
such that input <math> I_k </math> generates output <math> O_k </math>, therefore <math> F_S : I \to O </math>.
Therefore, the ideal software generates the tuple <math> (I_k,O_k) </math> which is the input-output set <math> \Sigma </math>,
| |||