About Me

Research Interests

Publications

Talks

Tools

• CWB-NC
• CHARONTESTER
• Installation
• Manual
• MIST (new!)

Professional Services

CharonTester

CharonTester is a simulation-based test generator built on CHARON toolkit for testing hybrid systems. The test generator can support the test generation by various coverage criteria, including mode coverage and transition coverage. The generated test case can be displayed graphically. The coverage is reported in real-time in terms of modes, transitions, and actions. The precision of hybrid test cases can be adjusted by setting the step size for integration process. For the discription and goal of this project, visit our model-based test generation page. For the license information of CHARON and test generator, contact Prof. Insup Lee.

To obtain and use the CharonTester, refer to the installation page and the online manual.