How can test results be sent to ESCHER?
The test suite for a tool will typically contain a very large number of test, providing detailed coverage of all the features (low level to high level) of the tool. A tool developer must summarize the results before communicating the results to ESCHER. The summarization should be done keeping the users in mind. While statistics like number of tests run, number of low level features tested, number passed, etc., provide information about general robustness of the tool, they do not give a good sense of robustness of high level functionalities. For example, a tool may provide funtionalities of modeling, model verification, simulation and code generation.
