金宝app仿真软件设计验证器
Identificare errori di progettazione dimostrare conformita ai requisiti e generare测试
金宝app仿真软件设计校验™美国metodi formali每individuare errori di progettazione nascosti nei modelli。Rileva我blocchi del modello格瓦拉presentano整数溢出,logica morta, violazioni di accesso agli数组e divisioni / 0。年青verificare formalmente格瓦拉il progetto risponda ai requisiti funzionali。每ciascun使di progettazione o violazione一些requisiti,属联合国di simulazione / il调试的测试用例。
金宝app仿真软件设计验证器属测试用例/ la e obiettivi personalizzati每ampliare我测试用例esistenti basati隋requisiti。Questi测试用例stimolano il陀modello affinche soddisfi gli obiettivi di copertura di条件,决定,修改条件/决策(MCDC) e di obiettivi copertura personalizzati。Oltre agli obiettivi di copertura e相信specificare obiettivi di测试每generare personalizzati basati隋requisiti modo automatico测试用例。
Il 金宝appsupporto relativo agli标准industriali e disponibile内尔”IEC认证工具包(ISO 26262和IEC 61508) e内尔做资格工具包(- 178和- 254)做。
Inizia奥拉:
Errori diagnostici e di运行时
Prima di procedere con le simulazioni puoi rilevare gli errori运行时e di modellazione inclusi l 'integer溢出,la divisione / 0, gli数组服务的局限,我valori subnormali e gli errori di virgola移动e di validita一些蒂。
Logica morta
- gli oggetti nel陀modello切非possono essere attivati杜兰特拉simulazione e l 'esecuzione del配置与否。 |
Visualizzazione di死痣modelli逻辑。
里迪测试每analizzare la copertura mancante
Aumenta艾德amplia我测试用例esistenti creati manualmente每gestire la copertura incompleta一些modelli。 |
测试用例basati隋requisiti
属da modelli di requisiti di sistema的测试用例。
测试用例/ il配置C / c++
属测试用例/ aumentare la copertura del配置与否e del配置C / c++ chiamato戴blocchi金宝app®e nei graficiStateflow®。
Generazione di测试每我modelli格瓦拉chiamano il配置C。
Requisiti di安全
Verifica格瓦拉il陀progetto si comporti基地ai requisiti di安全definiti formalmente, espressi usandoMATLAB®、模金宝app型e Stateflow。
每拉distribuzione Semplificazione一些modelli
Dopo断言convalidato这些il modello delle varianti大师,美国变种减速器/ generare联合国modello化装舞会/联合国sottogruppo di configurazioni valide。Verranno ugualmente ridotti合唱我文件correlati e le dipendenze variabili。在pacchetti Gli artefatti ridotti vengono inseriti una cartella separata每consentirne una肤浅distribuzione e condivisione con性能e伙伴。
Creazione di联合国modello化装舞会。
