Abstract:
Search-based test-data generation techniques have been widely used in code level testing. Testing of various functional and non-functional properties has been targeted, as has fulfilling certain structural coverage criteria. This work takes a step further to attempt test-data generation at the higher levels of abstraction offered by Simulink models. Code testing has been proven successfully at industrial level and industries are working on it since many years. Hence, a flexible tool for testing of models can be a great boon to the industry. Presently, less number of tools is available for this purpose and that was the motivation for me to make this framework. In my work I have investigated such models and have made a wide-ranging, adaptable, automatable framework for testing these models. This flexible testing framework allows analysis of even smallest unit of blocks as well as high level design blocks.

Keywords: Model Testing, Search-based Testing Techniques, Testing Framework, High level model testing techniques