Building a safe and secure embedded world

Download TESSY Tutorials

Thank you very much for your interest in our TESSY tutorials. Please fill in the form and submit - you will get an email with the download links:

  • Pointers This tutorial describes how pointers are handled, how random test input can be generated, and how to proceed if the expected output is unknown or cannot be determined easily.
  • Testing State Machines This tutorial describes how testing of state machines is done using basic examples. This tutorial is recommended reading for those who want to get more familiar with TESSY.
  • TESSY's Test Application Size This tutorial describes, what the size of the test application depends on and how it can be influenced. Chapter 4 gives some sample data for those who want to know details.

For all TESSY-related questions please contact the TESSY team at Hitex!

Please fill in the following form and click the "Submit" button. (* = mandatory fields).

The Hitex Privacy Policy can be found here.