Seminář: Early Test, Verification and Validation using Model-Based Design
|
|
Model-Based design je návrhová metoda, která umožňuje zkrácení vývojového cyklu se současným zlepšením kvality produktů. Na tomto semináři budou představeny nástroje a techniky, které Vám umožní začlenit do vývojového procesu postupy, jako jsou:
* Automatická kontrola souladu s všeobecnými standardy v oblasti modelování
* Propojení návrhu se zadanou specifikací požadavků
* Automatizace testů aplikovaných na vytvořené modely
* Implementace logických úloh s využitím stavových diagramů
* Generování testovacích signálů, které zaručují 100% pokrytí testy
* Prokázání požadovaných vlastností navržených modelů