[cosmos-dev] Creating TPTP Tests and Best Practices

[David Whiteman <David_Whiteman@xxxxxxxxxx>]

Hello all,

I just stumbled upon this great resource which describes how to create
and execute TPTP tests, and also good test conventions and best practices,
most of which we've been following in the COSMOS project.  It includes
direct links to useful sections of the TPTP documentation, plus a summary
of Paul's experience with using the testing tools.  Even if 
you have used TPTP testing tools for awhile, this is a great refresher
document worth glancing over for a few minutes:

http://www.eclipse.org/tptp/home/documents/process/TPTP_Testing_Strategy.html

David
---
David Whiteman | Tivoli Autonomic Computing
Eclipse COSMOS project committer | http://www.eclipse.org/cosmos/
david_whiteman@xxxxxxxxxx | 919-254-8224 | T/L 444-8224