PhD Thesis Introduction
William Durand - May 31, 2013PhD Topic
Automated Test Generation for applications and production machines in a Model-based Testing approach.
PhD Topic
Automated Test Generation for applications and production machines in a Model-based Testing approach.
PhD Topic
Automated Test Generation for applications and production machines in a Model-based Testing approach.
Extracting A Knowledge Base a.k.a. Traces
Context (1/2)
Michelin has many applications spread at different levels:
- L4: Business Software
- L3: Virtual level as it is not that used (Factory Management)
- L2: Supervision / Workshop Management
- L1: Automata
These levels can exchange data among them.