We present AutoMOTGen, a tool for automatic test case generation (ATG) from MATLAB Simulink/Stateflow (SL/SF) models [6] for testing automotive controllers. Our methodology is based on model checking [2]. The main highlights of the tool are: 1. Enhanced coverage of the model elements as well as high-level requirements. 2. A modular design for plug-and-play of different model checkers, test data generators and coverage analysis tools for enhancing the test suite quality. 3. Implements sampling time abstraction to generate tests with lesser number of (discrete) steps in the intermediate model. 4. Implements coverage dependent instrumentation of the model for the structural coverage criteria. 5. Capability to handle SL/SF blocks commonly used in automotive controllers (including blocks such as integrator, delay, multiplication/division, look-up tables, triggered subsystems and hierarchical and parallel charts).
展开▼