4 ms·
With an infinite domain (e.g.numbers) randomised testing is necessary, no?
by Tryk 2y ago
With an infinite domain (e.g.numbers) randomised testing is necessary, no?
- atq2119 2y agoNot sure what exactly you mean by "necessary", but I feel like the entire field of mathematics would disagree. Proving statements about infinite domains has a very long tradition.
- Tryk 2y agoThe notion of a proof and verification of a real-life software are almost completely disjoint. Of course, if you are interesting in proving statement about abstractly defined constructs: infinity is no issue as your domain is uniform. In real-life, this is not the case.