Re: 2.1.125 Show stopper list: Draft

Peter T. Breuer (ptb@it.uc3m.es)
Thu, 15 Oct 1998 03:38:27 +0200 (MET DST)

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Masahiko Shimoda: "Signal-driven I/O"
Previous message: Anthony Barbachan: "Re: setting access rights to priviledged ports"

"A month of sundays ago Rik van Riel wrote:"
> It almost seems like a bug doesn't exist until you can
> see it with your own eyes -- this is a completely
> unacceptable point of view since we are programming
> code that is to be used by millions of users on thousands
> of different hardware/load combinations.

Yes. Quite right. It is a classical statement (Hoare? Joy?) that
testing can only prove the presence of bugs, not their absence.
To prove the absence you have to rely on theory. Add rik's extra
test.

Peter

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/

Next message: Masahiko Shimoda: "Signal-driven I/O"
Previous message: Anthony Barbachan: "Re: setting access rights to priviledged ports"