How does "testing" of software like Collins or Oberon work ? (If the software doesn't work, wouldn't it be?

obvious ? So is the purpose of "testing" only to bamboozle the observers, who are then presumably conned into signing a document saying that the software works ?)