A documentation for EiffelTest still has to be written. It will appear web site as soon as possible. For the meantime, looking at the supplied examples gives a good overview on how to work with this library.