Testing cannot establish that a product functions properly under all conditions but can only establish that it does not function properly under specific conditions.
What can testing software not fully completely establish?
cannot establish that a product functions properly under all conditions