About assertions
Lothar Schenk
lothar.schenk at gmx.de
Fri Mar 12 10:42:20 UTC 2004
stéphane ducasse wrote:
> I chased the reference for the assertion evaluation but did not have
> the time yet to read it :)
> "Robustness and diagnosability of oo systems designed by contracts."
> http://www.irisa.fr/triskell/bib2001.html#Baudry01a
>
> I think that this is worth to read at least this kicks me when I saw
> the PhD defense.
Then I suppose you have also seen this one:
http://www.irisa.fr/triskell/bib2003.html#nebut03a
Clémentine Nebut, Franck Fleurey, Yves Le traon, and Jean-Marc Jézéquel. --
Requirements by contracts allow automated system testing
which seems to be right up your alley.
Regards, Lothar
More information about the Squeak-dev
mailing list
|